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

計算機による計算とは何か、計算できるものとできないものの境界はどこにあるのか―それを明らかにする計算理論は、計算機科学においてもっとも基本的、かつ重要なものです。本書では、概念の説明や、結果の証明にPythonプログラムを利用する実践的なアプローチにより、計算可能問題と計算不能問題、扱いやすい問題と扱いにくい問題があること、文章では簡単に表現できても計算機には解けない重要な問題が数多くあること、効率よく解ける問題と解けない問題があることなどを、計算理論の礎を築いたアラン・チューリングとリチャード・カープの論文の抜粋とともに解明します。チューリングマシン、有限オートマトン、万能計算、非決定性、チューリング還元、計算量クラス、NP完全性などのトピックをカバーしています。 謝辞 まえがき:教科書として使う方へ 全体像 1章 はじめに:計算できるもの, できないものとは 1.1 扱いやすい問題 1

[su_zu_ki_1010]

計算できるもの：工数計算 計算できないもの：見積もった工数と実際の工数との乖離具合

[Itisango]

欲しい

[dlive1]

できるものとできないものの境界はどこにあるのか―それを明らかにする計算理論は、計算機科学にもっとも基本的、かつ重要なもの。本書では、概念の説明や、結果の証明にPythonプログラムを利用する実践的なアプローチ

[fumokmm]

面白そうだなこれ。

[hamamuratakuo]

表紙が動物じゃないｗ　来年の干支に合わせて牛とかどう？

[takuver4]

こんな本あるのか。

[koogawa]

また気になる本が

[nhayato]

東京大学出版会みたいな表紙だ

[kazoo_oo]

面白そうだけど、読み切る自信ないな。。

[magnoliak]

注文した、楽しみ

[akira_108]

計算可能性、いつも、いつかちゃんと学びたいと思っていたので即ポチ

[manFromTomorrow]

“NP 困難性”

[htnmiki]

うしろゆびさされ組が「方程式くらいじゃ答え出ない」って言ってたよ

[zaki1010]

めっちゃ面白そうだけど、めっちゃ脳使いそう。

[route246]

めちゃくちゃ面白そう

[lalupin4]

再来週かな。/ ピアソン？プリンストン？

[udzura]

アンコンとこれを読むことでぼくも計算ができるようになる

[theatrical]

ピアソンの本なので、Safaribooks Onlineにはない模様。

[hirose30]

面白そうだけど、買ったら積読になりそうな気もする。休み前に買って一気にやるのが良さそう

[efcl]

"チューリングマシン、有限オートマトン、万能計算、非決定性、チューリング還元、計算量クラス、NP完全性"