查看“2019级--小班讨论 (第一学期)”的源代码

== 学习周历 ==

[[Media:2019级问题求解课程第一学期学生名单-20190925-分班表.xlsx | 2019级问题求解课程第一学期学生名单-20190925-分班表]]

{| border=1
! 日期
! 论题
! Open Topics
* 1: 227（马）
* 2: 228 (魏)）
! 扩展材料 
(供感兴趣的同学自学使用)
|-
| 2019-10-10
| 
1-1-why
* [[Media:1-1-why-scan.pdf | 1-1-why-扫描版 (魏)]]
| 
* 假币问题
# [[Media:1-1-Coin-高灏.pptx | 高灏]]
# [[Media:1-1-Coin-戴一帆.pptx | 戴一帆]]
* 汉诺塔问题
# [[Media:1-1-Hanoi-林海波.pptx | 林海波]]
# [[Media:1-1-Hanoi-朱宇博.zip | 朱宇博]]
|
* [[Media:Counterfeit Coin Problems (MAA 1977).pdf | Counterfeit Coin Problems (1977)]]
  理解解题思路，完善解题细节
|-
| 2019-10-17
| 1-2-reasoning
* [[Media:1-2-reasoning-scan.pdf ‎| 1-2-reasoning-扫描版 (魏)]]
| 
* 命题逻辑的自然推理系统 + Coq
# [[Media:1-2-Natural-陈弘毅.pptx | 陈弘毅]]
# [[Media:1-2-Natural-吴煜青.zip | 吴煜青]]
* 前束范式
# [[Media:1-2-PNF-贾林杰.pptx | 贾林杰]]
# [[Media:1-2-PNF-张浩宇.zip | 张浩宇]]
|
|-
| 2019-10-24
| 1-3-proof
* [[Media:1-2-reasoning.pdf | 1-2-reasoning.pdf (魏)]]
* [[Media:1-2-reasoning-handout.pdf | 1-2-reasoning-handout.pdf (魏)]]
| 
* Induction + Coq
# [[Media:1-3-CoqInduction-李晗.zip | 李晗]]
# [[Media:1-3-CoqInduction-曹恒源.zip | 曹恒源]]
* Double Counting
# [[Media:1-3-CoutingTrees-浦亮.pptx | 浦亮]]
# [[Media:1-3-CountingTrees-周晓.pptx | 周晓]]
|
*  Chapter 30 ``Cayley's formula for the number of trees'' of ``Proofs from THE BOOK'' (Fourth Edition)
  再体会一下"Double Counting"的神奇之处。一开始会觉得困难，但当你一旦理解了，事情就变得非常简单而优雅。
* 《逻辑的引擎》前三章
|-
| 2019-10-31
| 1-4-algorithm
* [[Media:2019-1-3-proof.pdf | 1-3-proof.pdf (魏)]]
* [[Media:2019-1-3-proof-handout.pdf | 1-3-proof-handout.pdf (魏)]]
| 
* 尾递归
# [[Media:1-4-TailRecursion-姚梦雨.pptx | 姚梦雨]]
# [[Media:1-4-TailRecursion-刘闵.pptx | 刘闵]]
* 结构化程序设计
# [[Media:1-4-SP-彭泽.pptx | 彭泽]]
# [[Media:1-4-SP-马文洁.zip | 马文洁]]
|
|-
| 2019-11-07
| 1-5-data-structure
* [[Media:2019-1-4-algorithm.pdf ‎| 1-4-algorithm.pdf (魏)]]
* [[Media:2019-1-4-algorithm-handout.pdf ‎| 1-4-algorithm-handout.pdf (魏)]]
| 
* Pointers and Arrays
# [[Media:2019-1-5-Pointer-诸高骅.zip | 诸高骅]] 
# [[Media:2019-1-5-Pointer-严泽宇.pptx | 严泽宇]]
* Sequential Containers in C++ STL
# [[Media:2019-1-5-STL-黄泽雨.pptx | 黄泽雨]]
# [[Media:2019-1-5-STL-曹雨森.pptx | 曹雨森]]
|
* [https://plato.stanford.edu/entries/recursive-functions/ Recursive Functions]
  递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。
|-
| 2019-11-14
| 1-6-programming-language
* [[Media:2019-1-5-data-structure-I.pdf ‎| 1-5-data-structure-I.pdf (魏)]]
* [[Media:2019-1-5-data-structure-I-handout.pdf ‎| 1-5-data-structure-I-handout.pdf (魏)]]
| 
* 正则表达式
# 王子鉴
# 吴煜青
* 程序设计语言的语义
# 张涛
# 乔志鹏
|
* "The Art of Computer Programming" (Vol 4A) by Donald Knuth
  Section 7.2.1.2 for "Generating All Permutations"
|-
| 2019-11-21
| 1-7-programming-paradigm
* [[Media:2019-1-5-data-structure-II.pdf ‎| 1-5-data-structure-II.pdf (魏)]]
* [[Media:2019-1-5-data-structure-II-handout.pdf ‎| 1-5-data-structure-II-handout.pdf (魏)]]
* [[Media:2019-1-6-programming-language.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-11-28
| 1-8-set
| 
* 集合表示自然数
# 赵超懿
# 屈力
* 选择公理
# 马传龙
# 马成功
|
|}