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

1-1-why

• 1-1-why-扫描版 (魏)

• 假币问题

1. 高灏
2. 戴一帆

• 汉诺塔问题

1. 林海波
2. 朱宇博

• Counterfeit Coin Problems (1977)

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

• 1-2-reasoning-扫描版 (魏)

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

1. 陈弘毅
2. 吴煜青

• 前束范式

1. 贾林杰
2. 张浩宇

• 1-2-reasoning.pdf (魏)
• 1-2-reasoning-handout.pdf (魏)

• Induction + Coq

1. 李晗
2. 曹恒源

• Double Counting

1. 浦亮
2. 周晓

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

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

• 《逻辑的引擎》前三章

• 1-3-proof.pdf (魏)
• 1-3-proof-handout.pdf (魏)

• 尾递归

1. 姚梦雨
2. 刘闵

• 结构化程序设计

1. 彭泽
2. 马文洁

• 1-4-algorithm.pdf (魏)
• 1-4-algorithm-handout.pdf (魏)

• Pointers and Arrays

1. 诸高骅
2. 严泽宇

• Sequential Containers in C++ STL

1. 黄泽雨
2. 曹雨森

• Recursive Functions

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

• 1-5-data-structure-I.pdf (魏)
• 1-5-data-structure-I-handout.pdf (魏)

• 正则表达式

1. 王子鉴
2. 吴煜青

• 程序设计语言的语义

1. 张涛
2. 乔志鹏

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

 Section 7.2.1.2 for "Generating All Permutations"

• 1-5-data-structure-II.pdf (魏)
• 1-5-data-structure-II-handout.pdf (魏)
• 1-6-programming-language.pdf (魏)

• 高阶函数

• Church Numeral

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

 Section 2.2.1 for "Stackable/Queueable Permutations"

• 2019-1-8-set.pdf (魏)
• 2019-1-8-set-handout.pdf (魏)

• 集合表示自然数

1. 赵超懿
2. 屈力

• 选择公理

1. 马传龙
2. 马成功

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

• 2019-1-9-relation.pdf (魏)
• 2019-1-9-relation-handout.pdf (魏)

• 关系

1. [[Media: | 陈驰]]
2. 孙伟杰

• 实数理论

1. [[Media: | 曹蔚宁]]
2. 毛子钰

• 2019-1-10-function.pdf (魏)
• 2019-1-10-function-handout.pdf (魏)

• Lambda 演算

1. [[Media: | 金前程]]
2. 李松原 [[Media: | 马文洁]]

• 递归函数论

1. 郝博强
2. 林荣恩

• 2019-1-11-infinity.pdf (魏)
• 2019-1-11-infinity-handout.pdf (魏)

• 基数

1. 宋天惠
2. 王康浩

• 序数

1. 方宇航
2. 史丰萁

• 2017-1-exam.pdf (魏)
• 2017-1-exam-handout.pdf (魏)

• Dilworth's Theorem

1. 徐一鸣
2. 蒋晟

• Lattice of Stable Matchings

1. 刘嘉诚
2. 胡涛