■
ｽﾏﾘﾔﾝ数理論理学講義 下巻 / 原ﾀｲﾄﾙ:A BEGINNER’S FURTHER GUIDE TO MATHEMATICAL LOGIC
■
ﾚｲﾓﾝﾄﾞ･M･ｽﾏﾘﾔﾝ/著 田中一之/監訳 川辺治之/訳
目次
第1部 命題論理と一階述語論理の進んだ話題(命題論理の進んだ話題
一階述語論理の進んだ話題) 第2部 再帰的関数論とﾒﾀ数学(再帰的関数論、決定不能性、不完全性 初等形式体系と再帰的枚挙可能性 再帰的関数論 二重化による一般化 ﾒﾀ数学とのつながり) 第3部 ｺﾝﾋﾞﾈｰﾀ論理の構成要素(ｺﾝﾋﾞﾈｰﾀ論理事始め さまざまなｺﾝﾋﾞﾈｰﾀ 賢者、預言者、それらの二重化 完全体系と部分体系 ｺﾝﾋﾞﾈｰﾀ、再帰的関数論、決定不能性)
出荷:
ﾒｰｶｰ在庫あり:1-3日
■
詳細ﾍﾟｰｼﾞ
■
ｼﾞｬｹｯﾄ画像
■
商品説明
女
商品検索
令
ﾍﾙﾌﾟ
TOP
J-WAVE CD&BOOK ONLINE
powerd by Neowing
