中图网

>

数学

>

数学理论

数理逻辑导引

作者：冯琦编著

出版社：科学出版社出版时间：2017-09-01

开本： 32开 页数： 510

读者评分：4分1条评论

本类榜单：自然科学销量榜

中图价:¥142.6(7.2折) 定价 ~~¥198.0~~ 登录后可看到会员价

加入购物车收藏

运费6元，满39元免运费

?新疆、西藏除外

本类五星书更多>

>
宇宙、量子和人类心灵

宇宙、量子和人类心灵

¥41.6¥58
>
考研数学专题练1200题

考研数学专题练1200题

¥30.6¥78
>
希格斯:“上帝粒子”的发明与发现

希格斯:“上帝粒子”的发明与发现

¥17.4¥48
>
神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

神农架叠层石:10多亿年前远古海洋微生物建造的大堡礁

¥48¥120
>
二十四史天文志校注(上中下)

二十四史天文志校注(上中下)

¥261.3¥390
>
声音简史

声音简史

¥20.8¥52
>
浪漫地理学:追寻崇高景观

浪漫地理学:追寻崇高景观

¥39.3¥59

买过本商品的人还买了

马克思恩格斯全集:1861-1863年:第三十七卷:经济学手稿
中央马克思恩格斯列宁斯大林著
¥37.2~~¥62.0~~
内涵逻辑与逻辑语法-逻辑.语言与意义-第二卷
(荷)L.T.F.哈姆特(L.T.F.G
¥47.6~~¥68.0~~
临界的传递逻辑-模态逻辑的濒表格性问题研究
杜珊珊,康宏逵著
¥62.4~~¥78.0~~
中国史纲
张荫麟
¥18.2~~¥26.0~~

商品详情
商品评论(1条)

中图价:¥142.6 加入购物车

版权信息
本书特色
内容简介
目录

数理逻辑导引版权信息

ISBN：9787030545794
条形码：9787030545794 ; 978-7-03-054579-4
装帧：一般胶版纸
册数：暂无
重量：暂无
所属分类：
自然科学
>
数学
>
数学理论

数理逻辑导引本书特色

　　本书是作者在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。

数理逻辑导引内容简介

《数理逻辑导引/现代数学基础丛书》是作者冯琦在新加坡国立大学、北京大学和中国科学院大学为本科高年级学生开设的数理逻辑选修课和在新加坡国立大学、中国科学院数学与系统科学研究院为研究生开设的专业课程所写讲义基础上整理出来的结果。本书主要由一阶逻辑的核心内容和有关数的逻辑探索和分析两大部分组成，其中包括完备性、紧致性、同质缩小、型省略等基本定理；有关数的经典理论的完全性和可定义性分析；哥德尔不完全性定理、丘奇不可判定性定理、塔尔斯基自然数标准模型真相不可定义性定理以及巴黎-哈灵顿不完全性定理。本书可供数学系和理论计算机科学系高年级本科生、研究生或对数理逻辑有兴趣的读者使用，也可以作为参考材料供相关课程的教师使用。

数理逻辑导引目录

《现代数学基础丛书》序序言第0章引言第1章命题逻辑 1.1 基本问题 1.2 命题表达式 1.3 逻辑赋值与可满足性 1.4 布尔函数可表示性 1.5 可证明性与一致性 1.6 形式证明的几组例子 1.7 完备性 1.8**完备性证明 1.9 命题逻辑紧致性 1.10 命题范式 1.11 命题逻辑与布尔代数 1.12 练习第2章一阶语言和一阶结构 2.1 一组经典例子 2.2 一阶语言 2.2.1 符号 2.2.2 项 2.2.3 表达式 2.2.4 自由变元和受囿变元 2.2.5 替换与可替换性 2.3 一阶结构 2.3.1 项赋值 2.3.2 满足关系 2.3.3 局部确定性定理 2.3.4 替换定理 2.3.5 缩写表达式 2.4 几个一阶语言和结构的例子 2.5 数与数的集合 2.5.1 自然数 2.5.2 整数 2.5.3 有理数 2.5.4 实数 2.5.5 复数 2.6 练习第3章一阶结构之同构、同样与同质 3.1 预备知识：可数与不可数 3.2 一阶结构之同构与同样 3.2.1 有理数轴 3.2.2 同构 3.2.3 同样 3.3 可定义性 3.3.1 可定义性 3.3.2 不变性 3.3.3 实数轴区间定理 3.4 同质子结构 3.4.1 子结构、扩充结构与裁减结构 3.4.2 结构元态与全息图 3.4.3 同质子结构 3.4.4 同质与同样 3.4.5 塔尔斯基判定准则 3.4.6 实数轴同质子轴 3.4.7 同质缩小定理 3.4.8 稠密线性序 3.4.9 嵌入与同质嵌入 3.5 练习第4章逻辑推理与逻辑结论 4.1 逻辑推理 4.1.1 逻辑公理 4.1.2 推理 4.2 推理细致分析定理 4.2.1 演绎定理 …… 第3章一阶结构之同构、同样与同质第4章逻辑推理与逻辑结论第5章同质放大模型第6章完全性与模型完全性第7章可数模型第8章代数封闭域理论第9章实封闭域理论第10章有理数加法算术理论第11章整数加法算术理论第12章自然数序理论与有序加法理论第13章自然数算术理论索引《现代数学基础丛书》已出版书目

展开全部

商品评论(1条)

写书评赚书币

主题：关于作者冯琦及本书的行间距
作者冯琦大学就读于哈工大，之后毕业于美国宾州州立大学（硕士和博士）。本书是冯琦的编的作品，所以包含借鉴他人成果部分（而《集合论导引》是冯琦本人著的作品）。本书的印刷和装帧先不谈，字体的行间距过窄，看着不舒适——四星。
2023/8/29 1:17:20
0 0
三星会员
读者:ht8***(购买过本书)