这是一本免费的面向计算机科学学生的离散结构本科课程教材,我从2013年秋季学期开始在卡尔顿大学教授。本课程为二年级课程COMP 2804(离散结构II)。学生必须修过COMP 1805(离散结构I),涵盖了数学推理、基本证明技巧、集合、函数、关系、基本图论、渐近符号和可数性。在一个12周的学期中,每周有3个小时的课,我涵盖了这本书的大部分材料,除了第二章,它已经包含在里面了,以便学生可以复习COMP 1805的材料。