資料詳細

  • 1 件中、 1 件目

万能コンピュータ 貸出可

マーティン・デイヴィス／原著 -- 近代科学社 -- 2016.11 -- 410.96

所蔵

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

所蔵館 所蔵場所 請求記号 資料番号 資料区分 帯出区分 状態
一般 一般資料室 410.9/2016/ 00014177562 和書 帯出可 在庫 iLisvirtual

ページの先頭へ

資料詳細

タイトル 万能コンピュータ ,
書名ヨミ バンノウ コンピュータ
副書名 ライプニッツからチューリングへの道すじ
著者 マーティン・デイヴィス ／原著, 沼田 寛 ／訳  
著者名ヨミ デーヴィス,マーティン , ヌマタ,ヒロシ
出版者 近代科学社
出版年 2016.11
ページ数, 大きさ 9,249p, 23cm
NDC１０版 410.96
NDC８版 410.96
一般件名 記号論理学-歴史 , コンピュータ-歴史
ISBN 978-4-7649-0471-2 国立国会図書館 カーリル GoogleBooks WebcatPlus
注記 原タイトル:The universal computer 原著チューリング生誕100周年記念版の翻訳
著者紹介 1928年ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得。ニューヨーク大学名誉教授。記号論理学の歴史に造詣が深い。
内容紹介 ライプニッツの夢、論理を代数に変換したブール、無限を巡り歩いたカントル、汎用計算機を構想したチューリング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロジックの世界を平易・簡明に紹介する。

ページの先頭へ