正版四数理逻辑导引9787030545794冯琦 epub pdf mobi txt 电子书 下载 2024
发表于2024-11-10
正版四数理逻辑导引9787030545794冯琦 epub pdf mobi txt 电子书 下载 2024
【拍前必读】:
本店销售的书籍品相可能因为存放时间长短关系会有成色不等,请放心选购。
付款后,不缺货的情况下,48小时内发货,如有缺货的情况下,我们会及时在聊天窗口给您留言告知。
发货地北京,一般情况下发货后同城次日可以到达,省外具体以快递公司运输为准。
望每位读者在收货的时候要验货,有什么意外可以拒签,这是对您们权益的保护。
注意:节假日全体放假,请自助下单;如需帮助请及时与我们联系。祝您购物愉快!商家热线:010-57272736
基本信息
书名:数理逻辑导引
定价:198.00元
作者:冯琦
出版社:科学出版社
出版日期:2018-03-01
ISBN:9787030545794
字数:
页码:
版次:31
装帧:平装
开本:128开
商品重量:0.4kg
编辑推荐
内容提要
本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成,其中包括完备性、紧致性、同质缩小、型省略等基本定理;有关数的经典理论的完全性和可定义性分析;哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。
目录
作者介绍
文摘
序言
正版四数理逻辑导引9787030545794冯琦 epub pdf mobi txt 电子书 下载 2024
正版四数理逻辑导引9787030545794冯琦 下载 epub mobi pdf txt 电子书 2024正版四数理逻辑导引9787030545794冯琦 mobi pdf epub txt 电子书 下载 2024
正版四数理逻辑导引9787030545794冯琦 epub pdf mobi txt 电子书 下载评分
评分
评分
评分
评分
评分
评分
评分
正版四数理逻辑导引9787030545794冯琦 epub pdf mobi txt 电子书 下载 2024