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

来自问题求解
跳转至： 导航、 搜索
（→‎学习周历）
Whf（讨论 | 贡献）
（→‎学习周历）
第67行： 第67行：
 
# 黄泽雨
 
# 黄泽雨
 
|
 
|
−
* [[Media:2019-2-1-correctness.pdf ‎| 2019-2-1-correctness.pdf]]
+
*
−
* [[Media:2019-2-1-correctness-handout.pdf ‎| 2019-2-1-correctness-handout.pdf]]
 
−
 
 
−
* [[Media:ArXiv12_1211.4470_(CSUR12)_Loop_Invariants_Analysis_Classification_and_Examples.pdf | Paper: Loop Invariants: Analysis, Classification, and Examples.pdf]]
 
−
  (阅读建议: 不必一次性读完 (这也不太现实);
 
−
  先阅读第一章，从宏观角度理解循环不变式。
 
−
  再对照目录，在适当时候阅读相应算法。)
 
 
|}
 
|}

2020年3月4日 (三) 21:41的版本

学习周历

2019级问题求解课程第二学期-分班名单

日期 论题 Open Topics
  • 1（马）
  • 2（魏）
 扩展材料

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

2020-02-18

2019-1-final-exam

  • 无
2020-02-25 1-13-boolean-algebra
  • 卡诺图
  1. 王子鉴
  2. 朱宇博
  • 电路设计
  1. 浦亮
  2. 林海波
2020-03-03 2-1-correctness
  • Insertion Sort
  1. 曹雨森
  2. 彭泽
  • Cyclic Hanoi
  1. 史丰萁
  2. 陈弘毅
 
 (阅读建议: 不必一次性读完 (这也不太现实); 
  先阅读第一章，从宏观角度理解循环不变式。
  再对照目录，在适当时候阅读相应算法。)
2020-03-10 2-2-efficiency
  • Decision Tree Model
  1. 李晗
  2. 吴煜青
  • Adversary Argument
  2. 黄泽雨
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2019级--小班讨论_(第二学期)&oldid=3704”