Die Vorlesung beschäftigt sich zunächst mit den Grundbegriffen der Aussagenlogik. Es folgt die Einführung von zentralen Themen der Aussagenlogik, wie Äquivalenz und Normalformen, Hornformeln, der Endlichkeitssatz, Resolution und der Hilbert-Kalkül. Diese Konzepte lassen sich in ähnlicher Form in der Prädikatenlogik wiederfinden. Nach Einführung der Grundlagen wird hier auf Normalformen, Herbrand-Theorie und Resolution eingegangen. Ergänzt wird die Vorlesung durch Anwendungsbeispiele formaler Logik in der Informatik.
Alte Theorie-A-Klausuren sind hier zu finden. Die Logiktests von WS04/05 und WS05/06 sind auf den entsprechenden Veranstaltungsseiten verlinkt. Im Unterschied zu den Vorjahren gehört der Hilbert-Kalkül nicht mehr zum Prüfungsstoff, dafür sind BDDs hinzugekommen.
sk