离散数学(上)

当前位置:首页 > 教材 > 研究生/本科/专科教材 > 离散数学(上)

  • 版 次:1
  • 页 数:268
  • 字 数:200000
  • 印刷时间:2001年01月01日
  • 开 本:
  • 纸 张:胶版纸
  • 包 装:平装
  • 是否套装:否
  • 国际标准书号ISBN:9787301006740
作者:陈进元,屈婉玲 编出版社:北京大学出版社出版时间:1987年11月 
编辑推荐

 
内容简介
本书系统地介绍了数理编辑的基础知识和集合代数的部分内容。包括命题编辑、集合、二元关系、函数、基数、公理集合论等。另外还附有部分习题的提示和解答。此书适用于自学青年阅读,并且可供高等院校数学专业、计算机专业学生学习参考。
目  录
第一章 命题逻辑基本概念
1 命题符号化
2 合式公式与真值函数
习题一
第二章 命题逻辑等值演算
1 等值关系
2 联结词的全功能集
3 析取范式与合取范式
习题二
第三章 命题逻辑自然推理
1 推理的形式结构
2 自然推理系统P
3 证明方法
习题三

 离散数学(上)下载



发布书评

 
 

 

PDF图书网 

PDF图书网 @ 2017