「honto 本の通販ストア」サービス終了及び外部通販ストア連携開始のお知らせ
詳細はこちらをご確認ください。
紙の本
計算できるもの、計算できないもの 実践的アプローチによる計算理論入門
著者 JohnMacCormick (著),松崎公紀 (訳),長尾高弘 (訳)
結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題などを、アラン・チューリングとリチャード・カープの論文の抜粋とともに解明す...
計算できるもの、計算できないもの 実践的アプローチによる計算理論入門
このセットに含まれる商品
前へ戻る
- 対象はありません
次に進む
商品説明
結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題などを、アラン・チューリングとリチャード・カープの論文の抜粋とともに解明する。サンプルコードがダウンロード可能。【「TRC MARC」の商品解説】
ゲーデル、チャーチ、チューリングの偉業を踏まえつつ、計算理論をわかりやすくかつ厳密に説明する教科書!
コンピュータサイエンスの「基本中の基本」である計算理論について、理論だけの難しい話に終始せずに、実際のプログラム(書籍ではPythonを使用。WebではJavaも用意)を示し、実践的なアプローチからも理解を促します。扱うトピックは、チューリングマシン、有限オートマトン、計算可能性問題、非決定性、NP完全問題など、計算理論の教科書としては定番とも言えるものですが、コンピュータサイエンスの根幹を支える理論だけでなく、その歴史的発展と意義についても理解することができます。【商品解説】
著者紹介
JohnMacCormick
- 略歴
- 〈John MacCormick〉ディッキンソン大学のコンピュータサイエンスの准教授。コンピュータサイエンス分野の先進的な教育者であり、研究者、作家。著書に「世界でもっとも強力な9のアルゴリズム」がある。
関連キーワード
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む