Theoretische Informatik und Logik
TU Dresden | Sommersemester 2023
Theoretische Informatik und Logik
Dozent: Prof. Dr. Franz Baader
Kursassistent: Dr. Anton Claußnitzer
Vorlesungen: Montag, 3. DS, HSZ/0003 sowie Donnerstag, 4. DS, HSZ/0002
Die Übungstermine finden Sie unter „Einschreibung“.
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
Zugang zum Kurs gesperrt.
Bitte melden Sie sich an.
Login
Informationen zum Zugang
Sie haben zu wenig Berechtigungen, um diesen Kurs zu starten.