Theoretische Informatik und Logik

Dozent: Prof. Dr. Franz Baader

Kursassistent: Dr. Anton Claußnitzer

Vorlesungen: Montag, 2. DS, HSZ/0004 sowie Donnerstag, 4. DS, HSZ/0002

Themen der Vorlesung:                                                                                                                  

1. Berechenbarkeit, 2. Komplexitätstheorie, 3. Prädikatenlogik erster Stufe

Empfohlene Literatur:

• Ingo Wegener, Theoretische Informatik - eine algorithmische Einführung, Teubner-Verlag, 1999
• Uwe Schöning, Theoretische Informatik - kurzgefaßt, Spektrum Akademischer Verlag, 2001
• Uwe Schöning, Logik für Informatiker, Spektrum Akademischer Verlag, 2000