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
Last revisionBoth sides next revision
lectures:2017:cs204 [2017-11-13] – [Homework/Assignments/Recitation] Martin Zieglerlectures:2017:cs204 [2018-03-25] – [Synopsis (tentative)] Martin Ziegler
Line 21: Line 21:
 ===== Synopsis (tentative) ===== ===== Synopsis (tentative) =====
  
-  - Ordered List ItemBasic Structures: Sets, Functions, Sequences+  - Basic Structures: Sets
   - Logical Foundations, propositions, quantifiers   - Logical Foundations, propositions, quantifiers
   - Proof strategies: constructive, indirect/contradiction, cases, induction   - Proof strategies: constructive, indirect/contradiction, cases, induction
   - Relations, order, equivalence   - Relations, order, equivalence
 +  - Functions, Sequences, Strings
   - Elementary algorithms and their analysis \\ \\ Mid-term \\ \\   - Elementary algorithms and their analysis \\ \\ Mid-term \\ \\
   - Combinatorics and Counting   - Combinatorics and Counting
Line 31: Line 32:
   - Graph Theory   - Graph Theory
   - Trees/Automata \\ \\ Final   - Trees/Automata \\ \\ Final
- 
 ===== Homework/Assignments/Recitation ===== ===== Homework/Assignments/Recitation =====
  
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. \\