楽天ブックスでシンプルに目的の本を探す。コンピュータは数学者になれるのか? (照井一成)の本を買う。
コンピュータは数学者になれるのか?
数学基礎論から証明とプログラムの理論へ
価格:
¥3080
著者:
照井一成
出版社:
青土社
発行年月:
2015年02月24日頃
ISBN:
9784791768516
種類:
単行本
在庫状況:
在庫あり
「計算」や「論理」がいかにして現実を変革するのか?ヒルベルト、ゲーデル、チューリング、ゲンツェンら天才たちの挑戦は、いまコンピュータ科学を経由して、世界に大転換をもたらしつつある。「不完全性定理」「P対NP問題」などの論争の歴史を最新アップデートし、「人工知能」の未来にまで架橋する数理論理学の決定版!
商品画像
Copyright (C) 2014
Harumeki-Web
All Rights Reserved.