Dozent
Dr. Sven Kosub
Termine (Vorlesung)
| Do | 14:15 - 15:45 | A 702 |
Weitere Details zum Inhalt der Vorlesung auf der Webseite zur Vorlesung.
Um automatisch benachrichtigt zu werden sobald eine neue Episode online ist:
RSS-Feed abonnieren2008/10/23 (Do) - Organisatorisches, Prolog, RSA - Verfahren
2008/10/30 (Do) - Logik, Aussagen
2008/11/06 (Do) - Aussagen, Aussagen mit Quantoren
2008/11/13 (Do) - Rechenregeln für Quantoren, Beweise
2008/11/20 (Do) - Beweise, Beweisregeln
2008/12/04 (Do) - Vereinigung, Durchschnitt, Potenzmengen, Relationen
2008/12/11 (Do) - Funktionen und Abbildungen, Charakterisierung (Audio leider nicht verfügbar)
2008/12/18 (Do) - Funktionen und Abbildungen, Proposition 1-3
2009/01/08 (Do) - Umkkehrrelation, Proposition 4-8, Ordnungen
2009/01/15 (Do) - Ordnungen, Beispiele
2009/01/22 (Do) - Proposition 9 und 10, Äquivalenzrelation
2009/01/29 (Do) - Vollständige Induktion
2009/02/05 (Do) - Allgemeine Form der vollst. Induktion, Mächtigkeit von Mengen