教师：金小刚
学分：3.0
上课时间：周五3,4,5
评分规则：
课程笔记：
Chapter 1: The Foundations—Logic and Proofs
Chapter 2: Basic Structures: Sets, and Functions
Chapter 3: The Fundamentals: Algorithms
Chapter 4: Induction and Recursion
Chapter 5: Counting
Chapter 6: Advanced Counting Techniques
Chapter 7: Relations