Mathematische Grundlagen der Informatik

Wintersemester 2010/2011

Hinweise, Hilfe zu Übungsaufgaben

strukturelle Induktion (Beispiele)

Beweise und Beispiel Halbordnung (Hilfe zu Übungsblatt 5)

transitive Hülle (Hilfe zu Übungsblatt 6)

Funktionen (Hilfe zu Übungsblatt 7)

Halbring, Homomorphismus (Hilfe zu Übungsblatt 8)

Beispiel Halbring

Beispiele zu Homomorphismen und Kongruenzrelationen (Hilfe zu Übungsblatt 9)

Unteralgebren (Hilfe zu Übungsaufgabe 9.4)

Sigma-Algebren, Auswertung von Termen (Hilfe zu Übungsblatt 10)

Relationale Strukturen, Homomorphismen zwischen Strukturen (Hilfe zu Übungsblatt 11)

Graphen (Hilfe zu Übungsblatt 12)

Graphen und Prädikatenlogik (Hilfe zu Übungsblatt 13)

Bei Fragen zu den Übungsaufgaben erreichen Sie mich am Institut im Raum 2.20 (dienstags bis donnerstags). Sie können mir auch eine Email (winter@informatik.uni-halle.de) schicken oder sich mit Fragen an Ihren Übungsleiter oder Tutor wenden.

R. Winter, 18.01.2011