商品詳細 | Knowledge Worker

丸善のおすすめ度

スマリヤン数理論理学～述語論理と完全性定理～

村上　祐子　翻訳
高橋　昌一郎　監修

在庫状況お取り寄せ	お届け予定日 10日間	数量冊
価格 \3,300（税込）

この商品について問合せる

発行年月	2014年11月
出版社／提供元	丸善出版
言語	日本語
媒体	冊子
ページ数／巻数	4p,196p
大きさ	21cm
ジャンル	和書／理工学／数学／数学一般・その他
ISBN	9784621087855
商品コード	1016489415
NDC分類	410.96
基本件名	記号論理学
本の性格	学術書
新刊案内掲載月	2015年01月1週
商品URL	https://kw.maruzen.co.jp/ims/itemDetail.html?itmCd=1016489415

内容

「スマリヤン記号論理学」に続く、スマリヤン著「ロジカル・ラビリンス」第Ⅲ部から第Ⅵ部までの翻訳書。1階述語論理の基礎的成果や、スマリヤン自身の一般化した「抽象量化理論」などを解説し、「不完全性定理」にも触れる。

第1部無限(無限の本質数学的帰納法一般化帰納法、ケーニッヒの補題、コンパクト性) 第2部 1階述語論理の基礎的結果(命題論理の基礎的結果 1階述語論理:完全性、コンパクト性、スコーレム‐レーヴェンハイムの定理正規性定理) 第3部公理系(公理的方法入門命題論理の公理的方法(続き) 1階述語論理の公理系) 第4部 1階述語論理(続き)(クレイグの補間補題ロビンソンの整合性定理ベスの定義可能性定理まとめこの先にあるもの)

カート

カートに商品は入っていません。

前のページに戻る