In der Veranstaltung werden die grundlegenden Begriffe und Methoden der (diskreten) Mathematik und der mathematischen Logik vermittelt. Es werden die folgenden drei Themenkomplexe behandelt:
Grundlagen: Aussagenlogik; Mengen und Mengenoperationen; Mathematisches Beweisen, Relationen und Funktionen
Techniken: Beweistechniken; vollständige Induktionen; Diskrete Stochastik
Wichtige diskrete Strukturen: Boolesche Algebren; Graphen und Bäume; Aussagen- und Prädikatenlogik; Endliche Arithmetik
| Aussagen | 01:31:00 |
|---|
| Tautologien | 01:28:35 |
|---|
| Aussageformen | 01:48:19 |
|---|
| Mengen und Mengenoperationen | 01:35:00 |
|---|
| Mengenkonstruktionen | 01:26:42 |
|---|
| Mengenlehre Fortsetzung | 01:37:32 |
|---|
| Relationen | 01:41:18 |
|---|
| Eigenschaften von Relationen | 01:19:42 |
|---|
| Äquivalenzrelationen | 01:28:08 |
|---|
| Äquivalenzrelationen - Zerlegung | 01:12:41 |
|---|
| Rechnen mit Äquivalenzrelationen | 01:28:44 |
|---|
| Halbordnungsrelationen | 01:32:16 |
|---|
| Grundlegende Beweisstrategien | 01:30:42 |
|---|
| Zählen - Kombinatorik | 01:37:41 |
|---|
| Zählen Fortsetzung | 01:23:43 |
|---|
| Diskrete Stochastik | 01:23:44 |
|---|
