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

1-1-why 习题讲解

• 假币问题

1. 龚至诚
2. 赵烜呈

• 汉诺塔问题

1. 黄俊荣
2. 潘昕田

ppt链接

• Counterfeit Coin Problems (1977)

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

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

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

• 前束范式

1. 朱家辰
2. 李杨彬

1. 排列生成

• Induction + Coq

1. 徐木杰*
2. 王雷宇
3. 李鸿毅*

• Double Counting

1. 毕然
2. 陆一阳

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

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

• 《逻辑的引擎》前三章

• 尾递归

1. 林朗
2. 陈荣锴*
3. 杨梓宣*
4. 刘博悦*

• 结构化程序设计

1. 陈冀轩
2. 梁子奇
3. 尹杰*
4. 孙骞*

• Pointers and Arrays

1. 邓振霄
2. 李昕怡
3. 张明轩*
4. 蔡羽童

• Sequential Containers in C++ STL

1. 胡皓明
2. 盖伟业

• Recursive Functions

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

• 正则表达式

1. 徐妍
2. 韩博侨
3. 郭佳茵
4. 林凡琪

• 程序设计语言的语义

1. 陈楚安
2. 杨镇源
3. 马尧
4. 姜凯

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

 Section 7.2.1.2 for "Generating All Permutations"

• Prolog入门

• 𝜆 𝑐𝑎𝑙𝑐𝑢𝑙𝑢𝑠

1. 缪天顺
2. 胡嘉欣
3. 李昀芃

• Functional Programming

1. 赵欣玥
2. 王彦翔
3. 胡德韬

• "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