Instructors: Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; M.Sc. Jonathan Weinberger
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;
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;
optional: digressions on expressiveness and model checking
Literature:
Burris: Logic for Mathematics and Computer Science
Schöning: Logik für Informatiker
Boolos, Burgess, Jeffrey: Computability and Logic
Skript (2 Teile, elektronisch unter www.mathematik.tu-darmstadt.de/˜otto)
Online Offerings:
moodle
|