課程概述 |
1. Mathematical Reasoning
Logic, Proof methods, Inductive Proofs
2. Combinatorial Analysis
Summations, Countability, Probability, Combinatorics, Recurrences, Boolean Algebra
3. Discrete Structures
Sets, Functions, Sequences, Permutations, Relations, Graphs, Trees, Finite-state Machines
4. Algorithms
Orders of Growth, Complexity. Specification, Program verification
5. Application and modeling
Model of Computation
|