| |
|
|
| 第一篇 数理逻辑 第一章 命题逻辑 1.1 命题与联结词 1.2 命题公式的等值演算 1.3 命题公式的范式表示 1.4 对偶式与蕴涵式 1.5 命题逻辑的推理理论 第二章 一阶谓词逻辑 2.1 谓词与量词 2.2 谓词公式与解释 2.3 谓词公式的等值演算与范式表示 2.4 谓词公式的蕴涵 2.5 谓词逻辑的推理理论 第二篇 集合论 第三章 集合及运算 3.1 集合的基本概念 3.2 集合的运算 3.3 归纳法和自然数集 3.4 笛卡尔称 3.5 可数与不可数集合 3.6 集合基数的比较 第四章 二元关系 4.1 二元关系的基本概念 4.2 关系的组合 4.3 闭包运算 4.4 序关系 4.5 等价关系和划分 4.6 函数的基本概念 4.7 特殊函数 4.8 逆函数 第三篇 组合数学初步 第五章 排列组合 5.1 加法法则和乘法法则 5.2 排列与组合 5.3 可重排列与可重组合 5.4 有关排列组合的一些恒等式 第六章 容斥原理和鸽笼原理 …… 第四篇 代数系统 第五篇 图论 |
内容加载中，请稍后...
商品评论（0条）