2025/05/28
| 資料の種別｡ |
図書｡
 資料情報のコピー
|
| 書名｡ |
万能コンピュータ(バンノウ/コンピュータ)｡
|
| 副書名｡ |
ライプニッツからチューリングへの道すじ(ライプニッツ/カラ/チューリング/エノ/ミチスジ)｡
|
| チューリング生誕100周年記念版(チューリング/セイタン/ヒャクシュウネン/キネンバン)｡
|
| 著者名等｡ |
マーティン・デイヴィス‖原著(デーヴィス,マーティン)｡
|
| 沼田/寛‖訳(ヌマタ,ヒロシ)｡
|
| 出版者｡ |
近代科学社／東京｡
|
| 出版年｡ |
2016.11｡
|
| ページと大きさ｡ |
9,249p／23cm｡
|
| 件名｡ |
記号論理学-歴史｡
|
| コンピュータ-歴史｡
|
| 分類｡ |
NDC8 版：410.96｡
|
| NDC9 版：410.96｡
|
| NDC10版：410.96｡
|
| ISBN｡ |
978-4-7649-0471-2｡
|
| 価格｡ |
¥3600｡
|
| タイトルコード｡ |
1000001001022｡
|
| 内容紹介｡ |
ライプニッツの夢、論理を代数に変換したブール、無限を巡り歩いたカントル、汎用計算機を構想したチューリング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロジックの世界を平易・簡明に紹介する。｡
|
| 著者紹介｡ |
1928年ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得。ニューヨーク大学名誉教授。記号論理学の歴史に造詣が深い。｡
|
| 所蔵数｡ |
館内でのみ利用可能な資料 ｡ |
貸出可能な資料｡ |
貸出中の資料（割当または回送中含む） ｡ |
予約件数（割当含む）｡ |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料 - 0 冊
|
- 貸出可能な資料｡
- 0 冊
|
貸出中の資料（割当または回送中含む） - 1 冊
|
- 予約件数（割当含む）
- 0 件
|
| 番号｡ |
資料番号｡ |
配架場所（配架案内）｡ |
請求記号｡ |
状態｡ |
| 1｡ |
- 資料番号：
- 009217548｡
|
- 配架場所：
- 3F / 南（S） / S35～S36 / 自然科学｡
|
- 請求記号：
- 410.96/ﾃｳ ﾊ｡
|
- 状態：
- 貸出中｡
|
このページのURL：https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1000001001022