Serviceverbund KIM

Streaming Server

Login |
 
 

Mathematische Grundlagen der Informatik

PD Dr. Sven Kosub

Dozent

Dr. Sven Kosub

Termine (Vorlesung)

Do 14:15 - 15:45 A 702

Weitere Details zum Inhalt der Vorlesung auf der Webseite zur Vorlesung.

RSS-Feed

Um automatisch benachrichtigt zu werden sobald eine neue Episode online ist:

RSS LogoRSS-Feed abonnieren

Episoden

2008/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/11/27 (Do) - Mengen

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