計算できるもの、計算できないもの 実践的アプローチによる計算理論入門

ゲーデル、チャーチ、チューリングの偉業を踏まえつつ、計算理論をわかりやすくかつ厳密に説明する教科書!

このような方におすすめ

コンピュータサイエンスを学ぶ学生、計算理論を勉強したい人
  • 著者John MacCormick/松崎 公紀/長尾 高弘
  • 定価5,060 (本体4,600 円+税)
  • B5変 420頁 2020/12発行
  • ISBN978-4-87311-933-5
  • 定価
  • ポイント0
  • 数量

※本体価格は変更される場合があります。
※通常2〜3日以内で発送いたします。

  • 概要
  • 主要目次
  • 詳細目次

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