lehre

Lehre

[1] Lineare Algebra II, 4-st. mit Übungen
[2] Differentialgleichungen, 2-st. mit Übungen
[3] Mathematische Logik, 4-st. mit Übungen
[4] Axiomatische Mengenlehre I + II, jeweils 4-st. mit Übungen
[5] Formale Sprachen I + II, jeweils 3-st. mit Übungen
[6] Grundlagen der Berechenbarkeit, 4-st. mit Übungen
[7] Logikprogrammierung I +II, jeweils 4-st. mit Übungen
[8] Automatisches Beweisen, 2-st.
[9] Deduktionssysteme, 2-st.
[10] Wissensbasierte Systeme, 2-st. mit Übungen
[11] Expertensysteme, 2-st.
[12] Lambda-Kalkül, 2-st.
[13] Einführung in die Programmierung I +II (Anfängervorlesung Informatik), jeweils 4-st. mit Übungen
[14] Programmiersprachen I + II, jeweils 3-st. mit Übungen
[15] Seminare zu verschiedenen Themen im Bereich Logik in der Informatik