§1 函数的概念 §2 逆函数和复合函数 §3 基数的概念 §4* 可数集与不可数集

本篇用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。本篇讨论一些典型的代数系统及其性质（包括格）。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

§1集合的概念和表示法 §2集合的运算 §3序偶与笛卡尔积 §4关系及其表示 §5关系的性质 §6复合关系和逆关系 §7关系的闭包运算 §8集合的划分和覆盖 §9等价关系与等价类 §10相容关系 §11序关系

第一章命题逻辑 1命题 2命题联结词 3命题变元与命题公式 4等价式 5永真蕴含式 6命题联结词总结 7范式和判定 8推论规则和证明方法

东南大学图书馆：我国电子信息资源开发与利用及数字参考服务

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

6.1 概述 6.2 施密特触发器 6.3 单稳态触发器 6.4 多谐振荡器

5.4 时序电路的设计方法 5.4.1 时序电路的设计方法

东南大学：《数字逻辑电路》课程教学资源（PPT课件讲稿）第五章 时序逻辑电路 5.3.2 计数器

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