摘要：
1）图的基本概念 2）路与回路 3）图的矩阵表示（不考） 4）欧拉图与汉密尔顿图 5）平面图 6）对偶图与着色 7）树与生成树 阅读全文
摘要：
1）集合的概念和表达法 2）集合的运算 3）包含排斥原理 4）序偶与笛卡儿积 5）关系及其表示 6）关系的性质 7）复合关系和逆关系 8）关系闭包运算 9）集合的划分和覆盖 10）等价关系与等价类 11）相容关系 12）序关系 阅读全文
摘要：
1）谓词的概念与表达 2）命题函数与量词 3）谓词公式与翻译 4）变元的约束 5）谓词演算的等价式与蕴含式 6）前束范式 7）谓词演算的推理理论 阅读全文