绪言 本课程根据大纲的内容和相第三部分代数系统(书上 关独立性,可分为四大部 第三篇):第五章:代数 分 结构;第六章:格和布尔 第一部分数理逻辑(书上 代数) 第一篇)包括第一章:命第四部分图论(书 (第四篇):第七章:图论) 题逻辑和第二章:谓词逻 辑 讲课时数:64小时如果时间 允许,我们会增加离散数 第二部分集合论(书上 学在计算机中的应用(形 (第二篇):第三章:集 式语言与自动机、纠错码 合与关系;第四章:函 等等) 数)4 绪言 本课程根据大纲的内容和相 关独立性，可分为四大部 分 第一部分 数理逻辑 （书上 第一 篇）包括第一章：命 题逻辑和第二章：谓词逻 辑 第二部分 集合论 （书上 （第二篇）：第三章：集 合与关系；第四章：函 数 ） 第三部分 代数系统 (书上 （第三篇）：第五章:代数 结构； 第六章：格和布尔 代数 ) 第四部分 图 论 （书 （第四篇）：第七章:图论） 讲课时数：64小时如果时间 允许，我们会增加离散数 学在计算机中的应用（形 式语言与自动机、纠错码 等等）