資料詳細

  • 1 件中、 1 件目

万能コンピュ－タ   貸出可

マ－ティン　デイヴィス／原著 -- 近代科学社 -- ２０１６．１１ -- 410.96

所蔵

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

所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
科学産業 /410/Ｄ４６/ 0010016407328 一般図書 書架

ページの先頭へ

資料詳細

タイトル１ 万能コンピュ－タ 
副タイトル１ ライプニッツからチュ－リングへの道すじ
著者１ マ－ティン　デイヴィス ／原著, 沼田寛 ／訳  
出版年 ２０１６．１１
出版者 近代科学社
一般件名 記号論理学‐歴史 , コンピュ－タ‐歴史
ページ数 ９，２４９ｐ
大きさ ２３ｃｍ
ISBN 4-7649-0471-2
NDC分類(10版) 410.96
内容紹介 ライプニッツの夢、論理を代数に変換したブ－ル、無限を巡り歩いたカントル、汎用計算機を構想したチュ－リング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロジックの世界を平易・簡明に紹介する。

ページの先頭へ

著者紹介

著者紹介１－１ １９２８年ニュ－ヨ－ク市生まれ。アロンゾ・チャ－チのもとで博士号を取得。ニュ－ヨ－ク大学名誉教授。記号論理学の歴史に造詣が深い。