CS103 计算数学基础
计算数学基础 Mathematical Foundations of Computing
2025年夏季课表：
| 6月23日 Introduction, Set Theory | 6月25日 Mathematical Proofs | 6月27日 Indirect Proofs |
| 6月30日 Propositional Logic | 7月2日 First-Order Logic, Part I | 7月4日 First-Order Logic, Part II |
| 7月7日 Functions, Part I | 7月9日 Functions, Part II | 7月11日 Set Theory Revisited |
| 7月14日 Graphs, Part I | 7月16日 Graphs, Part II | 7月18日 Graphs, Part III |
| 7月21日 Mathematical Induction, Part I | 7月23日 Mathematical Induction, Part II | 7月25日 Midterm Exam |
| 7月28日 Finite Automata, Part I | 7月30日 Finite Automata, Part II | 8月1日 Finite Automata, Part III |
| 8月4日 Regular Expressions | 8月6日 Nonregular Languages | 8月8日 Context-Free Languages |
| 8月11日 Turing Machines, Part I | 8月13日 Turing Machines, Part II | 8月15日 无 |