2019级--小班讨论 (第一学期)

学习周历

日期	论题	Open Topics	扩展材料 (供感兴趣的同学自学使用)
2019-10-10	1-1-why	假币问题 汉诺塔问题	Counterfeit Coin Problems (1977) 理解解题思路，完善解题细节
2019-10-17	1-2-reasoning	命题逻辑的自然推理系统 + Coq 前束范式
2019-10-24	1-3-proof	Induction + Coq Double Counting	Chapter 30 ``Cayley's formula for the number of trees of ``Proofs from THE BOOK (Fourth Edition) 再体会一下"Double Counting"的神奇之处。一开始会觉得困难，但当你一旦理解了，事情就变得非常简单而优雅。 《逻辑的引擎》前三章
2019-10-31	1-4-algorithm	尾递归 结构化程序设计
2019-11-07	1-5-data-structure	Pointers and Arrays Sequential Containers in C++ STL	Recursive Functions 递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。
2019-11-14	1-6-programming-language	正则表达式 程序设计语言的语义	"The Art of Computer Programming" (Vol 4A) by Donald Knuth Section 7.2.1.2 for "Generating All Permutations"
2019-11-21	1-7-programming-paradigm	高阶函数 Church Numeral	"The Art of Computer Programming" (Vol 1) by Donald Knuth Section 2.2.1 for "Stackable/Queueable Permutations"
2019-11-28	1-8-set	集合表示自然数 选择公理	《选择公理》，作者：赵希顺
2019-12-05	1-9-relation	关系 实数理论
2019-12-12	1-10-function	Lambda 演算 递归函数论
2019-12-19	1-11-infinity	基数 序数
2019-12-26	复习	Dilworth's Theorem Lattice of Stable Matchings