| 作 者: | 本书编写组编著 |
| 出版社: | 珠海出版社 |
| 丛编项: | 全国高等教育自学考试指定教材同步辅导 |
| 版权说明: | 本书为出版图书,暂不支持在线阅读,请支持正版图书 |
| 标 签: | 暂缺 |
| ISBN | 出版时间 | 包装 | 开本 | 页数 | 字数 |
|---|---|---|---|---|---|
| 未知 | 暂无 | 暂无 | 未知 | 0 | 暂无 |
第一章 命题演算
一、 基本要领及分析
命题
真值
原子命题
复合命题
连接词
否定
合取
析取
条件
双条件
命题符号化
命题公式
子公式
指派
重言式
矛盾式
可满足式
替换实例
等价重言式
蕴含重言式
代入规则
置换规则
永真条件式
蕴含式的性质
最小联结词组
质合取式
质析取式
析取范式
合取范式
小项
主析取范式
大项
有效结论
相容
二、 基本定理及证明
三、 经典题例
第二章 谓词演算
一、 其本概念及分析
个体
……
第三章 集合与函数
第四章 代数结构
第五章 图论