Hasso-Plattner-Institut
Hasso-Plattner-Institut
  
Login
  • de
 

Theoretische Informatik II (Sommersemester 2015)

Dozent: Prof. Dr. Jürgen Dassow

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.

Allgemeine Information

  • Semesterwochenstunden : 4
  • ECTS : 6
  • Benotet : Ja
  • Einschreibefrist : 24.04.2015
  • Programm : IT-Systems Engineering BA
  • Lehrform : VU
  • Belegungsart : Pflicht

Module

  • Theoretische Informatik II

Zurück