検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
    配架場所が「閉架三丸書」と表示されている資料は、当館とは別の書庫に所蔵しているため、
    予約申込み後、資料が用意できるまで数日~1週間程度お時間をいただきます。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。
この書誌情報へのリンク:

蔵書情報

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

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

書誌情報サマリ

書名

数学嫌いのためのコンピュータ論理学    

著者名 マーティン・ディヴィス/著
著者名ヨミ マーティン ディヴィス
出版者 コンピュータ・エージ社
出版年月 2003.7


この資料に対する操作

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

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

  

この資料に対する操作

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


マイ本棚へ追加ログインするとマイ本棚を利用できます。


資料情報

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

No. 所蔵館 資料番号 資料種別 請求番号 配架場所 帯出区分 状態 貸出
1 県立図書館001000678209一般書410.9/デヴ/閉架館外可在庫 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

記号論理学 コンピュータ-歴史

書誌詳細

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

タイトルコード 1001000996448
書誌種別 図書
書名 数学嫌いのためのコンピュータ論理学    
副書名 何でも「計算」になる根本原理
著者名 マーティン・ディヴィス/著   岩山 知三郎(1954~)/訳
著者名ヨミ マーティン ディヴィス イワヤマ トモサブロウ
出版者 コンピュータ・エージ社
出版年月 2003.7
ページ数 335p
大きさ 20cm
ISBN 4-87566-274-2
分類記号9版 410.96
分類記号10版 410.96
書名ヨミ スウガクギライ ノ タメ ノ コンピュータ ロンリガク
副書名ヨミ ナンデモ ケイサン ニ ナル コンポン ゲンリ
注記 文献:p313~320
注記 原書名:The universal computer
内容紹介 内容紹介:IT文明のルーツって何? そんな疑問にこたえる分かりやすい解説書。ライプニッツ、ブール、ゲーデル、テューリング…。論理の巨人たちの肉声を聴いているうちに、いつしかコンピュータ大宇宙の中に引き込まれていく。
件名1 記号論理学
件名2 コンピュータ-歴史
言語区分 日本語



内容細目

もどる

本文はここまでです。


ページの終わりです。