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:29:42 |
|---|
| Tautologien | 01:32:30 |
|---|
| Aussageformen & Mengenlehre | 01:32:07 |
|---|
| Mengen und Mengenoperationen | 01:12:54 |
|---|
| Mengenkonstruktionen | 01:30:06 |
|---|
| Weitere Mengenoperationen | 01:28:21 |
|---|
| Mathematische Beweise & Relationen | 01:28:54 |
|---|
| Eigenschaften von Relationen | 01:25:53 |
|---|
| Äquivalenzrelationen | 01:39:15 |
|---|
| Äquivalenzrelationen - Zerlegung | 01:33:44 |
|---|
| Rechnen mit Äquivalenzrelationen | 01:34:59 |
|---|
| Halbordnungsrelationen | 01:26:20 |
|---|
| Abbildungen und Funktionen | 01:25:04 |
|---|
| Grundlegende Beweisstrategien | 01:37:26 |
|---|
| Vollständige Induktion | 01:28:36 |
|---|
| Zählen - Kombinatorik | 01:30:07 |
|---|
| Zählen Fortsetzung | 01:35:23 |
|---|
| Diskrete Stochastik | 01:28:48 |
|---|
| Strukturen: Boolesche Algebren | 01:26:41 |
|---|
| Strukturen: Boolesche Algebren (2) | 01:39:49 |
|---|
| Strukturen: Boolesche Algebren (3) | 01:30:38 |
|---|
