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

チャールズ・ペゾルド 著 ; 井田哲雄, 鈴木大郎, 奥居哲, 浜名誠, 山田俊行 訳

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

「BOOKデータベース」より

[目次]

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

「BOOKデータベース」より

この本の情報

書名 チューリングを読む : コンピュータサイエンスの金字塔を楽しもう
著作者等 Petzold, Charles
井田 哲雄
奥居 哲
山田 俊行
浜名 誠
鈴木 大郎
ペゾルド チャールズ
書名ヨミ チューリング オ ヨム : コンピュータ サイエンス ノ キンジトウ オ タノシモウ
書名別名 THE ANNOTATED TURING
出版元 日経BP社 : 日経BPマーケティング
刊行年月 2012.6
ページ数 593p
大きさ 20cm
ISBN 978-4-8222-8372-8
NCID BB09343233
※クリックでCiNii Booksを表示
全国書誌番号
22123578
※クリックで国立国会図書館サーチを表示
言語 日本語
原文言語 英語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想