博雅大学堂·哲学:数理逻辑
￥ 59 ￥ 28 九五品
仅1件
天津武清
认证卖家担保交易快速发货售后保障
作者邢滔滔 著
出版社北京大学出版社
ISBN9787301112557
出版时间2008-08
版次1
装帧平装
开本16开
纸张胶版纸
页数273页
字数99999千字
定价28元
上书时间2024-05-08
商品详情
- 品相描述：九五品
- 商品描述
-
基本信息
书名:博雅大学堂·哲学:数理逻辑
定价：28.00元
作者:邢滔滔 著
出版社：北京大学出版社
出版日期：2008-08-01
ISBN：9787301112557
字数：282000
页码：273
版次：1
装帧：平装
开本：16开
商品重量：
编辑推荐
按照许多学校的安排，在逻辑的入门课之后，还有相应的进深课程，供有兴趣的同学选修。我们在课程设置上，也采取了这个策略。在这样的安排之下，《数理逻辑》的内容，对应于大学本科的门"数理逻辑"或"符号逻辑"课程。
内容提要
《数理逻辑》是一本入门教材，针对逻辑学的初学者，尤其是初学逻辑的学生，而不要求读者有数学方面的预备知识。在内容方面，《数理逻辑》只介绍一阶逻辑的基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。这些知识和技术已经成为逻辑入门的必要装备，也因此构成目前大学教育的一个基础部分，在哲学、语言学等文科专业和数学、计算机科学等理科专业里，普遍列为必修或选修的内容。当然，按照一种比较理想的要求，大学生对逻辑的了解，还应该包括更深层次的内容，如适当部分的模型论、基本的不可判定性结果、哥德尔不完全性定理的证明等。但这些更深层次的内容适合于在更加专门的课程中介绍。
目录
章 绪论：从直观到形式1 从“矛盾”说起2 直观上的推理3 正确推理4 一阶语言5 推演系统第二章 集合1 集合（不）是什么？2 关系3 函数4 可数集与不可数集第三章 一阶语言的语形1 字母表2 归纳定义3 项4 公式5 递归定义6 自由和约束代入第四章 经典语义学1 结构与解释2 等词、量词和联结词3 满足真4 语义后承5 可满足性有效性语义等值6 代入引理7 模型举例第五章 自然推演系统1 推理规则概说2 联结词规则3 命题推演语形后承4 量词和等词规则5 一阶推演6 经典与直觉主义逻辑的关系第六章 可靠性与完全性1 经典可靠性2 一致性3 经典命题完全性4 Henkin定理5 可满足性定理6 经典完全性7 紧致性定理与Lowenheim-Skolem定理8 直觉主义完全性参考文献
作者介绍
序言
-
【封面】
— 没有更多了 —
以下为对购买帮助不大的评价