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

来自问题求解
跳转至： 导航、 搜索
（→‎学习周历： +2018-03-19 习题课）
Whf（讨论 | 贡献）
小 （→‎学习周历： formatting）
第32行： 第32行：
 
|
 
|
 
* [https://en.wikipedia.org/wiki/Hoare_logic Hoare Logic@wiki]: [[Media:An_Axiomatic_Basis_for_Computer_Programming_(Hoare_CACM69).pdf | An Axiomatic Basis for Computer Programming (Hoare CACM69).pdf]]
 
* [https://en.wikipedia.org/wiki/Hoare_logic Hoare Logic@wiki]: [[Media:An_Axiomatic_Basis_for_Computer_Programming_(Hoare_CACM69).pdf | An Axiomatic Basis for Computer Programming (Hoare CACM69).pdf]]
−
(阅读目的: 了解 Hoare Logic。)
+
  (阅读目的: 了解 Hoare Logic。)
 
|-
 
|-
 
|  
 
|  
第49行： 第49行：
 
|
 
|
 
* [[Media:ArXiv12_1211.4470_(CSUR12)_Loop_Invariants_Analysis_Classification_and_Examples.pdf | Paper: Loop Invariants Analysis Classification and Examples.pdf]]
 
* [[Media:ArXiv12_1211.4470_(CSUR12)_Loop_Invariants_Analysis_Classification_and_Examples.pdf | Paper: Loop Invariants Analysis Classification and Examples.pdf]]
−
(阅读建议: 不必一次性读完 (这也不太现实); 先阅读第一章，从宏观角度理解循环不变式。再对照目录，在适当时候阅读相应算法。)
+
  (阅读建议: 不必一次性读完 (这也不太现实);  
 +
  先阅读第一章，从宏观角度理解循环不变式。
 +
  再对照目录，在适当时候阅读相应算法。)
 
|}
 
|}

2018年3月19日 (一) 17:04的版本

学习周历

日期 论题 Open Topics

(分班表)

扩展材料
2018-03-05

( 1-exam-handout.pdf)

  • 无

2018-03-12

  • Insertion Sort
  1. 刘恩萌
  2. 姜勇刚
  3. 张天昀
  • Cyclic Hanoi
  1. 李凯旭
  2. 郑奘巍
  3. 董杨静
 
 (阅读目的: 了解 Hoare Logic。)

2018-03-19

  • Algorithmic Gap
  1. 王腾
  2. 李顶为
  3. 肖江
  • Asymptotic Notations
  1. 马常风
  2. 黄秉焜
  3. 吕云哲
 
 (阅读建议: 不必一次性读完 (这也不太现实); 
  先阅读第一章，从宏观角度理解循环不变式。
  再对照目录，在适当时候阅读相应算法。)
取自“http://cslabcms.nju.edu.cn/problem_solving/index.php?title=2017级--小班讨论_(第二学期)&oldid=2362”