万能コンピュータ

• タイトルヨミ: バンノウコンピュータ
• サブタイトル: ライプニッツからチューリングへの道すじ チューリング生誕100周年記念版
• サブタイトルヨミ: ライプニッツカラチューリングエノミチスジ チューリングセイタンヒャクシュウネンキネンバン
• 著編者等／著者名等: マーティン・デイヴィス‖原著 沼田寛‖訳
• 統一著者名ヨミ: Davis Martin
• 統一著者名: 沼田寛
• 著編者等ヨミ／著者名等ヨミ: デーヴィスマーティン ヌマタヒロシ
• 出版者: 近代科学社
• 出版地: 東京
• 出版年: 2016.11
• 大きさ: 9,249p
• 件名: 記号論理学-歴史 コンピュータ-歴史
• 分類: 410.96,410.96 410.96
• ISBN: 978-4-7649-0471-2
• マークNo: TRC000000016058796
• タイトルコード: 1000001001022
• 資料番号: 00000000000009217548
• 請求記号: 410.96/ﾃｳ ﾊ
• 一般注記: 原タイトル：The universal computer 原著チューリング生誕100周年記念版の翻訳
• 内容紹介: ライプニッツの夢、論理を代数に変換したブール、無限を巡り歩いたカントル、汎用計算機を構想したチューリング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロジックの世界を平易・簡明に紹介する。
• 種別: 図書
• 配架場所: 03141