チューリングの計算理論入門

チューリングの計算理論入門 (ブルーバックス) [新書]

著者：高岡詠子
評価：B

【粗評】

計算できる＝アルゴリズムで記述できる
アルゴリズムで記述できる＝チューリング・マシンで記述できる

チューリング・マシンの何たるかがわかる。
決定問題とNP問題もちょっとわかる。特に後者は計算量の話も絡んでいるので面白い。

【学んだこと、生かしたいこと】

【その他・リンク】