資料詳細

  • 1 件中、 1 件目

【図書】 数学嫌いのためのコンピュータ論理学

何でも「計算」になる根本原理 --
マーティン・デイヴィス ／著, 岩山知三郎 ／訳   -- コンピュータ・エージ社 -- ２００３．７ -- ２０ｃｍ -- ３３５ｐ

資料詳細

タイトル 数学嫌いのためのコンピュータ論理学
副書名 何でも「計算」になる根本原理
著者名等 マーティン・デイヴィス ／著, 岩山知三郎 ／訳  
出版 コンピュータ・エージ社 ２００３．７
大きさ等 ２０ｃｍ ３３５ｐ
分類 410.96
件名 記号論理学
注記 Ｔｈｅ　ｕｎｉｖｅｒｓａｌ　ｃｏｍｐｕｔｅｒ．／の翻訳
注記 文献あり　索引あり
要旨 ＩＴ文明のルーツって何？そんな疑問にこたえる分かりやすい好著が邦訳された。ライプニッツ、ブール、ゲーデル、テューリング…。論理の巨人たちの肉声を聴いているうちに、いつしかコンピュータ大宇宙の中に引き込まれていく。
目次 第１章　ライプニッツの夢；第２章　論理を代数に変えたブール；第３章　フレーゲ―画期的論考からの絶望の淵へ；第４章　カントールと無限という回り道；第５章　ヒルベルトと数学の救済；第６章　予想を覆したゲーデル；第７章　テューリングの汎用コンピュータ；第８章　最初の普遍コンピュータの製造；第９章　ライプニッツの夢を超えて
ISBN(13)、ISBN 　　 4-87566-274-2
書誌番号 1103052877
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1103052877

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/225 一般書 利用可 - 2029801641 iLisvirtual

ページの先頭へ