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

実践的アプローチによる計算理論入門

書籍

オンデマンド版

大活字版

書籍

雑誌

電子版

読み上げ可能電子版

オーディオブック

著：John・MacCormick

訳：松崎　公紀

訳：長尾　高弘

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

同一作品の他版

アクセシブルブック

内容紹介

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

ISBN：9784873119335
出版社：オライリー・ジャパン
判型：B5変
ページ数：420ページ
定価：4600円（本体）
発行年月日：2020年12月
発売日：2020年12月24日
国際分類コード【Thema（シーマ）】１：PB。

ご購入はこちら