共立数学講座<br> 数学基礎概説

共立数学講座
数学基礎概説

  • ただいまウェブストアではご注文を受け付けておりません。
  • サイズ A5判／ページ数 268p／高さ 22X16cm
  • 商品コード 9784320011014
  • NDC分類 410.9

出版社内容情報

【解説】
数学における推論・演繹・証明がどのように形式化されていくか，また，形式的体系の中で数学的理論がどのように展開されるかを具体例を通して述。

【目次】
数学の記号化・１階述語論理の体系LK･完全性定理・集合論他

目次

第１章　数学の記号化
第２章　１階術語論理の体係ＬＫ
第３章　完全性定理
第４章　集合論
第５章　自然数と順序数
第６章　整列可能定理と選出公理
第７章　順序数の演算と対応する関数
第８章　基数
第９章　数の体系