Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
lectures:2017:cs204 [2017-11-13] – [Homework/Assignments/Recitation] Martin Zieglerlectures:2017:cs204 [2018-03-25] (current) – old revision restored (2017-12-06) Martin Ziegler
Line 21: Line 21:
 ===== Synopsis (tentative) ===== ===== Synopsis (tentative) =====
  
-  - Ordered List ItemBasic Structures: Sets, Functions, Sequences+  - Basic Structures: Sets, Functions, Sequences
   - Logical Foundations, propositions, quantifiers   - Logical Foundations, propositions, quantifiers
   - Proof strategies: constructive, indirect/contradiction, cases, induction   - Proof strategies: constructive, indirect/contradiction, cases, induction
Line 46: Line 46:
   * {{:lectures:2017:cs204c_hw05.pdf|Homework 5}} (Due: 23:59 November 12) (Edited, 18:30 November 10)   * {{:lectures:2017:cs204c_hw05.pdf|Homework 5}} (Due: 23:59 November 12) (Edited, 18:30 November 10)
   * {{:lectures:2017:cs204c_hw06.pdf|Homework 6}} (Due: 14:40 November 17)   * {{:lectures:2017:cs204c_hw06.pdf|Homework 6}} (Due: 14:40 November 17)
 +  * {{:lectures:2017:cs204c_hw07.pdf|Homework 7}} (Due: 14:40 November 24)
 +  * {{:lectures:2017:cs204c_hw08.pdf|Homework 8}} (Due: 09:00 December 4) (Edited at 23:23 November 24)
  
 In collaboration with CS204A and CS204B, TAs will offer optional recitation classes: Wednesdays 7~8pm #1220, starting September 6. \\  In collaboration with CS204A and CS204B, TAs will offer optional recitation classes: Wednesdays 7~8pm #1220, starting September 6. \\