离散数学(上下）

图书标准信息

• 作者 屈婉玲 编；陈进元
• 出版社 北京大学出版社
• 出版时间 1987-11
• 版次 1
• ISBN 9787301006740
• 定价 10.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 268页
• 字数 200千字

【内容简介】

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

【目录】

第一章 命题逻辑基本概念

  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 集合恒等式

  习题八

第九章 二元关系

第十章 函数

第十一章 集合的基数

第十二章 公理集合论简介

参考书目

部分习题的提示或解答