資料詳細

  • 1 件中、 1 件目

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

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

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 2F 一般図書 /410.9/5118/2016 7108372240 配架図 Digital BookShelf
2017/01/06 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。       類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

ページの先頭へ

資料詳細 閉じる

ISBN 4-7649-0471-2
ISBN13桁 978-4-7649-0471-2
タイトル 万能コンピュータ
タイトルカナ バンノウ コンピュータ
タイトル関連情報 ライプニッツからチューリングへの道すじ,チューリング生誕100周年記念版
タイトル関連情報読み ライプニッツ カラ チューリング エノ ミチスジ,チューリング セイタン ヒャクシュウネン キネンバン
著者名 マーティン・デイヴィス ／原著, 沼田 寛 ／訳
著者名典拠番号

120000068480000 , 110001778920000

出版地 東京
出版者 近代科学社
出版者カナ キンダイ カガクシャ
出版年 2016.11
ページ数 9, 249p
大きさ 23cm
原タイトル注記 原タイトル:The universal computer 原著チューリング生誕100周年記念版の翻訳
価格 ¥3600
内容紹介 ライプニッツの夢、論理を代数に変換したブール、無限を巡り歩いたカントル、汎用計算機を構想したチューリング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロジックの世界を平易・簡明に紹介する。
書誌・年譜・年表 文献:p227～235
一般件名 コンピュータ-歴史-ndlsh-00606132,数学者-ndlsh-00571527
一般件名カナ コンピュータ-レキシ-00606132,スウガクシャ-00571527
一般件名 記号論理学-歴史 , コンピュータ-歴史
一般件名カナ キゴウ ロンリガク-レキシ,コンピュータ-レキシ
一般件名典拠番号

510630210010000 , 510156710090000

分類：都立NDC10版 410.96
資料情報1 『万能コンピュータ ライプニッツからチューリングへの道すじ』　マーティン・デイヴィス／原著, 沼田 寛／訳 　近代科学社　2016.11（所蔵館：中央　 請求記号：/410.9/5118/2016　 資料コード：7108372240）
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152921226

ページの先頭へ