Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| lectures:2017:cs204 [2018-03-25] – [Synopsis (tentative)] Martin Ziegler | lectures:2017:cs204 [2018-03-25] (current) – old revision restored (2017-12-06) Martin Ziegler | ||
|---|---|---|---|
| Line 21: | Line 21: | ||
| ===== Synopsis (tentative) ===== | ===== Synopsis (tentative) ===== | ||
| - | - Basic Structures: Sets | + | - Basic Structures: Sets, Functions, Sequences |
| - Logical Foundations, | - Logical Foundations, | ||
| - Proof strategies: constructive, | - Proof strategies: constructive, | ||
| - 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 32: | Line 31: | ||
| - Graph Theory | - Graph Theory | ||
| - Trees/ | - Trees/ | ||
| + | |||
| ===== Homework/ | ===== Homework/ | ||