数理逻辑概论PDF电子书下载
- 电子书积分:12 积分如何计算积分?
- 作 者:朱煜华,吴可编著
- 出 版 社:北京:中共中央党校出版社
- 出版年份:1992
- ISBN:7503506083
- 页数:308 页
目 录 1
序 言 邢贲思 1
第一篇命题逻辑 1
第一章命题、命题联结词和真值函项 1
§1命题和命题变项 1
§2命题联结词 5
§3命题公式 13
§4语句的真值形式 18
§5真值表方法 23
§6命题联结词的相互定义 32
§7真值函项 36
第二章重言式和范式 43
§1重言式 43
§2重言蕴涵式和推理 48
§3简化真值表方法 56
§4重言等值式和置换方法 59
§5求否定规则 64
§6对偶规则 67
§7范式 70
第三章命题推理系统 80
§1 概述 80
§2系统的结构和规则 81
§3自然推理的方法 87
§4若干定理的证明 91
§5推理的实例分析 105
§4系统的可靠性和完全性 112
第二篇谓词逻辑 118
第一章谓词公式和普遍有效性 118
§1谓词逻辑的基本思想 118
§2谓词和个体词 120
§3量词 124
§4传统逻辑四种命题的符号化 127
§5重迭量词 131
§6谓词公式 133
§7辖域 135
§8约束变项和自由变项 137
§9 自然语言的符号化 141
§10量词的相互转换 144
§11谓词公式的解释 148
§12普遍有效性和可满足性 152
第二章谓词推理系统 156
§1全称量词推演规则 156
§2 存在量词推演规则 165
§3 系统的构成和定理的证明 172
§4求否定规则和对偶规则 192
§5谓词推理实例分析 196
§1前束范式 204
第三章范式和判定问题 204
§2 彐-前束范式 209
§3什么是判定问题 216
§4有穷个体域内的判定问题 221
§5无穷个体域内的判定问题 230
第三篇数理逻辑发展简史 238
第一章数理逻辑的形成 238
§1数理逻辑产生和发展的背景 238
§2数理逻辑的萌芽 243
§3逻辑代数的建立和完善 251
§4谓词演算的提出和集合论的建立 260
§5逻辑演算的定型化和数学基础三大派 271
第二章数理逻辑的发展 289
§1 “三大成果”的取得和“四论”的形成 289
§2非古典逻辑系统的出现和发展 295
后记 306
- 《全国高等中医药行业“十三五”创新教材 中医药学概论》翟华强 2019
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《海绵城市概论》刘娜娜,张婧,王雪琴 2017
- 《药学概论》于海平主编 2019
- 《新闻心理学概论 第6版》刘京林 2019
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《弗雷格逻辑主义研究》刘靖贤著 2019
- 《概率论与数理统计》傅丽芳 2018
- 《当代食品科学与技术概论 第3版》(中国)王建林,李海燕 2017
- 《无机材料晶体结构学概论》毛卫民编著 2019
- 《中风偏瘫 脑萎缩 痴呆 最新治疗原则与方法》孙作东著 2004
- 《水面舰艇编队作战运筹分析》谭安胜著 2009
- 《王蒙文集 新版 35 评点《红楼梦》 上》王蒙著 2020
- 《TED说话的力量 世界优秀演讲者的口才秘诀》(坦桑)阿卡什·P.卡里亚著 2019
- 《燕堂夜话》蒋忠和著 2019
- 《经久》静水边著 2019
- 《魔法销售台词》(美)埃尔默·惠勒著 2019
- 《微表情密码》(波)卡西亚·韦佐夫斯基,(波)帕特里克·韦佐夫斯基著 2019
- 《看书琐记与作文秘诀》鲁迅著 2019
- 《酒国》莫言著 2019
- 《中央财政支持提升专业服务产业发展能力项目水利工程专业课程建设成果 设施农业工程技术》赵英编 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019
- 《高等院校旅游专业系列教材 旅游企业岗位培训系列教材 新编北京导游英语》杨昆,鄢莉,谭明华 2019
- 《指向核心素养 北京十一学校名师教学设计 数学 九年级 上 配人教版》周志英总主编 2019
- 《新时代基层党校党性教育教学专题实务》郭志龙主编 2019
- 《西单大杂院-北京老舍文学院首届中青年作家高研班学员小说作品集》北京老舍文学院编 2019
- 《指向核心素养 北京十一学校名师教学设计 数学 七年级 上 配人教版》周志英总主编 2019
- 《北京人民艺术剧院剧本系列 白露》刘国华,马鹏程 2019