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:28:36 |
|---|
| Tautologien | 01:26:32 |
|---|
| Aussageformen | 00:47:50 |
|---|
| Mengenlehre | 01:27:50 |
|---|
| Mengenkonstruktionen | 01:26:15 |
|---|
| Weitere Mengenoperationen | 01:30:14 |
|---|
| Beweistechniken | 01:24:32 |
|---|
| Eigenschaften von Relationen | 01:22:43 |
|---|
| Äquivalenzrelationen | 01:29:06 |
|---|
| Äquivalenzrelationen - Zerlegung | 01:23:42 |
|---|
| Rechnen mit Äquivalenzrelationen | 01:32:18 |
|---|
| Halbordnungsrelationen | 01:22:53 |
|---|
| Kombinatorische Beweise | 01:13:37 |
|---|
| Beweis durch vollständige Induktion | 01:18:54 |
|---|
| Kombinatorik | 01:26:40 |
|---|
| Binomialkoeffizienten | 01:20:31 |
|---|
| Diskrete Stochastik | 01:28:44 |
|---|
| Stochastik: Erwartungswert | 01:16:45 |
|---|
| Strukturen: Boolesche Algebren | 00:56:21 |
|---|
