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

学习周历

日期	论题	Open Topics	扩展材料 (供感兴趣的同学自学使用)
2021-09-27/10-11	1-1-why 习题讲解	假币问题 龚至诚 赵烜呈 汉诺塔问题 黄俊荣 潘昕田 ppt链接	Counterfeit Coin Problems (1977) 理解解题思路，完善解题细节
2021-10-18	1-2-reasoning习题讲解	命题逻辑的自然推理系统 + Coq 李成蹊 刘熹橦 蔡昊润 * 前束范式 朱家辰 李杨彬
2021-10-25	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"的神奇之处。一开始会觉得困难，但当你一旦理解了，事情就变得非常简单而优雅。 《逻辑的引擎》前三章
2021-11-1	1-4-algorithm习题讲解	尾递归 林朗 陈荣锴* 杨梓宣* 刘博悦* 结构化程序设计 陈冀轩 梁子奇 尹杰* 孙骞*
2021-11-08	1-5-data-structure习题讲解	Pointers and Arrays 邓振霄 李昕怡 张明轩* 蔡羽童 Sequential Containers in C++ STL 胡皓明 盖伟业	Recursive Functions 递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。
	1-6-programming-language	正则表达式 徐妍 韩博侨 郭佳茵 林凡琪 程序设计语言的语义 陈楚安 杨镇源 马尧 姜凯	"The Art of Computer Programming" (Vol 4A) by Donald Knuth Section 7.2.1.2 for "Generating All Permutations" Prolog入门
	1-7-programming-paradigm	𝜆 𝑐𝑎𝑙𝑐𝑢𝑙𝑢𝑠 缪天顺 胡嘉欣 李昀芃 Functional Programming 赵欣玥 王彦翔 胡德韬	"The Art of Computer Programming" (Vol 1) by Donald Knuth Section 2.2.1 for "Stackable/Queueable Permutations"
2021-11-29	1-8-set 习题反馈	集合表示自然数 选择公理	《选择公理》，作者：赵希顺
	1-9-relation	关系 实数理论
	1-10-function	Lambda 演算 递归函数论
	1-11-infinity	基数 序数
	复习	Dilworth's Theorem Lattice of Stable Matchings