第一章1理解命题与真值掌握5个联结词符号化
P15ex82462．命题公式的成真赋值，成假赋值，真值表（例题18）；命题公式的类型（例题18）。第二章1命题公式的等值演算，掌握21页16个等值模式，例题23；P42ex4等值演算；2理解极小项、极大项的概念（定义24）掌握求命题公式的主析取范式和主合区范式例2829；ex6ex7第三章1理解推理的形式结构，推理正确（定理31）2掌握自然推理系统的12个推理规则（P51）例题3334353掌握附加前提证明法（例题35）和归谬法（例题36）Ex613ex12ex15ex16ex17ex18第六章（主要是第三节有穷集的计数）1包含容斥原理（定理62）例题64，65，67ex22第七章二元关系1理解有序对、笛卡尔积、二元关系（定义7172，7374）2特殊的二元关系（包括空关系，恒等关系，全域关系、小于等于关系、整除关系、包含关系P113）ex93关系矩阵，关系图
f二元关系的运算定义域、值域、域、逆、复合、R在A上的限制、A在R下的像（P114115）例题76，77ex14ex16关系的五种性质（自反性，反自反性，对称性，反对称性，传递性）ex21等价关系（定义715）、等价类、划分模
等价关系，例题716ex32ex41偏序关系（包括哈斯图，最大元，最小元，极大元，极小元，上界，下界，最小上界，最大下界等）例题719ex43ex46第十四章1理解图的相关概念，顶点，边，简单图。那些实际问题可以用图表示。2握手定理（定理141）ex5ex103连通分支、连通分支数（定义1413）；点割集、边割集、点连通度、边连通度（P303304），定理147，ex234理解极大路径，掌握扩大路径的方法（p306）148，ex41例题
5二部图的概念（定义1422）及其充要条件（定理1410）6无向图的矩阵表示邻接矩阵AG关联矩阵MG定义1423以课上讲解为主
7理解图的同构的概念（定义145），补图、自补图ex19
f第十五章1理解欧拉回路、欧拉通路、欧拉图、半欧拉图的概念（定义151）2掌握欧拉图的充要条件（定理151），半欧拉图的充要条件（定理152）ex73理解哈密顿回路、哈密顿通路、哈密顿图、半哈密顿图的概念（定义152）4掌握哈密顿图的必要条件（定理156），特别的对二部图（P321）5掌握哈密顿图的充分条件（定理157，322页推论）证明也要掌握。例题154，ex14ex156掌握最短路算法（P324，修改标号法）例题156；ex21ex22第十六章1理解树的概念、分支点、树叶（定义161）ex26ex36ex312树的性质定理161ex2ex3定理162
3理解r