感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

検索結果書誌詳細

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 書誌の詳細です。 現在、この資料への予約は 0 件あります。
  • ・予約するときは「予約カートに入れる」ボタンをクリックしてください。予約するには図書館窓口で発行したパスワードが必要です。
    ・「予約カートに入れる」ボタンが出ない書誌には予約できません。
    詳しくは「マイページについて－インターネットで予約するには」をご覧ください。

蔵書情報

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

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

書誌情報サマリ

書名

数学嫌いのためのコンピュータ論理学　何でも「計算」になる根本原理

著者名 マーティン・ディヴィス／著 岩山知三郎／訳
出版者 コンピュータ・エージ社
出版年月 2003.07
請求記号 4109/00017/

この資料に対する操作

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

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

登録する本棚ログインすると、マイ本棚が利用できます。

資料情報

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

No. 所蔵館 資料番号 資料種別 配架場所 別置 帯出 状態
1 鶴舞0234323806一般和書２階書庫　在庫 

関連資料

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

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

書誌詳細

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

請求記号 4109/00017/
書名 数学嫌いのためのコンピュータ論理学　何でも「計算」になる根本原理
著者名 マーティン・ディヴィス／著 　 岩山知三郎／訳
出版者 コンピュータ・エージ社
出版年月 2003.07
ページ数 335p
大きさ 20cm
ISBN 4-87566-274-2
原書名 The universal computer
分類 41096
一般件名 記号論理学 　 コンピュータ-歴史
書誌種別 一般和書
内容注記 文献:p313〜320
タイトルコード 1009913030169

要旨 ＩＴ文明のルーツって何？そんな疑問にこたえる分かりやすい好著が邦訳された。ライプニッツ、ブール、ゲーデル、テューリング…。論理の巨人たちの肉声を聴いているうちに、いつしかコンピュータ大宇宙の中に引き込まれていく。
目次 第１章　ライプニッツの夢
第２章　論理を代数に変えたブール
第３章　フレーゲ―画期的論考からの絶望の淵へ
第４章　カントールと無限という回り道
第５章　ヒルベルトと数学の救済
第６章　予想を覆したゲーデル
第７章　テューリングの汎用コンピュータ
第８章　最初の普遍コンピュータの製造
第９章　ライプニッツの夢を超えて


内容細目表：

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

本文はここまでです。

ページの終わりです。