資料詳細

  • 1 件中、 1 件目

万能コンピュータ ライプニッツからチューリングへの道すじ

マーティン・デイヴィス／原著 沼田 寛／訳

近代科学社 2016.11

所蔵

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス /410.96/ﾃｳ/ 1108433432 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

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

ページの先頭へ