計算機による計算とは何か、計算できるものとできないものの境界はどこにあるのか―それを明らかにする計算理論は、計算機科学においてもっとも基本的、かつ重要なものです。本書では、概念の説明や、結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題、扱いやすい問題と扱いにくい問題があること、文章では簡単に表現できても計算機には解けない重要な問題が数多くあること、効率よく解ける問題と解けない問題があることなどを、計算理論の礎を築いたアラン・チューリングとリチャード・カープの論文の抜粋とともに解明します。チューリングマシン、有限オートマトン、万能計算、非決定性、チューリング還元、計算量クラス、NP完全性などのトピックをカバーしています。
人気のある作家
できるシリーズ編集部 (48) 技術評論社編集部 (48) リンクアップ (48) 相川正樹 (35) 日経Linux (26) standards (26) リブロワークス (24) 株式会社クイープ (23) 晋遊舎 (22) 年賀状素材集編集部 (21) インプレス年賀状編集部 (20) 横山了一 (18) 山田 祥寛 (18) メディアックス (13) 掌田 津耶乃 (11) 廣瀬 豪 (10) 森 巧尚 (10) 北村 愛実 (9) 吉川 邦夫 (9) 井上 香緒里 (9)最適なファイルサイズ
100388 KB 1004 KB 100579 KB 10068 KB 101719 KB 102313 KB 1027 KB 102851 KB 104612 KB 104884 KB 10554 KB 105 KB 1063 KB 106926 KB 107492 KB 108832 KB 108931 KB 109089 KB 109437 KB 109624 KB