Institute of Theoretical Computer Science
- 1:
Teaching.- 1.1:
Vorlesungen.- 1.1.1:
Komplexitätstheorie. - 1.1.2: SAT Solving.
- 1.1.3: Algorithmen zur Sequenzanalyse.
- 1.1.4: Berechenbarkeit und Komplexität.
- 1.1.5: Kryptologie: Algorithmen und Methoden.
- 1.1.6: Logik.
- 1.1.7: Praktische Informatik.
- 1.1.1:
- 1.2: Projekte.
- 1.3: Seminare.
- 1.4: Proseminare.
- 1.5: Promotionskolleg.
- 1.6: Abschlussarbeiten.
- 1.7: Diplomandenseminar.
- 1.8: Archive.
- 1.1:
- 2: Research.
- 3: TheorieTag.
- 4: Members.
- 5: Adresse.
- 6: Intern.
- 7: Imprint.
Logik
Inhalt
Aussagenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Prädikatenlogik
- Syntax und Semantik
- Normalformen
- Resolution, Vollständigkeits- und Korrektheitsbeweise
Literatur:
- Uwe Schöning: Logik für Informatiker, 5. Auflage. Spektrum Verlag, 2000.
- Skript
Dozent
Prof. Dr. Jacobo ToranVorlesungszeiten
Montag, 12:00 - 14:00 Uhr in H12
Übungsleiter
Simon StraubTutorien (wöchentlich ab KW 17)
Di 10:00 - 12:00 in O27/2202,
Markus Brenner
Di 16:00 - 18:00 in O27/545,
Falco Nogatz (ab KW 19)
Mi 10:00 - 12:00 in O27/2201,
Maike Zwerger
Mi 10:00 - 12:00 in O27/2203,
Mirco Lüdeke