There are many reasons why a computer scientist should study logic. Historically it formed the roots of computer science, both Church's and Turing's work being motivated by the decision problem for first-order logic. Nowadays we are finding conversely that computer science is generating an explosion of interest in logic, with the desire to automate reasoning and the necessity to prove programs or systems correct. Basically, logic and computer science address the same problems of formalizing, elaborating and communicating knowledge.

Prädikatenlogik, Kalküle für die Prädikatenlogik, Vollständigkeit, Satz von Löwenheim-Skolem, das Entscheidungsproblem.

Es wird kein Skriptum zur Lehrveranstaltung angeboten.