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-24] – [Homework/Assignments/Recitation] hhosu107lectures: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 =====