书籍名称:离散数学

页数:196

作者:北京师范大学数学科学学院主编;蔡俊亮,闫建平,赵武超编著

出版时间:2014

ISBN:9787303177639

出版社:北京:北京师范大学出版社

简介:


前部分目录

第一章 命题逻辑——1
1.1 命题与联结词——1
1.2 命题公式及解释——5
1.3 联结词扩充与全功能集——12
1.4 范式——14
1.5 公式类型的判别方法——17
1.6 推理论——18
习题一——21
第二章 谓词逻辑——23
2.1 谓词逻辑基本概念与表示——23
2.2 合式公式与解释——25
2.3 前束范式——28
2.4 谓词逻辑推理论——29
习题二——32
第三章 集合论——33
3.1 集合的关系与运算——33
······
······
······

声明:本站资源均来源于互联网,旨在给网友提供一个交流学习的平台,产生费用仅为网站运营赞助费。版权属于原作者,若有侵权,请联系微信客服告知,我们会立即处理。