計算できるもの、計算できないもの

発売日 : 2020/12/24

著者／編集 : John MacCormick/松崎公紀

出版社 : オライリー・ジャパン

発行形態 : 単行本

ページ数 : 420p

ゲーデル、チャーチ、チューリングの偉業を踏まえつつ、計算理論をわかりやすくかつ厳密に説明する教科書！
コンピュータサイエンスの「基本中の基本」である計算理論について、理論だけの難しい話に終始せずに、実際のプログラム（書籍ではPythonを使用。WebではJavaも用意）を示し、実践的なアプローチからも理解を促します。扱うトピックは、チューリングマシン、有限オートマトン、計算可能性問題、非決定性、NP完全問題など、計算理論の教科書としては定番とも言えるものですが、コンピュータサイエンスの根幹を支える理論だけでなく、その歴史的発展と意義についても理解することができます。

john maccormick

松崎公紀

長尾高弘