検索結果書誌詳細

和書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

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

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

書誌情報サマリ

書名

万能コンピュータ　　ライプニッツからチューリングへの道すじ　　　　

著者名 マーティン・デイヴィス／原著 　 沼田 寛／訳
著者名ヨミ マーティン デイヴィス　ヌマタ ヒロシ
出版者 近代科学社
出版年月 2016.11

書誌詳細

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

タイトル番号 1006000161036
書誌種別 和書
書名 万能コンピュータ　　ライプニッツからチューリングへの道すじ　　　　
副書名 チューリング生誕100周年記念版
著者名 マーティン・デイヴィス／原著 沼田 寛／訳
書名ヨミ バンノウ コンピュータ　ライプニッツ カラ チューリング エノ ミチスジ　　
著者名ヨミ マーティン デイヴィス
出版者 近代科学社
出版地 東京
出版年月 2016.11
ページ数 9,249p
大きさ 23cm
価格 ￥３６００
言語区分 日本語
ISBN 4-7649-0471-2
ISBN13 978-4-7649-0471-2
分類 410.96
件名 記号論理学-歴史　コンピュータ-歴史
内容紹介 ライプニッツの夢、論理を代数に変換したブール、無限を巡り歩いたカントル、汎用計算機を構想したチューリング…。数理論理学の先駆者たちの足跡をたどりつつ、記号論理学と計算機ロジックの世界を平易・簡明に紹介する。
著者紹介 1928年ニューヨーク市生まれ。アロンゾ・チャーチのもとで博士号を取得。ニューヨーク大学名誉教授。記号論理学の歴史に造詣が深い。
注記 原タイトル:The universal computer 原著チューリング生誕100周年記念版の翻訳



内容細目

この資料に対する操作

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

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

この資料に対する操作

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

資料情報

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

No. 資料番号 所蔵館 請求番号 配架場所 資料種別 帯出区分 状態 貸出
1 0022997241県立図書館410.96/ﾃｳ/書庫１一般和書貸可資料　在庫　　　  ○

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

関連資料

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

410.96　410.96
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【幾何的モデル理論入門】 幾何的モデル理論入門
板井 昌典／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【論理学入門】 論理学入門
丹治 信春／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数理論理学】 数理論理学
戸次 大介／著 【現代数理論理学序説】 現代数理論理学序説
古森 雄一／著,… 【数理論理学　：　使い方と考え方:超…】 数理論理学　：　使い方と考え方:超…
江田 勝哉／著 【日本語から記号論理へ】 日本語から記号論理へ
齋藤 正彦／著 【ろんりと集合】 ろんりと集合
中内 伸光／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか… 【工学系の論理数学入門】 工学系の論理数学入門
田中 和明／著 【フレーゲ入門　：　生涯と哲学の形成】 フレーゲ入門　：　生涯と哲学の形成
野本 和幸／著 【数学嫌いのためのコンピュータ論理学…】 数学嫌いのためのコンピュータ論理学…
マーティン・ディ… 【論理と代数の基礎　：　初めて学ぶ人…】 論理と代数の基礎　：　初めて学ぶ人…
硲 文夫／著 【幾何的モデル理論入門　：　モデル理…】 幾何的モデル理論入門　：　モデル理…
板井 昌典／著 【フレーゲ著作集6】 フレーゲ著作集6
G.フレーゲ／著
動物
【生類憐み令事件の取調べと裁判　：　…】 生類憐み令事件の取調べと裁判　：　…
後藤 正人／著 【先生、イルカとヤギは親戚なのですか…】 先生、イルカとヤギは親戚なのですか…
小林 朋道／著 【命はぐくむ生きもの家族図鑑】 命はぐくむ生きもの家族図鑑
今泉 忠明／監修… 【睡眠の起源】 睡眠の起源
金谷 啓之／著 【海の変な生き物が教えてくれたこと】 海の変な生き物が教えてくれたこと
清水 浩史／著 【グレゴリー・ポール海竜事典】 グレゴリー・ポール海竜事典
Gregory … 【新・動物の解放】 新・動物の解放
ピーター・シンガ… 【日本動物民俗誌】 日本動物民俗誌
中村 禎里／[著… 【猫と考える動物のいのち　：　命に優…】 猫と考える動物のいのち　：　命に優…
木村 友祐／著 【饒舌な動植物たち　：　ヒトの聴覚を…】 饒舌な動植物たち　：　ヒトの聴覚を…
カレン・バッカー… 【泳ぐウミガメ こんにちは、サンゴさ…】 泳ぐウミガメ こんにちは、サンゴさ…
蔡 敏琪／文,李… 【動物の今と昔ずかん　：　くらべてみ…】 動物の今と昔ずかん　：　くらべてみ…
土屋 健／著,群… 【Wildlifeみんなだいすきやせ…】 Wildlifeみんなだいすきやせ…
ピート・クロマー… 【頂上決戦!最強動物VS悪魔獣魔大決…】 頂上決戦!最強動物VS悪魔獣魔大決…
Creature… 【動物園・水族館の子づくり大作戦　：…】 動物園・水族館の子づくり大作戦　：…
成島 悦雄／編著 【動物のクイズ図鑑】 動物のクイズ図鑑
 【動物のもつ倫理的な重み　：　最小主…】 動物のもつ倫理的な重み　：　最小主…
久保田 さゆり／… 【海を渡ったアライグマ　：　人気者が…】 海を渡ったアライグマ　：　人気者が…
淺野 玄／著 【動物の<いのち>と人間の尊厳】 動物の<いのち>と人間の尊厳
河野 勝彦／著 【いのちの楽園　：　熊本サンクチュア…】 いのちの楽園　：　熊本サンクチュア…
佐和 みずえ／作 【スーパーパワーを手に入れた生きも…1】 スーパーパワーを手に入れた生きも…1
ジョルジュ・フェ… 【恐竜時代の大冒険】 恐竜時代の大冒険
土屋 健／著,安… 【僕は猛禽類のお医者さん】 僕は猛禽類のお医者さん
齊藤 慶輔／著 【奇跡の一枚】 奇跡の一枚
ロザムンド・キッ… 【図説歯からみた生物の進化】 図説歯からみた生物の進化
後藤 仁敏／著
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。