| Themen | Übungen | vorbereitendes Lesen | weitere Materialien | |
|---|---|---|---|---|
| 1 | Einführung (pdf), Einführung Teil 2(pdf) | SetlX Tutorial siehe LON-CAPA | ||
| 2 | Elementare Logik (pdf) | Übungen 2 | Seite 1-10 | |
| 3 | Mengenlehre (pdf) | Übungen 3 | Seite 10-16 | |
| 4 | Schaltalgebra (pdf) | (auch in LON-CAPA) | Seite 16-24 | |
| 5 | Relationen (pdf) | Siehe LON-CAPA | Seite 142-149 | optional: Seite 152-154 |
| 6 | Funktionen (pdf) | Siehe LON-CAPA | Seite 155-162 | |
| 7 | Vollständige Induktion, Beweisverfahren (pdf) | Siehe LON-CAPA | Seite 46-50, Seite 167-168 | als bekannt vorausgesetzt: Seite 35-44 |
| 8 | Teilbarkeit, Primzahlen, Modulo (pdf) | Siehe LON-CAPA | Seite 57-60, 75-81 | |
| 9 | Gruppen, Ringe, Körper (pdf) | Siehe LON-CAPA | Seite 81-91 | |
| 10 | Graphentheorie (pdf) | Siehe LON-CAPA | Seite 415-421 | |
| 11 | Graphentheorie (pdf) | Siehe LON-CAPA | Seite 421-431 | |
| 12 | Ordnungen und Verbände (pdf) | Siehe LON-CAPA | Seite 149-151 und Seite 3-7 aus diesem englischen Text | Wikipedia: Formale Begriffsanalyse |
| 13 | Kombinatorik (pdf) | Siehe LON-CAPA | Seite 203-214 | |