Mathematik I - Diskrete Strukturen und Logik (WS 2014/2015) - 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: 2
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 |
|---|---|
|
Diskrete Stochastik
|
Feb 12, 2015 |
|
Kombinatorik
|
Feb 04, 2015 |
|
Kombinationen, Permutationen und Binomialkoeffizienten
|
Feb 03, 2015 |
|
Zählen
|
Jan 28, 2015 |
|
Induktive Definitionen, Zählen
|
Jan 27, 2015 |
|
Vollständige Induktion
|
Jan 20, 2015 |
|
Beweisstrategien
|
Jan 14, 2015 |
|
Unendlichkeit
|
Jan 07, 2015 |
|
Spezielle Abbildungen - Folgen und Mengenfamilien
|
Jan 06, 2015 |
|
Arten von Abbildungen
|
Jan 05, 2015 |
|
Abbildungen und Funktionen
|
Dec 17, 2014 |
|
Halbordnungsrelationen und Schranken
|
Dec 10, 2014 |
|
Halbordnungsrelationen
|
Dec 09, 2014 |
|
Rechnen mit Äquivalenzrelationen
|
Dec 02, 2014 |
|
Äquivalenzrelationen - Klassen und Zerlegungen
|
Nov 26, 2014 |
|
Äquivalenzrelationen
|
Nov 25, 2014 |
|
Eigenschaften von Relationen
|
Nov 19, 2014 |
|
Relationen
|
Nov 18, 2014 |
|
Idempotenz
|
Nov 17, 2014 |
|
Teilmengen und Potenzmengen
|
Nov 10, 2014 |
|
Mengenkonstrukte
|
Oct 30, 2014 |
|
Mengen
|
Oct 29, 2014 |
|
Aussageformen und Quantoren
|
Oct 22, 2014 |
|
Aussagenlogik
|
Oct 22, 2014 |
|
Einführung in die Vorlesung
|
Oct 15, 2014 |