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

来自问题求解
跳转至: 导航搜索
学习周历
Whf讨论 | 贡献
学习周历
第36行: 第36行:
 
|
 
|
 
|-
 
|-
| 2020-03-3
+
| 2020-03-03
 
| 2-1-correctness
 
| 2-1-correctness
 
*[[Media:习题2-1.pptx | 习题2-1讲解]]
 
*[[Media:习题2-1.pptx | 习题2-1讲解]]
第49行: 第49行:
 
* [[Media:2019-2-1-correctness.pdf ‎| 2019-2-1-correctness.pdf]]
 
* [[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: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-03-10
 +
| 2-2-efficiency
 +
*
 +
|
 +
* Decision Tree Model
 +
# 李晗
 +
# 吴煜青
 +
* Adversary Argument
 +
#
 +
# 黄泽雨
 +
|
 +
* [[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
  1. 黄泽雨
 (阅读建议: 不必一次性读完 (这也不太现实); 
  先阅读第一章,从宏观角度理解循环不变式。
  再对照目录,在适当时候阅读相应算法。)