§1格的概念 §2分配格 §3有补格 §4*布尔代数

1.量词、谓词、个体词、命题符号化 2.合式公式、解释、永真式 3.一阶逻辑等值式 4.一阶逻辑推理规则

7.1 引言 7.2 采样过程的数学描述 7.3 信号恢复 7.4 Z变换理论 7.5 采样系统的数学模型 7.6 离散控制系统分析 7.7 数字控制器的设计 7.8 Matlab在离散系统中应用

1.预备知识,无向图,有向图,相邻,关联 2.度,握手定理度数列,可(简单)图化 3.图同构 4.图族

一、关系运算性质(续) 二、关系矩阵,关系图 三、自反,反自反,对称,反对称,传递

一、等势,优势,劣势,绝对优势,绝对劣势 二、Cantor定理, Schroder-Bernstein-定理 三、基数(势),,N 四、有穷集,无穷集,可数集(可列集) 五、基数运算

第一章 命题逻辑

一、四色问题 二、平面图,面,极大平面图 三、欧拉公式 四、Kuratowski定理 五、对偶图,自对偶图 六、外平面图 七、平面哈密顿图

一、命题演算形式系统: 1 命题公式 2 语法:形式公理 3 形式规则

一、解释和赋值 解释是对每个符号说明其含义.赋值是指岀每个公式的真假值