| [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 |
