チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
著者
書誌事項
チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
日経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
内容説明・目次
内容説明
コンピュータには計算できない数がある。チューリング機械を動かしてコンピュータと数学の限界に答えを出す。不朽の論文「計算可能数とその決定問題への応用」(1936)の本当の意味がわかる。
目次
- 第1部 基礎(ディオファントスここに眠る;無理数と超越数;進歩の世紀)
- 第2部 計算可能数(アラン・チューリングの受けた教育;動く機械;加算と乗算;またの呼び名はサブルーチン;すべては数;万能機械;コンピュータと計算可能性;機械と人間)
- 第3部 決定問題(論理と計算可能性;計算可能関数;主要な証明;ラムダ計算;連続体をめぐって)
- 第4部 展望(万物はチューリング機械か;ディオファントスの長き眠り)
「BOOKデータベース」 より