19. 几类证明方法 - 1

姜守旭，哈尔滨工业大学教授。本课程由姜守旭等五位名师授课，主要包含二部分内容：集合论与图论。集合论是整个数学的基础，也是计算机科学的基础，计算机科学领域中的大多数基本概念和理论，几乎均采用集合论的有关术语来描述和论证，而图论的基本知识则将始终陪伴着每一个计算机工作者的职业生涯。《集合论与图论》（下）主要讲述图论部分。