“2019级--小班讨论 (第一学期)”的版本间的差异
来自问题求解
（→学习周历） |
（→学习周历） |
||
| 第135行： | 第135行： | ||
* 关系 | * 关系 | ||
# [[Media: | 陈驰]] | # [[Media: | 陈驰]] | ||
| − | # [[Media: | 孙伟杰]] | + | # [[Media:2019-1-9-Relation-孙伟杰.pptx | 孙伟杰]] |
* 实数理论 | * 实数理论 | ||
# [[Media: | 曹蔚宁]] | # [[Media: | 曹蔚宁]] | ||
| − | # [[Media: | 毛子钰]] | + | # [[Media:2019-1-9-Real-毛子钰.pptx | 毛子钰]] |
| | | | ||
|- | |- | ||
| 第148行： | 第148行： | ||
* Lambda 演算 | * Lambda 演算 | ||
# [[Media: | 金前程]] | # [[Media: | 金前程]] | ||
| − | # [[Media: | 李松原]] [[Media: | 马文洁]] | + | # [[Media:2019-1-10-Lambda-李松原.pptx | 李松原]] [[Media: | 马文洁]] |
* 递归函数论 | * 递归函数论 | ||
| − | # [[Media: | 郝博强]] | + | # [[Media:2019-1-10 recursive functions 郝博强.pptx | 郝博强]] |
| − | # [[Media: | 林荣恩]] | + | # [[Media:2019-1-10-Recursive-林荣恩.pdf | 林荣恩]] |
| | | | ||
|- | |- | ||
| 第160行： | 第160行： | ||
| | | | ||
* 基数 | * 基数 | ||
| − | # [[Media: | 宋天惠]] | + | # [[Media:2019-1-11-Cardinal-宋天惠.pptx | 宋天惠]] |
# [[Media: | 王康浩]] | # [[Media: | 王康浩]] | ||
* 序数 | * 序数 | ||
| − | # [[Media: | 方宇航]] | + | # [[Media:2019-1-11-Ordinal--方宇航.pptx | 方宇航]] |
# [[Media: | 史丰萁]] | # [[Media: | 史丰萁]] | ||
| | | | ||
| 第174行： | 第174行： | ||
* Dilworth's Theorem | * Dilworth's Theorem | ||
# [[Media: | 徐一鸣]] | # [[Media: | 徐一鸣]] | ||
| − | # [[Media: | 蒋晟]] | + | # [[Media:2019-1-12-Dilworth-蒋晟.pptx | 蒋晟]] |
* Lattice of Stable Matchings | * Lattice of Stable Matchings | ||
# [[Media: | 刘嘉诚]] | # [[Media: | 刘嘉诚]] | ||
| − | # [[Media: | 胡涛]] | + | # [[Media:2019-1-12-Stable MatchingLattice-胡涛.pptx | 胡涛]] |
| | | | ||
|} | |} | ||
2020年2月19日 (三) 12:40的版本
学习周历
2019级问题求解课程第一学期学生名单-20190925-分班表
| 日期 | 论题 | Open Topics
|
扩展材料
(供感兴趣的同学自学使用) |
|---|---|---|---|
| 2019-10-10 |
1-1-why |
|
理解解题思路，完善解题细节 |
| 2019-10-17 | 1-2-reasoning |
|
|
| 2019-10-24 | 1-3-proof |
|
再体会一下"Double Counting"的神奇之处。一开始会觉得困难，但当你一旦理解了，事情就变得非常简单而优雅。
|
| 2019-10-31 | 1-4-algorithm |
|
|
| 2019-11-07 | 1-5-data-structure |
|
递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。 |
| 2019-11-14 | 1-6-programming-language |
|
Section 7.2.1.2 for "Generating All Permutations" |
| 2019-11-21 | 1-7-programming-paradigm |
|
Section 2.2.1 for "Stackable/Queueable Permutations" |
| 2019-11-28 | 1-8-set |
|
|
| 2019-12-05 | 1-9-relation |
|
|
| 2019-12-12 | 1-10-function |
|
|
| 2019-12-19 | 1-11-infinity |
|
|
| 2019-12-26 | 复习 |
|
