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