Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Prüfungsnummer 50050
Studiengang [079] - Informatik
Prüfungsversion [-1] - besondere Verarb.
Abschnitt [G] - Grundstudium
Kurztext FMI-IN0005
Drucktext Automat. u Berechenbark.
Pflichtkennzeichen [PF] - Pflichtfach
Prüfungsform [G] - generiert
Prüfungsart [MO] - Modul
Art der Notengebung [G] - Berechnung nur m. 1 NachK
Inhalt und Qualifikationsziel
  • Formale Sprachen und Automaten (u.a. Chomsky-Hierarchie, Grammatiken, endliche Automaten,  Kellerautomaten, Turingmaschinen)
  • Berechenbarkeit (u.a. Berechnungsmodelle und deren Äquivalenz, Entscheidbarkeit und Aufzählbarkeit, Reduktionen, Halteproblem, Postsches Korrespondenzproblem)
  • Theorie der NP-Vollständigkeit
Lehr- und Lernformen 4V + 2Ü
Voraussetzungen für die Teilnahme keine
Voraussetzungen für die Vergabe von Leistungspunkten Klausur oder mündliche Prüfung (Festlegung erfolgt zu Beginn des Moduls)

Impressum | Datenschutzerklärung