Mathematische Grundlagen der Informatik

Wintersemester 2010/2011

Vorlesung: Dr. Renate Winter

Übungen: Dr. R. Winter / Dipl.-Ing. M. Kogler / M. Lutzemann

Vorlesung:

Aussagenlogik (kleine Folien) 10/2010

Mengen, Relationen, Funktionen 10/2010

Mengen, Relationen, Funktionen (kleine Folien) 10/2010

Allgemeine Algebren 11/2010

Allgemeine Algebren (kleine Folien) 11/2010

Terme und Sigma-Algebren 12/2010

Terme und Sigma-Algebren (kleine Folien) 12/2010

Graphen 12/2010

Graphen (kleine Folien) 12/2010

Prädikatenlogik 1/2011

Prädikatenlogik (kleine Folien) 1/2011

Zusammenfassung (kleine Folien)

Übungen:

Übungsaufgabe 1

Übungsaufgabe 2

Übungsaufgabe 3

Übungsaufgabe 4

Übungsaufgabe 5

Übungsaufgabe 6

Übungsaufgabe 7

Übungsaufgabe 8

Übungsaufgabe 9

Bonusserie

Übungsaufgabe 10

Übungsaufgabe 11

Übungsaufgabe 12

Übungsaufgabe 13