离散数学（上）

出版时间：1987-11  出版社：北京大学出版社  作者：陈进元，屈婉玲编  页数：268  字数：200000  

内容概要

本书系统地介绍了数理编辑的基础知识和集合代数的部分内容。包括命题编辑、集合、二元关系、函数、基数、公理集合论等。另外还附有部分习题的提示和解答。此书适用于自学青年阅读，并且可供高等院校数学专业、计算机专业学生学习参考。

书籍目录

第一章 命题逻辑基本概念  1 命题符号化  2 合式公式与真值函数  习题一第二章 命题逻辑等值演算  1 等值关系  2 联结词的全功能集  3 析取范式与合取范式  习题二第三章 命题逻辑自然推理  1 推理的形式结构  2 自然推理系统P  3 证明方法  习题三第四章 命题逻辑公理系统  1 公理系统与形式系统  2 公理系统L  L的演绎定理  L的性质  习题四第五章 一阶逻辑基本概念  1 一阶逻辑命题符号化  2 一阶语言  3 解释与赋值  4 真与逻辑有效  习题五第六章 一阶逻辑等值演算  1 一阶逻辑等值式  2 置换规则  3 前束范式  习题六第七章 一阶逻辑的形式推理  1 推理定律   2 自然推理系统F  3 公理系统K  4 K的性质  习题七第八章 集合代数  1 集合的基本概念  2 集合的运算  3 集合恒等式  习题八第九章 二元关系第十章 函数第十一章 集合的基数第十二章 公理集合论简介参考书目部分习题的提示或解答