Hasso-Plattner-Institut
Hasso-Plattner-Institut
  
Login
 

Theoretische Informatik II (Sommersemester 2015)

Lecturer: Prof. Dr. Jürgen Dassow

General Information

  • Weekly Hours: 4
  • Credits: 6
  • Graded: yes
  • Enrolment Deadline: 24.04.2015
  • Teaching Form: VU
  • Enrolment Type: Compulsory Module

Programs & Modules

IT-Systems Engineering BA
  • Theoretische Informatik II

Description

•    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

Learning

Vorlesung und Übung

Examination

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.

Dates

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