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

来自问题求解
跳转至： 导航、 搜索
（创建页面，内容为“== 学习周历 == {| border=1 ! 日期 ! 论题 ! Open Topics ! 扩展材料 (供感兴趣的同学自学使用) |- | 2019-10-10 | 1-1-why | * 假币问题 *...”）
 
（→‎学习周历）
 
（未显示同一用户的63个中间版本）
第9行： 第9行：
 
(供感兴趣的同学自学使用)
 
(供感兴趣的同学自学使用)
 
|-
 
|-
−
| 2019-10-10
+
| 2021-09-27/10-11
 
|  
 
|  
−
1-1-why
+
1-1-why [[media:1-1_Why.pptx|习题讲解]]
 
|  
 
|  
 
* 假币问题
 
* 假币问题
 +
# 龚至诚
 +
# 赵烜呈
 
* 汉诺塔问题
 
* 汉诺塔问题
 +
# 黄俊荣
 +
# 潘昕田
 +
 +
[https://box.nju.edu.cn/d/008a4431bd5c406cadf3/ ppt链接]
 
|
 
|
 
* [[Media:Counterfeit Coin Problems (MAA 1977).pdf | Counterfeit Coin Problems (1977)]]
 
* [[Media:Counterfeit Coin Problems (MAA 1977).pdf | Counterfeit Coin Problems (1977)]]
 
   理解解题思路，完善解题细节
 
   理解解题思路，完善解题细节
 
|-
 
|-
−
| 2019-10-17
+
| 2021-10-18
−
| 1-2-reasoning
+
| 1-2-reasoning[[media:1-2_Reasoning.pptx|习题讲解]]
 
|  
 
|  
 
* 命题逻辑的自然推理系统 + Coq
 
* 命题逻辑的自然推理系统 + Coq
 +
# [[media:1-2-自然推理系统(lcx).pptx|李成蹊]]
 +
# [[media:自然推理系统(刘熹橦).pptx|刘熹橦]]
 +
# [[media:自然推理系统-蔡昊润.pptx|蔡昊润]] *
 
* 前束范式
 
* 前束范式
 +
# [[media:1-2-前束范式(朱家辰).pptx|朱家辰]]
 +
# [[media:1-2-PNF-李杨彬.pptx|李杨彬]]
 
|
 
|
 
|-
 
|-
−
| 2019-10-24
+
| 2021-10-25
−
| 1-3-proof
+
| 1-3-proof [[media:作业反馈1-3_.pptx|习题讲解]]
 +
# [[media:2021-Permutation_Generation.pptx|排列生成]]
 
|  
 
|  
 
* Induction + Coq
 
* Induction + Coq
 +
# [[media:COQ中数学归纳法的使用-徐沐杰.pptx|徐木杰]]*
 +
# [[media:如何在Coq中使用(王雷宇).pptx|王雷宇]]
 +
# [[media:Coq李鸿毅_录像.pptx|李鸿毅]]*
 
* Double Counting
 
* Double Counting
 +
# [[media:21毕然OT1-3-2.pptx|毕然]]
 +
# 陆一阳
 
|
 
|
 
*  Chapter 30 ``Cayley's formula for the number of trees'' of ``Proofs from THE BOOK'' (Fourth Edition)
 
*  Chapter 30 ``Cayley's formula for the number of trees'' of ``Proofs from THE BOOK'' (Fourth Edition)
第36行： 第53行：
 
* 《逻辑的引擎》前三章
 
* 《逻辑的引擎》前三章
 
|-
 
|-
−
| 2019-10-31
+
| 2021-11-1
−
| 1-4-algorithm
+
| 1-4-algorithm[[media:2021-作业反馈1-4.pptx|习题讲解]]
 
|  
 
|  
 
* 尾递归
 
* 尾递归
 +
# [[media:尾递归-林朗.pptx|林朗]]
 +
# [[media:尾递归-陈荣锴.pptx|陈荣锴]]*
 +
# [[media:尾递归(杨梓宣).pptx|杨梓宣]]*
 +
# [[media:OT-尾递归-刘博悦.zip|刘博悦]]*
 
* 结构化程序设计
 
* 结构化程序设计
 +
# [[media:1-4-OT-structured_programming陈冀轩.pptx|陈冀轩]]
 +
# [[media:梁子奇11.1OT.pptx|梁子奇]]
 +
# [[media:OT_by_尹杰.pptx|尹杰]]*
 +
#[[media:211240059孙骞.pptx|孙骞]]*
 
|
 
|
 
|-
 
|-
−
| 2019-11-07
+
| 2021-11-08
−
| 1-5-data-structure
+
| 1-5-data-structure[[media:2021作业反馈1-5.pptx|习题讲解]]
 
|  
 
|  
 
* Pointers and Arrays
 
* Pointers and Arrays
 +
# [[media:1-5-Pointer-邓振霄.pptx|邓振霄]]
 +
# [[media:李昕怡.pptx|李昕怡]]
 +
# [[media:指针与数组-张明轩.pptx|张明轩]]*
 +
# [[media:211240024蔡羽童.pptx|蔡羽童]]
 
* Sequential Containers in C++ STL
 
* Sequential Containers in C++ STL
 +
# [[media:OT-STL-胡皓明.pptx|胡皓明]]
 +
# [[media:OT2-盖伟业-211240081.pptx|盖伟业]]
 
|
 
|
 
* [https://plato.stanford.edu/entries/recursive-functions/ Recursive Functions]
 
* [https://plato.stanford.edu/entries/recursive-functions/ Recursive Functions]
 
   递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。
 
   递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。
 
|-
 
|-
−
| 2019-11-14
+
|  
 
| 1-6-programming-language
 
| 1-6-programming-language
 
|  
 
|  
 
* 正则表达式
 
* 正则表达式
 +
# [[media:OT正则表达式-徐妍.pptx|徐妍]]
 +
# [[media:韩博侨.pptx|韩博侨]]
 +
# [[media:正则表达式-郭佳茵.pptx|郭佳茵]]
 +
# [[media:正则表达式-林凡琪.pptx|林凡琪]]
 
* 程序设计语言的语义
 
* 程序设计语言的语义
 +
# [[media:1-6-OT-陈楚安.pptx|陈楚安]]
 +
# [[media:11-15_OT2_杨镇源.pptx|杨镇源]]
 +
# [[media:Week6_OT-2_马尧_211240004.pptx|马尧]]
 +
# [[media:OT-2-姜凯.pptx|姜凯]]
 
|
 
|
 
* "The Art of Computer Programming" (Vol 4A) by Donald Knuth
 
* "The Art of Computer Programming" (Vol 4A) by Donald Knuth
 
   Section 7.2.1.2 for "Generating All Permutations"
 
   Section 7.2.1.2 for "Generating All Permutations"
 +
* [https://zhzluke96.github.io/prolog-tut-cn/tut/chapter1.html) Prolog入门]
 
|-
 
|-
−
| 2019-11-21
+
|  
 
| 1-7-programming-paradigm
 
| 1-7-programming-paradigm
 
|  
 
|  
−
* 高阶函数
+
* 𝜆 𝑐𝑎𝑙𝑐𝑢𝑙𝑢𝑠
−
#  
+
# [[media:Lambda_calculus_缪天顺.pptx|缪天顺]]
−
#  
+
# [[media:Lambda_calculus_胡嘉欣.pptx|胡嘉欣]]
−
* Church Numeral
+
# [[media:Ot1-李昀芃.zip|李昀芃]]
−
#  
+
* Functional Programming
−
#  
+
# [[media:Functional_Programming_赵欣玥.pptx|赵欣玥]]
 +
# [[media:函数式编程中_王彦翔.pptx|王彦翔]]
 +
# [[media:211240043胡德韬2班week7ot2.zip|胡德韬]]
 
|
 
|
 
* "The Art of Computer Programming" (Vol 1) by Donald Knuth
 
* "The Art of Computer Programming" (Vol 1) by Donald Knuth
 
   Section 2.2.1 for "Stackable/Queueable Permutations"
 
   Section 2.2.1 for "Stackable/Queueable Permutations"
 
|-
 
|-
−
| 2019-11-28
+
| 2021-11-29
−
| 1-8-set
+
| 1-8-set [[media:2021-作业反馈1-8.pptx|习题反馈]]
 
|  
 
|  
 
* 集合表示自然数
 
* 集合表示自然数
第82行： 第124行：
 
* [https://book.douban.com/subject/1248211/ 《选择公理》，作者：赵希顺]
 
* [https://book.douban.com/subject/1248211/ 《选择公理》，作者：赵希顺]
 
|-
 
|-
−
| 2019-12-05
+
|  
 
| 1-9-relation
 
| 1-9-relation
 
|  
 
|  
第89行： 第131行：
 
|
 
|
 
|-
 
|-
−
| 2019-12-12
+
|  
−
| 1-10-function
+
| [[media:2021-作业反馈1-10.pptx|1-10-function]]
 
|  
 
|  
 
* Lambda 演算
 
* Lambda 演算
第96行： 第138行：
 
|
 
|
 
|-
 
|-
−
| 2019-12-19
+
|  
−
| 1-11-infinity
+
| [[media:作业反馈1-11.pptx|1-11-infinity]]
 
|  
 
|  
 
* 基数
 
* 基数
第104行： 第146行：
 
|
 
|
 
|-
 
|-
−
| 2019-12-26
+
|  
 
| 复习
 
| 复习
 
|  
 
|  

2021年12月20日 (一) 07:51的最新版本

学习周历

日期 论题 Open Topics 扩展材料

(供感兴趣的同学自学使用)

2021-09-27/10-11

1-1-why 习题讲解

  • 假币问题
  1. 龚至诚
  2. 赵烜呈
  • 汉诺塔问题
  1. 黄俊荣
  2. 潘昕田

ppt链接 

 理解解题思路，完善解题细节
2021-10-18 1-2-reasoning习题讲解
  • 命题逻辑的自然推理系统 + Coq
  1. 李成蹊
  2. 刘熹橦
  3. 蔡昊润 *
  • 前束范式
  1. 朱家辰
  2. 李杨彬
2021-10-25 1-3-proof 习题讲解
  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"的神奇之处。一开始会觉得困难，但当你一旦理解了，事情就变得非常简单而优雅。
  • 《逻辑的引擎》前三章
2021-11-1 1-4-algorithm习题讲解
  • 尾递归
  1. 林朗
  2. 陈荣锴*
  3. 杨梓宣*
  4. 刘博悦*
  • 结构化程序设计
  1. 陈冀轩
  2. 梁子奇
  3. 尹杰*
  4. 孙骞*
2021-11-08 1-5-data-structure习题讲解
  • Pointers and Arrays
  1. 邓振霄
  2. 李昕怡
  3. 张明轩*
  4. 蔡羽童
  • Sequential Containers in C++ STL
  1. 胡皓明
  2. 盖伟业
 
 递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。
1-6-programming-language
  • 正则表达式
  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"
1-7-programming-paradigm
  • 𝜆 𝑐𝑎𝑙𝑐𝑢𝑙𝑢𝑠
  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"
2021-11-29 1-8-set 习题反馈
  • 集合表示自然数
  • 选择公理
1-9-relation
  • 关系
  • 实数理论
1-10-function
  • Lambda 演算
  • 递归函数论
1-11-infinity
  • 基数
  • 序数
复习
  • Dilworth's Theorem
  • Lattice of Stable Matchings
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2021级--小班讨论_(第一学期)&oldid=4661”