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:32:43 |
|---|
| Tautologien | 01:33:06 |
|---|
| Mengenoperationen | 01:29:14 |
|---|
| Weitere Mengenoperationen | 01:29:15 |
|---|
| Relationen | 00:47:07 |
|---|
| Eigenschaften von Relationen | 01:31:17 |
|---|
| Äquivalenzrelationen - Zerlegung | 01:29:37 |
|---|
| Rechnen mit Äquivalenzrelationen | 01:33:00 |
|---|
| Abbildungen und Funktionen | 01:22:04 |
|---|
| Eigenschaften von Abbildungen | 01:32:23 |
|---|
| Eigenschaften von Abbildungen 2 | 01:33:39 |
|---|
| Folgen und Mengenfamilien | 01:25:29 |
|---|
| Vollständige Induktion | 01:30:54 |
|---|
| Grundlegende Beweisstrategien | 01:33:02 |
|---|
| Zählen - Kombinatorik | 01:33:43 |
|---|
| Zählen (Fortsetzung) | 01:00:10 |
|---|
| Diskrete Stochastik | 01:27:25 |
|---|
| Diskrete Stochastik (Fortsetzung) | 01:28:15 |
|---|
| Zufallsvariablen | 01:33:47 |
|---|
