CS 5002。离散结构。(4小时)

介绍构成计算机科学基础的数学结构和方法。研究结构，如集，元组，序列，列表，树和图。讨论函数、关系、排序和等价关系。检查结构和函数的归纳和递归定义。涵盖了证明的原则，如真值表、归纳证明、基本逻辑和估计集的大小、函数的增长和算法的时空复杂性所需的计数技术和参数。此外，还讨论了数据结构，如数组、堆栈、队列、列表以及操作它们的算法。