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