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.