数理逻辑的思想和方法
全新正版 极速发货
￥ 42.51 4.3折 ￥ 98 全新
库存15件
广东广州
认证卖家担保交易快速发货售后保障
作者昂扬 编著 林胜强、李晟 修订
出版社上海人民出版社
ISBN9787208187207
出版时间2024-01
装帧精装
开本16开
定价98元
货号1203185500
上书时间2024-09-05
商品详情
- 品相描述：全新
- 商品描述
-
目录
第一章 数理逻辑与人工语言//001
第一节 自然语言与人工语言//001
第二节 数理逻辑的思想和方法的演进//005
第三节 人工语言对数理逻辑的影响//011
第二章 命题演算的思想和方法//018
第一节 真值函项//018
第二节 重言式//032
第三节 范式//045
第三章 命题演算系统//059
第一节 重言式形式系统//059
第二节 自然推理系统与重言式公理系统//072
第四章 直觉主义逻辑的思想和方法//085
第一节 直觉主义逻辑的思想//086
第二节 直觉主义逻辑的演算系统//090
第五章 元逻辑的方法和意义//098
第一节 演算系统的形式定理//099
第二节 演算系统的整体性质//111
第六章 谓词演算的思想和方法//123
第一节 日常用语的进一步刻画//123
第二节 翻译中的几个问题//138
第三节 谓词逻辑的核心//150
第四节 解释//163
第七章 谓词演算系统//176
第一节 谓词演算系统//177
第二节 谓词演算系统定理和导出规则//190
第三节 谓词演算系统的一致性和接近性//202
第八章 哥德尔不接近性定理//218
第一节 形式化的算术理论//219
第二节 哥德尔不接近性定理的内容和思想//222
第三节 哥德尔不接近性定理的证明//228
第九章 公理化方法和形式化方法//233
第一节 从归约法到公理化//233
第二节 从公理化到形式化//235
第三节 公理化与形式化的交会//241
第十章 数理逻辑思想和方法的实践//245
第一节 一场逻辑争论//245
第二节 关于三段论的本质//248
第三节 摹状词理论的要点//253
后记//258
内容摘要
本书是一本面向逻辑学专业学生的逻辑学教材，适用于文科哲学、语言学、数学、思政、管理学等专业本科生、研究生。本书系统地阐述了从莱布尼茨到哥德尔的数理逻辑的思想和方法：不仅介绍了构造命题逻辑、谓词逻辑的公理系统、自然推理系统以及系统内定理的操作规则和技巧等思想的形式化方法，同时也进一步探讨了这些形式化方法所包含的生动活泼的思想（这是本书的鲜明特色），便于人们“徜徉”数理逻辑“秀山丽水”的本质与全貌。
相关推荐
— 没有更多了 —
以下为对购买帮助不大的评价