書誌事項

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

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

日経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データベース」 より

詳細情報

ページトップへ

AltStyle によって変換されたページ (->オリジナル) /