上一篇:高等数学解题方法下一篇:催化化学 增补重印 上
《数学逻辑引论》目录
Ⅰ 命题演算 1
1 引言 1
2 命题与符号 3
3 逻辑联结词 7
4 命题变量与真值函数(命题公式) 18
5 真值函数类 27
6 真值函数的等价变换(命题公式的等价变换)--逻辑联结词的互相转化 32
7 对偶律 52
8 永真蕴含 58
9 真值函数类的势 70
10 其他逻辑联结词 77
11 逻辑联结词的功能完备集 85
12 古典命题逻辑中逻辑联结词的总体 91
13 命题演算系统的一个纯算术模型及其应用 94
14 真值函数的范式与正则范式 108
15 范式的编码 135
16 真值函数的各种表示法(波兰式与逆波兰式) 142
17 命题演算的演绎理论 154
18 定理证明的自动化 181
Ⅱ 谓词演算 196
19 引言--命题演算的局限性 196
20 命题与谓词 197
21 命题函数(谓词公式)与量词 203
22 自由变元与约束变元(或自由变量与约束变量) 224
23 有效公式与等价性 237
24 谓词演算的演绎理论 254
25 含有多个量词的谓词公式 265
相关图书
- 《MBA大师.2020年MBAMPAMPAcc管理类联考专用辅导教材 数学考点精讲》(中国)董璞 2019
- 《2013数学奥林匹克试题集锦 走向IMO》2013年IMO中国国家集训队教练组编 2013
- 《一个数学家的辩白》(英)哈代(G.H.Hardy)著;李文林,戴宗铎,高嵘译 2019
- 《高等数学试题与详解》西安电子科技大学高等数学教学团队 2019
- 《数学物理方法与仿真 第3版》杨华军 2020
- 《程序逻辑及C语言编程》卢卫中,杨丽芳主编 2019
- 《高等数学 上》东华大学应用数学系编 2019
- 《聋校义务教育实验教科书教师教学用书 数学 一年级 上》人民教育出版社,课程教材研究所,小学数学课程教材研究中心编著 2017
- 《庆祝新中国成立70周年当代中国发展的逻辑系列丛书 当代中国生态发展的逻辑》熊捷责编;包存宽 2020
- 《离散数学》(中国)杨文国,高华,石莹 2019
作者其它书籍
- 《刘泽华全集 先秦政治思想史 下》刘泽华著;南开大学历史学院编 2019
- 《口译理论研究》王斌华著 2019
- 《陶瓷工业节能减排技术丛书 陶瓷工业节能减排与污染综合治理》罗民华著 2017
- 《郎才女貌》李之华著 1942
- 《最美的时光》桐华著 2020
- 《禅宗精神与后现代精神的“家族相似”》邱紫华著 2019
- 《全球城市案例研究2019》周振华 2019
- 《钢琴演奏与钢琴教学研究》张鲜华著 2018
- 《澳门人家》梁振华著 2019
- 《春日之书》陆烨华著 2019
出版社其它书籍
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《指向核心素养 北京十一学校名师教学设计 英语 七年级 上 配人教版》周志英总主编 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《北京生态环境保护》《北京环境保护丛书》编委会编著 2018
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《指向核心素养 北京十一学校名师教学设计 英语 九年级 上 配人教版》周志英总主编 2019