|
|
| （未显示同一用户的4个中间版本） |
| 第9行： |
第9行： |
| | (供感兴趣的同学自学使用) | | (供感兴趣的同学自学使用) |
| | |- | | |- |
| − | | 2021-09-27/10-11 | + | | 2023-09-18 |
| | | | | | |
| − | 1-1-why [[media:1-1_Why.pptx|习题讲解]] | + | * 1-1-why 习题讲解 |
| | | | | | |
| | * 假币问题 | | * 假币问题 |
| − | # 龚至诚 | + | # 潘谟天 |
| − | # 赵烜呈 | + | # 张恒达 |
| | * 汉诺塔问题 | | * 汉诺塔问题 |
| − | # 黄俊荣 | + | # 施俞成 |
| − | # 潘昕田 | + | # 高亮节 |
| − | | |
| − | [https://box.nju.edu.cn/d/008a4431bd5c406cadf3/ ppt链接]
| |
| | | | | | |
| − | * [[Media:Counterfeit Coin Problems (MAA 1977).pdf | Counterfeit Coin Problems (1977)]]
| |
| − | 理解解题思路，完善解题细节
| |
| | |- | | |- |
| − | | 2021-10-18 | + | | 2023-09-25 |
| − | | 1-2-reasoning[[media:1-2_Reasoning.pptx|习题讲解]]
| |
| | | | | | |
| − | * 命题逻辑的自然推理系统 + Coq | + | * 1-2-reasoning 习题讲解 |
| − | # [[media:1-2-自然推理系统(lcx).pptx|李成蹊]]
| + | | |
| − | # [[media:自然推理系统(刘熹橦).pptx|刘熹橦]] | + | * 自然推理系统 |
| − | # [[media:自然推理系统-蔡昊润.pptx|蔡昊润]] * | + | # 陈泓毅 |
| | + | # 陈小川 |
| | * 前束范式 | | * 前束范式 |
| − | # [[media:1-2-前束范式(朱家辰).pptx|朱家辰]] | + | # 陈昊奕 |
| − | # [[media:1-2-PNF-李杨彬.pptx|李杨彬]] | + | # 熊俊淇 |
| | | | | | |
| | |- | | |- |
| − | | 2021-10-25 | + | | 2023-10-09 |
| − | | 1-3-proof [[media:作业反馈1-3_.pptx|习题讲解]]
| |
| − | # [[media:2021-Permutation_Generation.pptx|排列生成]]
| |
| | | | | | |
| − | * Induction + Coq | + | * 1-3-proof 习题讲解 |
| − | # [[media:COQ中数学归纳法的使用-徐沐杰.pptx|徐木杰]]*
| + | | |
| − | # [[media:如何在Coq中使用(王雷宇).pptx|王雷宇]] | + | * Color Balls |
| − | # [[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)
| |
| − | 再体会一下"Double Counting"的神奇之处。一开始会觉得困难，但当你一旦理解了，事情就变得非常简单而优雅。
| |
| − | * 《逻辑的引擎》前三章
| |
| | |- | | |- |
| − | | 2021-11-1 | + | | 2023-10-16 |
| − | | 1-4-algorithm[[media:2021-作业反馈1-4.pptx|习题讲解]] | + | | |
| | + | * 1-4-algorithm 习题讲解 |
| | | | | | |
| | * 尾递归 | | * 尾递归 |
| − | # [[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|孙骞]]*
| |
| | | | | | |
| | |- | | |- |
| − | | 2021-11-08 | + | | 2023-10-23 |
| − | | 1-5-data-structure[[media:2021作业反馈1-5.pptx|习题讲解]] | + | | |
| | + | * 1-5-data-structure 习题讲解 |
| | | | | | |
| | * 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]
| |
| − | 递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。
| |
| | |- | | |- |
| | + | | 2023-10-30 |
| | | | | | |
| − | | 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
| |
| − | Section 7.2.1.2 for "Generating All Permutations"
| |
| − | * [https://zhzluke96.github.io/prolog-tut-cn/tut/chapter1.html) Prolog入门]
| |
| − | |-
| |
| − | |
| |
| − | | 1-7-programming-paradigm
| |
| − | |
| |
| − | * 𝜆 𝑐𝑎𝑙𝑐𝑢𝑙𝑢𝑠
| |
| − | # [[media:Lambda_calculus_缪天顺.pptx|缪天顺]]
| |
| − | # [[media:Lambda_calculus_胡嘉欣.pptx|胡嘉欣]]
| |
| − | # [[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
| |
| − | Section 2.2.1 for "Stackable/Queueable Permutations"
| |
| − | |-
| |
| − | | 2021-11-29
| |
| − | | 1-8-set [[media:2021-作业反馈1-8.pptx|习题反馈]]
| |
| − | |
| |
| − | * 集合表示自然数
| |
| − | * 选择公理
| |
| − | |
| |
| − | * [https://book.douban.com/subject/1248211/ 《选择公理》，作者：赵希顺]
| |
| − | |-
| |
| − | |
| |
| − | | 1-9-relation
| |
| − | |
| |
| − | * 关系
| |
| − | * 实数理论
| |
| − | |
| |
| − | |-
| |
| − | |
| |
| − | | [[media:2021-作业反馈1-10.pptx|1-10-function]]
| |
| − | |
| |
| − | * Lambda 演算
| |
| − | * 递归函数论
| |
| − | |
| |
| − | |-
| |
| − | |
| |
| − | | [[media:作业反馈1-11.pptx|1-11-infinity]]
| |
| − | |
| |
| − | * 基数
| |
| − | | |
| − | * 序数
| |
| | | | | | |
| | |- | | |- |
| | + | | 2023-11-06 |
| | | | | | |
| − | | 复习
| + | * 1-6-programming-paradigm 习题讲解 |
| | | | | | |
| − | * Dilworth's Theorem | + | * Lambda Calculus |
| − | * Lattice of Stable Matchings | + | # 邢俊书 |
| | + | * 函数式编程 |
| | + | # 朱宇曦 |
| | | | | | |
| | |} | | |} |
