Institute for Computer Architecture
and Parallel Computing
Main page
Content
Diese Vorlesung zerfällt in drei Themengebiete.
  • Automaten: In diesem Teil geht es um formale Sprachen, insbesondere um die Klassen der regulären und der kontextfreien Sprachen.
  • Berechenbarkeit: Wir befassen uns mit der Frage nach einer mathematischen Definition des intuitiven Begriffs der Berechenbarkeit.
  • Komplexität: Probleme, die in Teil 2 der Vorlesung als entscheidbar identifiziert wurden, werden in diesem Teil weiter klassifiziert nach dem Aufwand, den man zu ihrer Lösung betreiben muss.
Organisatorisches
  • Die Veranstaltung findet statt vom 17.10.2012 - 8.02.2013, in Gebäude E2 2 - Hörsaal 0.01 (Günter-Hotz-Hörsaal), jeweils Mittwoch 14:00ct-16:00, und Freitag 8:30st-10:00 Uhr.
  • Zum Erhalt des Scheins wird es eine Midterm- und eine Abschlussklausur geben.
  • Die Midtermklausur findet am Samstag, den 08.12.2012 von 9:00 Uhr bis 12:00 Uhr in Geb. B41, Raum 1.01 (AudiMax) statt.
  • Die Abschlussklausur findet am Donnerstag, den 14.02.2013 von 9:00 Uhr bis 12:00 Uhr in Geb. E2 2, Günter-Hotz-Hörsaal statt.
  • Die Nachklausur findet am Dienstag, den 12.03.2013, von 9:00 Uhr bis 12:00 Uhr in Geb. E2 2, Günter-Hotz-Hörsaal statt.
  • Informationen zur Klausurzulassung finden sich unter "Klausuren".
Aktuelles
  • Die Anmeldung zur Vorlesung ist vom 18.10.2012, 22:00 Uhr bis zum 28.10.2012, 23:59 Uhr möglich. Eine separate Prüfungsanmeldung im HISPOS ist ebenfalls notwendig, näheres dazu unter "Anmeldung".
  • Jeden Donnerstag um 16:00 Uhr wird eine office hour in Raum 3.18, E1.3 angeboten.
  • Die Ergebnisse der Zwischenklausur vom 08.12.2012 finden sich hier. Die Klausureinsicht findet am 20.12.2012 um 16:00 in Raum 3.28 Gebäude E 1.3 statt.
  • Die Ergebnisse der Endklausur vom 14.02.2013 finden sich hier. Die Klausureinsicht findet am 07.03.2012 um 13:00 in Raum 3.28 Gebäude E 1.3 statt.
  • Die Ergebnisse der Nachklausur vom 12.03.2013 finden sich hier. Die Klausureinsicht findet am 04.04.2012 um 13:00 in Raum 3.28 Gebäude E 1.3 statt.