2021级--小班讨论 (第一学期)

来自问题求解
Majun讨论 | 贡献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