Institut für Theoretische Informatik
- 1:
Lehre.- 1.1:
Vorlesungen. - 1.2: Projekte.
- 1.3: Seminare.
- 1.4: Proseminare.
- 1.5: Promotionskolleg.
- 1.6: Abschlussarbeiten.
- 1.7: Diplomandenseminar.
- 1.8: Archiv.
- 1.8.1:
WS 2011/2012. - 1.8.2: SS 2011.
- 1.8.3: WS 2010/2011.
- 1.8.4: SoSe 2010.
- 1.8.5: WS 2009/2010.
- 1.8.6: SoSe 2009.
- 1.8.6.1:
Praktika. - 1.8.6.2: Seminare.
- 1.8.6.3: Vorlesungen.
- 3471216055--.1:7:
SAT Solving. - 3471191035--.2:7: Datenkompression.
- 3471187755--.3:7: Kryptologie.
- 3471180905--.4:7: Kombinatorische Methoden der Informatik.
- 3471180915--.5:7: Berechenbarkeit und Komplexität.
- 3471185435--.6:7: Logik.
- 3471185415--.7:7: Algorithmen der Bioinformatik.
- 3471216055--.1:7:
- 1.8.6.1:
- 1.8.7: WS 2008/2009.
- 1.8.8: SoSe 2008.
- 1.8.9: WS 2007/2008.
- 1.8.1:
- 1.1:
- 2: Forschung.
- 3: TheorieTag.
- 4: Mitarbeiter.
- 5: Adresse.
- 6: Intern.
- 7: Impressum.
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 Akademischer Verlag, 2000.
- Script
Übungen
Die Tutorien finden 2-wöchig statt, Beginn der Tutorien ist die Woche vom 4. bis 10. Mai.
Tutoriumstermine:
- Di 10:00 - 12:00, Raum 2202, Tutor Oliver Gableske
- Mi 10:00 - 12:00, Raum 429, Tutor Markus Kächele
- Mi 16:00 - 18:00, Raum 3211, Tutor Oliver Gableske
- Fr 12:00 - 14:00, Raum 2202, Tutor Timo Beller
Die Übungsblätter werden jeden zweiten Dienstag in der Vorlesung ausgeteilt und sind auch auf dieser Webseite verfügbar. Abgabe ist jeweils der darauffolgende Montag um 12:30.
Scheinkriterien:
Einen Schein erhalten alle, die insgesamt mindestens 50 % der Punkte für schriftliche Aufgaben erreichen. Die Aufgaben dürfen alleine oder in Zweiergruppen in den Briefkästen vor H20 abgegeben werden.
Übungsblätter:
Dozent
Prof. Dr. Enno OhlebuschVorlesungszeiten
Dienstag 12-14 Uhr in H15
Übungsleiter
Tutorien
Di 10:00 - 12:00 in O27/2202
Mi 10:00 - 12:00 in O27/429
Mi 16:00 - 18:00 in O27/3211
Fr 12:00 - 14:00 in O27/2201