Books

数理論理学

古川康一

Product Details

ISBN/Catalogue Number
ISBN 13 : 9784339027181
ISBN 10 : 4339027189
Format
Books
Publisher
Release Date
June/2008
Japan
Co-Writer, Translator, Featured Individuals/organizations
:

Content Description

特に、実世界の問題を論理によって表現し、問題解決を行う能力を身に付けることを目指した線形代数学の入門書。問題の抽象化と形式化の能力を養うため、多くの例題や問題を収録。

【著者紹介】
古川康一 : 1965年東京大学工学部計数工学科卒業。1967年東京大学大学院工学系研究科修士課程修了。1967年通産省工業技術院電気試験所入所。1980年工学博士(東京大学)。1982年財団法人新世代コンピュータ技術開発機構出向。1992年慶應義塾大学教授。2008年慶應義塾大学名誉教授

向井国昭 : 1971年東京大学理学部数学科卒業。三菱電機株式会社勤務。1982年財団法人新世代コンピュータ技術開発機構出向。1991年工学博士(東京工業大学)。1992年慶應義塾大学助教授。1995年慶應義塾大学教授(本データはこの書籍が刊行された当時に掲載されていたものです)

(「BOOK」データベースより)

Customer Reviews

Comprehensive Evaluation

☆
☆
☆
☆
☆

0.0

★
★
★
★
★
 
0
★
★
★
★
☆
 
0
★
★
★
☆
☆
 
0
★
★
☆
☆
☆
 
0
★
☆
☆
☆
☆
 
0

Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

  • kozima

    後半は Prolog の話,前半はそれに向けての準備という感じでしょうか。数学寄りでない論理学の本を初めて通読しました。新鮮。

レビューをもっと見る

(外部サイト)に移動します

Recommend Items