Mathematik I - Diskrete Strukturen und Logik (WS 2017/18) - tele-TASK
By Prof. Dr. Christoph Meinel
Listen to a podcast, please open Podcast Republic app. Available on Google Play Store and Apple App Store.
Image by Prof. Dr. Christoph Meinel
Category: Courses
Open in Apple Podcasts
Open RSS feed
Open Website
Rate for this podcast
Subscribers: 1
Reviews: 0
Episodes: 25
Description
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
| Episode | Date |
|---|---|
|
Mathematische Strukturen
|
Feb 08, 2018 |
|
Zufallsvariablen
|
Feb 07, 2018 |
|
Zufallsexperimente und Wahrscheinlichkeiten
|
Feb 06, 2018 |
|
Pascalsches Dreieck
|
Jan 31, 2018 |
|
Kombinatorik
|
Jan 30, 2018 |
|
Beweise vermittels Induktion
|
Jan 24, 2018 |
|
Kombinatorische Beweise
|
Jan 23, 2018 |
|
Grundlegende Beweisstrategien
|
Jan 17, 2018 |
|
Abzählbarkeit
|
Jan 16, 2018 |
|
Vollständige Induktion
|
Jan 10, 2018 |
|
Eigenschaften von Abbildungen
|
Jan 09, 2018 |
|
Abbildungen und Funktionen
|
Dec 20, 2017 |
|
Äquivalenzrelationen - Erweiterung
|
Dec 19, 2017 |
|
Rechnen mit Äquivalenzrelationen
|
Dec 11, 2017 |
|
Äquivalenzrelationen - Zerlegung
|
Dec 06, 2017 |
|
Äquivalenzrelationen
|
Dec 04, 2017 |
|
Halbordnungen
|
Nov 28, 2017 |
|
Eigenschaften von Relationen
|
Nov 15, 2017 |
|
Relationen
|
Nov 14, 2017 |
|
Weitere Mengenoperationen
|
Nov 07, 2017 |
|
Mengenkonstruktionen
|
Nov 01, 2017 |
|
Mengen
|
Oct 25, 2017 |
|
Aussageformen
|
Oct 24, 2017 |
|
Aussagenlogik - Aussageformen
|
Oct 18, 2017 |
|
Aussagen
|
Oct 17, 2017 |