最安値はここだ！ -価格比較-

商品について

JANコード

9784621087855

希望小売価格

3300

Y!での商品説明(HMV&BOOKS online Yahoo!店)

発売日:2014年11月 / ジャンル:物理・科学・医学 / フォーマット:本 / 出版社:丸善出版 / 発売国:日本 / ISBN:9784621087855 / アーティストキーワード:レーモンド・M.スマリヤン スマリヤンレーモンドM

内容詳細:スマリヤンの最終講義。１階述語論理の本質へ。目次:第１部　無限（無限の本質/ 数学的帰納法/ 一般化帰納法、ケーニッヒの補題、コンパクト性）/ 第２部　１階述語論理の基礎的結果（命題論理の基礎的結果/ １階述語論理：完全性、コンパクト性、スコーレム‐レーヴェンハイムの定理/ 正規性定理）/ 第３部　公理系（公理的方法入門/ 命題論理の公理的方法（続き）/ １階述語論理の公理系）/ 第４部　１階述語論理（続き）（クレイグの補間補題/ ロビンソンの整合性定理/ ベスの定義可能性定理/ まとめ/ この先にあるもの）