復刊現代数理論理学入門

J.n.crossley

基本情報

ジャンル
ISBN/カタログNo
ISBN 13 : 9784320113183
ISBN 10 : 4320113187
フォーマット
出版社
発行年月
2017年04月
日本
共著・訳者・掲載人物など
:
追加情報
:
212p;22

内容詳細

目次 : 第1章 歴史的概観/ 第2章 述語論理の完全性/ 第3章 モデル理論/ 第4章 チューリング計算機と帰納的関数/ 第5章 ゲーデルの不完全性定理/ 第6章 集合論/ 訳者解説

【著者紹介】
田中尚夫 : 1962年東京都立大学大学院修了。1964年〜1999年法政大学工学部・大学院工学研究科勤務。現在、法政大学名誉教授・理学博士。専門は数学基礎論(記述集合論、計算量理論)(本データはこの書籍が刊行された当時に掲載されていたものです)

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

ユーザーレビュー

総合評価

☆
☆
☆
☆
☆

0.0

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

読書メーターレビュー

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

powered by

  • hidehi さん

    「数学基礎論―ゲーデルの不完全性定理 (放送大学教材)」を読んだひとが先に進むのによい。ほとんど同じような構成で、書き方がよりフォーマルになっている。本文と訳者解説の二段構えになっているが、解説の方にちょっと省略があってわかりにくいところがある。それを調べるのもまた勉強になるけれど。

レビューをもっと見る

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

物理・科学・医学 に関連する商品情報

おすすめの商品