“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. 马文洁