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