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

来自问题求解
Majun（讨论 | 贡献）2021年12月6日 (一) 10:33的版本 （→‎学习周历）

(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转至： 导航、 搜索

学习周历

2019级问题求解课程第一学期学生名单-20190925-分班表
日期 论题 Open Topics
  • 1: 227（马）
  • 2: 228 (魏)）
 扩展材料

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

2019-10-10

1-1-why

  • 1-1-why-扫描版 (魏)
  • 假币问题
  1. 高灏
  2. 戴一帆
  • 汉诺塔问题
  1. 林海波
  2. 朱宇博
  • Counterfeit Coin Problems (1977)
 理解解题思路，完善解题细节
2019-10-17 1-2-reasoning
  • 1-2-reasoning-扫描版 (魏)
  • 命题逻辑的自然推理系统 + Coq
  1. 陈弘毅
  2. 吴煜青
  • 前束范式
  1. 贾林杰
  2. 张浩宇
2019-10-24 1-3-proof
  • 1-2-reasoning.pdf (魏)
  • 1-2-reasoning-handout.pdf (魏)
  • Induction + Coq
  1. 李晗
  2. 曹恒源
  • Double Counting
  1. 浦亮
  2. 周晓
  • 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
  • 1-3-proof.pdf (魏)
  • 1-3-proof-handout.pdf (魏)
  • 尾递归
  1. 姚梦雨
  2. 刘闵
  • 结构化程序设计
  1. 彭泽
  2. 马文洁
2019-11-07 1-5-data-structure
  • 1-4-algorithm.pdf (魏)
  • 1-4-algorithm-handout.pdf (魏)
  • Pointers and Arrays
  1. 诸高骅
  2. 严泽宇
  • Sequential Containers in C++ STL
  1. 黄泽雨
  2. 曹雨森
 
 递归函数论。感受可计算性的概念。思考 Bounded Iteration 与 Unbounded Iteration 的本质区别。
2019-11-14 1-6-programming-language
  • 1-5-data-structure-I.pdf (魏)
  • 1-5-data-structure-I-handout.pdf (魏)
  • 正则表达式
  1. 王子鉴
  2. 吴煜青
  • 程序设计语言的语义
  1. 张涛
  2. 乔志鹏
  • "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
  • 1-5-data-structure-II.pdf (魏)
  • 1-5-data-structure-II-handout.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
  • 2019-1-8-set.pdf (魏)
  • 2019-1-8-set-handout.pdf (魏)
  • 集合表示自然数
  1. 赵超懿
  2. 屈力
  • 选择公理
  1. 马传龙
  2. 马成功
2019-12-05 1-9-relation
  • 2019-1-9-relation.pdf (魏)
  • 2019-1-9-relation-handout.pdf (魏)
  • 关系
  1. 陈驰
  2. 孙伟杰
  • 实数理论
  1. 曹蔚宁
  2. 毛子钰
2019-12-12 1-10-function
  • 2019-1-10-function.pdf (魏)
  • 2019-1-10-function-handout.pdf (魏)
  • Lambda 演算
  1. 金前程
  2. 马文洁
  • 递归函数论
  1. 郝博强
  2. 林荣恩
2019-12-19 1-11-infinity
  • 2019-1-11-infinity.pdf (魏)
  • 2019-1-11-infinity-handout.pdf (魏)
  • 基数
  1. 宋天惠
  2. 王康浩
  • 序数
  1. 方宇航
  2. 史丰萁
2019-12-26 复习
  • 2017-1-exam.pdf (魏)
  • 2017-1-exam-handout.pdf (魏)
  • Dilworth's Theorem
  1. 徐一鸣
  2. 蒋晟
  • Lattice of Stable Matchings
  1. 刘嘉诚
  2. 胡涛
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2019级--小班讨论_(第一学期)&oldid=4640”