検索結果書誌詳細

  • 貸出中の資料は予約できます。（一部を除きます）
    「在庫」及び「要取寄」の資料は受取館と所蔵館が同じ場合は予約できません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

　

書名

万能コンピュータ　

著者名 マーティン・デイヴィス／原著
著者名ヨミ マーティン デイヴィス
出版者 近代科学社
出版年月 2016.11

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

資料情報

各蔵書資料に関する詳細情報です。

No. 所蔵館 資料番号 請求記号 所蔵場所 配架場所 帯出区分 状態 貸出
1 ミライｏｎ1212935386410.9/ﾃﾞ-16/３F開架図書帯出可在庫  ○

書誌詳細

この資料の書誌詳細情報です。

書誌種別 図書（一般）
著者名 マーティン・デイヴィス／原著 　 沼田 寛／訳
著者名ヨミ デーヴィス マーティン　ヌマタ ヒロシ
出版者 近代科学社
出版年月 2016.11
ページ数 9,249p
大きさ 23cm
ISBN 4-7649-0471-2
分類記号 410.96
書名 万能コンピュータ　
書名ヨミ バンノウ コンピュータ
副書名 ライプニッツからチューリングへの道すじ
副書名ヨミ ライプニッツ カラ チューリング エノ ミチスジ
内容紹介 ライプニッツの夢、論理を代数に変換したブール、無限を巡り歩いたカントル、汎用計算機を構想したチューリング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロジックの世界を平易・簡明に紹介する。
著者紹介 〈マーティン・デイヴィス〉1928年ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得。ニューヨーク大学名誉教授。記号論理学の歴史に造詣が深い。



内容細目

前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。