13.1 格的定义与性质 13.2 子格与格同态 13.3 分配格与有补格 13.4 布尔代数

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）16 布尔表达式

哈尔滨理工大学：《离散数学 Discrete Mathematics》课程教学资源（PPT课件讲稿）18 路与回路

15.1 欧拉图 15.2 哈密顿图 15.3 带权图与货郎担问题

16.1 无向树及其性质 16.2 生成树 16.3 根树及其应用

◼ 课程信息 ◼ 为什么学习形式语言与自动机 ◼ 形式语言与自动机概述及应用 ◼ 课程内容及要求

一、数学的研究对象是什么？ 本身已如此一目了然，以致于没有任何词汇能够把他解说得更清楚的事物，绝不要试图给他下定义。以免被所使用的含混不清的词 汇所欺骗

1、逻辑(Logic) 2、集合(Sets) 3、算法(Algorithms) 4、数论(Number Theory)

前两节介绍的命题与命题演算是命题逻辑的内容，其基本组成单位是原 子命题。一般地，原子命题作为具有真假意义的句子至少由主语和谓语两 部分组成。 例如，电子商务是计算机技术的一个应用系统，这里“电子商务”是主 语，而“是……”是谓语。当主语改变为“电子政务”时就得到新的原子命题：

1.2 集合Sets 1.2.1 集合的基本概念Concepts of Sets