数理逻辑基础PDF电子书下载
- 电子书积分:10 积分如何计算积分?
- 作 者:张振华编著
- 出 版 社:沈阳:辽宁大学出版社
- 出版年份:1990
- ISBN:7561009712
- 页数:206 页
图书介绍:
上一篇:线性代数同步辅导及习题全解 同济第4版下一篇:普通化学 上 初稿
《数理逻辑基础》目录
第一章 命题逻辑:命题逻辑基本概念 1
1.1 命题和命题变元 1
1.2 真值联结词 4
1.3 赋值和真值表 9
1.4 命题公式 12
1.5 真值函项 15
1.6 重言式、矛盾式、可满足式 21
1.7 判定重言式的逻辑方法 26
1.8 重言等值式 30
第二第 命题逻辑:范式 40
2.1 简单析取和简单合取 40
2.2 合取范式 42
2.3 析取范式 43
2.4 范式的求法 45
2.5 优范式及优范式求法 54
第三章 命题逻辑:命题演算 73
3.1 形式系统 73
3.2 命题自然推理形式系统 74
3.3 定理的推演 83
3.4 命题协调性及证明 101
3.5 命题公理推理形式系统 107
第四章 谓词逻辑:基本概念 124
4.1 个体词和谓词 124
4.2 量词 128
4.3 自由变元和约束变元 135
4.4 改名和代入 137
4.5 解释 141
4.6 谓词逻辑的永真式、矛盾式和可满足式 146
4.7 前束范式 149
第五章 谓词逻辑:谓词演算 160
5.1 谓词自然推理形式系统 160
5.2 全称量词推理规则 161
5.3 存在量词推理规则 166
5.4 关于全称量词和存在量词推理规则的限制 172
5.5 定理的推演 177
5.6 谓词公理形式系统 190
相关图书
- 《市政工程基础》杨岚编著 2009
- 《零基础学会素描》王金著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《生物质甘油共气化制氢基础研究》赵丽霞 2019
- 《花时间 我的第一堂花艺课 插花基础技法篇》(日)花时间编辑部编;陈洁责编;冯莹莹译 2020
- 《Photoshop CC 2018基础教程》温培利,付华编著 2019
- 《看视频零基础学英语口语》宋德伟 2019
- 《胃癌基础病理》(日)塚本彻哉编者;宫健,刘石译者 2019
- 《高校转型发展系列教材 素描基础与设计》施猛责任编辑;(中国)魏伏一,徐红 2019
- 《基础乐理》牛丽君 2019
作者其它书籍
- 《市政工程基础》杨岚编著 2009
- 《家畜百宝 猪、牛、羊、鸡的综合利用》山西省商业厅组织技术处编著 1959
- 《《道德经》200句》崇贤书院编著 2018
- 《高级英语阅读与听说教程》刘秀梅编著 2019
- 《计算机网络与通信基础》谢雨飞,田启川编著 2019
- 《看图自学吉他弹唱教程》陈飞编著 2019
- 《法语词汇认知联想记忆法》刘莲编著 2020
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《国家社科基金项目申报规范 技巧与案例 第3版 2020》文传浩,夏宇编著 2019
- 《流体力学》张扬军,彭杰,诸葛伟林编著 2019
出版社其它书籍
- 《大学计算机实验指导及习题解答》曹成志,宋长龙 2019
- 《大学生心理健康与人生发展》王琳责任编辑;(中国)肖宇 2019
- 《大学英语四级考试全真试题 标准模拟 四级》汪开虎主编 2012
- 《大学英语教学的跨文化交际视角研究与创新发展》许丽云,刘枫,尚利明著 2020
- 《复旦大学新闻学院教授学术丛书 新闻实务随想录》刘海贵 2019
- 《大学英语综合教程 1》王佃春,骆敏主编 2015
- 《大学物理简明教程 下 第2版》施卫主编 2020
- 《大学化学实验》李爱勤,侯学会主编 2016
- 《中国十大出版家》王震,贺越明著 1991
- 《近代民营出版机构的英语函授教育 以“商务、中华、开明”函授学校为个案 1915年-1946年版》丁伟 2017