Theoretische Informatik II (Sommersemester 2015)
Dozent:
Prof. Dr. Jürgen Dassow
Allgemeine Information
- Semesterwochenstunden: 4
- ECTS: 6
- Benotet:
Ja
- Einschreibefrist: 24.04.2015
- Lehrform: VU
- Belegungsart: Pflichtmodul
Studiengänge, Modulgruppen & Module
- Mathematische und theoretische Grundlagen
- HPI-TI2 Theoretische Informatik II
Beschreibung
• Endliche Automaten versus reguläre Grammatiken
• Kellerautomaten versus kontextfreie Grammatiken
• Abschluss- und Entscheidbarkeitseigenschaften der Sprachen der Chomsky-Hierarchie
• reguläre Ausdrücke für reguläre Sprachen
• Zeit- und Raumkomplexität
• NP-Vollständigkeit
• Beschreibungskomplexität
• Minimierung endlicher deterministischer Automaten
Lern- und Lehrformen
Vorlesung und Übung
Leistungserfassung
Die Leistungsbewertung erfolgt durch eine abschließende Klausur.
Zulassungsvoraussetzung für die Klausur ist die erfolgreiche Teilnahme an den Übungen.
Die Teilnahme an den Übungen ist für Studierende erfolgreich, wenn er oder sie durch Votierungen für mindestens zwei Drittel aller Übungsaufgaben erklärt, dass er oder sie die Lösung der jeweiligen Übungsaufgaben präsentieren kann und dies auf Aufforderung nachweist.
Termine
Zeiten und Raum siehe aktueller Stundenplan!
Vorlesung
• Montags, 11:00 - 12:30Uhr im HS 3
Übungen (beginnen in der ersten Vorlesungswoche, Gruppenzuordnung wie WiSe 14/15)
• Gruppe 1: Montags
• Gruppe 2: Montags
• Gruppe 3: Montags
• Gruppe 4: Freitags
Bitte beachten: für den 27. April findet die Vorlesung am 24. April um 13.30 Uhr im Hörsaal 3 statt.
Zurück