◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

§1图的基本概念 §2路与回路 §3图的矩阵表示 §4欧拉图和汉密尔顿图 §5平面图 §6树与生成树

离散数学(又称计算机数学)是现代数学的 重要分支,是计算机专业课程中的核心基 础课程之一。 离散数学以是研究:离散量的结构和相互之 间的关系为主要目标,其研究对象一般为 :有限或可数个元素(例如:自然数、整 数、真假值、有限个结点等),而离散性 也是计算机科学的显著特点

1.4 逻辑代数的基本定理 1.5 逻辑函数及其表示方法 1.6（1.7） 逻辑函数的卡诺图化简法 1.7（1.8） 具有无关项逻辑函数及其化简

5.1 概述 5.2 时序逻辑电路的分析方法 5.3 若干常用时序逻辑电路 5.3.1 寄存器和移位寄存器

第一节 医学法学概念 第二节 医学法的特征、基本原则及作用 第三节 医学法的内容和渊源 第四节 医学法律关系 第五节 医学法律责任 第一节 执业医师法 第二节 护士管理办法

2.6.3 CMOS反相器的动态特性 2.6.4 其他类型的CMOS门电路 3.1 概述 3.2 组合逻辑电路的分析和设计方法

3.3 常用组合逻辑电路 编码器 译码器 数据选择器 比较器 加法器 函数发生器

2.4.4 其他类型的TTL门电路 2.4.5 TTL门电路的改进 2.6 CMOS门电路 2.6.1 CMOS反向器工作原理 2.6.2 CMOS反向器静态输入输出特性

第一节 疾病史——医学对象的变化 第二节 医学史的分类——时间、事件、观点、历史逻辑 第三节 古代医学 第四节 近现代医学——起源、特点、缺陷 第五节 未来医学发展趋势