出版时间: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 集合恒等式 习题八第九章 二元关系第十章 函数第十一章 集合的基数第十二章 公理集合论简介参考书目部分习题的提示或解答
图书封面
评论、评分、阅读与下载