Mathematische Grundlagen der Informatik

Wintersemester 2009/2010

Vorlesung: Prof. Dr. Ludwig Staiger

Übungen: Dr. R. Winter / M. Lutzemann / R. Polley

Vorlesung:

Aussagenlogik (kleine Folien)

Mengen, Relationen, Funktionen

Mengen, Relationen, Funktionen (kleine Folien)

Allgemeine Algebren

Allgemeine Algebren (kleine Folien)

Terme und Sigma-Algebren

Terme und Sigma-Algebren (kleine Folien)

Graphen

Graphen (kleine Folien)

Prädikatenlogik

Prädikatenlogik (kleine Folien)