チューリングを読む : コンピュータサイエンスの金字塔を楽しもう

著者

書誌事項

チューリングを読む : コンピュータサイエンスの金字塔を楽しもう

チャールズ・ペゾルド著 ; 井田哲雄 [ほか] 訳

日経BP社 , 日経BPマーケティング (発売), 2012.6

タイトル別名

The annotated Turing : a guided tour through Alan Turing's historic paper on computability and the Turing machine

タイトル読み

チューリング オ ヨム : コンピュータ サイエンス ノ キンジトウ オ タノシモウ

大学図書館所蔵 件 / 全168件

この図書・雑誌をさがす

注記

その他の訳者: 鈴木大郎, 奥居哲, 浜名誠, 山田俊行

読書案内: p580-584

内容説明・目次

内容説明

コンピュータには計算できない数がある。チューリング機械を動かしてコンピュータと数学の限界に答えを出す。不朽の論文「計算可能数とその決定問題への応用」（１９３６）の本当の意味がわかる。

目次

  • 第１部　基礎（ディオファントスここに眠る；無理数と超越数；進歩の世紀）
  • 第２部　計算可能数（アラン・チューリングの受けた教育；動く機械；加算と乗算；またの呼び名はサブルーチン；すべては数；万能機械；コンピュータと計算可能性；機械と人間）
  • 第３部　決定問題（論理と計算可能性；計算可能関数；主要な証明；ラムダ計算；連続体をめぐって）
  • 第４部　展望（万物はチューリング機械か；ディオファントスの長き眠り）

「BOOKデータベース」 より

詳細情報

ページトップへ