Instructors: Prof. Dr. phil. nat. Ulrich Kohlenbach; Dr. Pedro Pinto; Marius Fabian Tritschler
Event type:
Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
FGdI II
Subject:
Crediting for:
Hours per week:
3
Language of instruction:
German
Min. | Max. participants:
- | -
Course Contents:
syntax and semantics of propositional logic,
functional completeness and normal forms, compactness, complete proof calculi: resolution and a sequent calculus;
\newline
syntax and semantics of first-order logic,
structures and assignments, normal forms, Skolemization, Herbrand theorem, compactness, complete proof calculi: (ground) resolution and a sequent calculus,
Gödel's Completeness Theorem;
undecidability of first-order logic;
\newline
optional: digressions on expressiveness and model checking
Literature:
Burris: Logic for Mathematics and Computer Science
\newline
Schöning: Logik für Informatiker
\newline
Boolos, Burgess, Jeffrey: Computability and Logic
\newline
Skript (2 Teile, elektronisch unter www.mathematik.tu-darmstadt.de/˜otto)
Preconditions:
automata, formal languages and decidability
|