“2021级--小班讨论 (第一学期)”的版本间的差异

1-1-why 习题讲解

• 假币问题

1. 龚至诚
2. 赵烜呈

• 汉诺塔问题

1. 黄俊荣
2. 潘昕田

ppt链接

• Counterfeit Coin Problems (1977)

 理解解题思路，完善解题细节

• 命题逻辑的自然推理系统 + Coq

1. 李成蹊
2. 刘熹橦
3. 蔡昊润 *

• 前束范式

1. 朱家辰
2. 李杨彬

• Induction + Coq
• Double Counting

• Chapter 30 ``Cayley's formula for the number of trees of ``Proofs from THE BOOK (Fourth Edition)

 再体会一下"Double Counting"的神奇之处。一开始会觉得困难，但当你一旦理解了，事情就变得非常简单而优雅。

• 《逻辑的引擎》前三章

• 尾递归
• 结构化程序设计

• Pointers and Arrays
• Sequential Containers in C++ STL

• Recursive Functions

 递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。

• 正则表达式
• 程序设计语言的语义

• "The Art of Computer Programming" (Vol 4A) by Donald Knuth

 Section 7.2.1.2 for "Generating All Permutations"

• 高阶函数

• Church Numeral

• "The Art of Computer Programming" (Vol 1) by Donald Knuth

 Section 2.2.1 for "Stackable/Queueable Permutations"

• 集合表示自然数
• 选择公理

• 《选择公理》，作者：赵希顺

• 关系
• 实数理论

• Lambda 演算
• 递归函数论

• 基数

• 序数

• Dilworth's Theorem
• Lattice of Stable Matchings