Theoretische Informatik und Logik

TU Dresden | Sommersemester 2020 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
Access to this course has been restricted. Please login. Login
Information about access
You do not have enough rights to start this resource.