アクセスランキング

01位
Rプログラミング本格入門―達人データサイエンティストへの道― 
02位
統計的自然言語処理の基礎
03位
カメムシの母が子に伝える共生細菌―必須相利共生の多様性と進化― 
04位
速習 強化学習―基礎理論とアルゴリズム― 
05位
グラフ理論とフレームワークの幾何
  • ニュースメール
  • アフターサービス
  • 教科書献本のご案内
  • facebook
  • 構造計画研究所

復刊現代数理論理学入門

書籍情報
シリーズ名復刊・復刻・新装版 復刊 
ISBN978-4-320-11318-3
判型A5 
ページ数200ページ
発行年月2017年04月
本体価格4,200円
復刊現代数理論理学入門 書影
復刊現代数理論理学入門

大学初年級の数学的思考を経験した人を対象に,現代数理論理学がどのような内容のものかを解説した入門書。『共立全書533.現代数理論理学入門』として1977年初版発行後,以来,長年にわたり多数の読者にご愛読いただいてまいりました。この度,多くの読者からの要望を受けより読みやすいA5版に拡大し単行本に改装し発行するものです。

目次

第1章 歴史的概観

第2章 述語論理の完全性

第3章 モデル理論

第4章 チューリング計算機と帰納的関数

第5章 ゲーデルの不完全性定理

第6章 集合論

付録 進んだ読者の手びき
訳注
訳者解説