TOP > 情報工学
 □ ニュースリリース
コミュニケーション・
情報リテラシー
工学一般
情報工学
電子工学
数学
物理学
ビジネス・経済
建築・都市計画
科学一般
公立はこだて未来大学出版会
発行
ナノオプト発行
弊社の書籍はお近くの書店・大学生協でお求めいただけます。店頭にない場合はお店からお取り寄せもできます。また、インターネットでもご購入いただけますので各販売サイトをご覧ください。
  サポート
   正誤表、授業用の教材などが
   あります
  地図(インプレスグループ)
   Google Map


株式会社 近代科学社

〒162-0843
東京都新宿区市谷田町2-7-15
TEL : 03-3260-6161
FAX : 03-3260-6059

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

book

発売日:2016年12月1日
定価:本体3,600円+税

紀伊國屋書店で注文
アマゾンで注文

 

コンピュータ前史

 ライプニッツからチューリングに至る数理論理学の系譜は,コンピュータの理論的バックボーンを形成しAIの登場までも予見している。代数の記号表現を通じて人間の思考の範囲すべてを包括するような記号体系の構築に献身したロジシャンたちの苦闘を,時代背景を取り込みながら解説する。さらに本書を構成する7人のロジシャンたちを,豊富なエピソードをもとにその人となりを描写する。
 また,本文に取り込むと冗長になりすぎる数学的解説は,原註に取り込むことで半独立的な構成としている。
 比較的平易に書かれているので,コンピュータロジックの成り立ちに関心のある高校生以上の読者や,人工知能のロジックの成り立ちに関心のある読者にも必携の書である。

 
著者 マーティン・デイビス
訳者 沼田 寛
ページ数 264
サイズ 菊判
ISBN 978-4-7649-0471-2
   
     
主要目次

第1章 ライプニッツの夢
第2章 論理を代数に変換したブール
第3章 フレーゲ:画期的達成から絶望へ
第4章 無限を巡り歩いたカントル
第5章 ヒルベルトの救済プログラム
第6章 ヒルベルトの計画を転覆させたゲーデル
第7章 汎用計算機を構想したチューリング
第8章 万能計算機の現実化
第9章 ライプニッツの夢を超えて

トップへ
 
本サイトのご利用についてお問合せプライバシーについて | 会社概要 | インプレスグループサイト | インプレスグループTop |
 Copyright © 2016 Kindai kagaku sha Co.,Ltd, an Impress Group company. All rights reserved.