离散数学(上)
|
读过这本书吗？
最近在读
读过
想读
还不熟悉
|
图书城书列：
加入到博客或社交网站：
|
|
我来评论这本书：
内容提要：
本书系统地介绍了数理编辑的基础知识和集合代数的部分内容。包括命题编辑、集合、二元关系、函数、基数、公理集合论等。另外还附有部分习题的提示和解答。此书适用于自学青年阅读，并且可供高等院校数学专业、计算机专业学生学习参考。
目录：
第一章 命题逻辑基本概念
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 集合恒等式 习题八 第九章 二元关系 第十章 函数 第十一章 集合的基数 第十二章 公理集合论简介 参考书目 部分习题的提示或解答 |