离散数学》课程介绍

离散数学研究离散(变)量的结构及其相互关系,是计算机科学的理论基础。帮助培养学生的逻辑推理能力、抽象思维能力和形式化思维能力。本课程包括四个部分的内容,分别源于数学的不同分支。它们是数理逻辑、集合论、代数结构和图论。

本课程是计算机专业学生的必修课之一。主要介绍讨论了基础知识-Fundamentals、逻辑—Logic、计数—Counting、关系和图--Relations and Digraph、函数--Functions、序关系和结构、树—Trees、图论—Graphs、半群和群--Semigroups and Groups、语言和自动机、群和编码--Groups and Coding

x

章节名称

第一章

基础知识-Fundamentals

第二章

逻辑--Logic

第三章

计数—Counting

第四章

关系和图--Relations and Digraph

第五章

函数--Functions

第六章

序关系和结构

第七章

—Trees

第八章

图论—Graphs

第九章

半群和群

第十章

语言和自动机

第十一章

群和编码--Groups and Coding