TheGI 2 (Bachelor)

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

Entsprechung in der (alten) StuPO 90: TheGI 1 (StuPO90) (Ja, richtig: Hier gab es eine Drehung).
(Dort findet ihr Klausuren und mehr)

Theoretische Grundlagen der Informatik 2: Berechenbarkeit und Komplexität ist eine Pflichtveranstaltung im zweiten Semester des Studiengangs Informatik nach neuer Bachelor-StuPO. Sie besteht aus 2 SWS Vorlesung und 2 SWS Übung und entspricht 6 ECTS-Leistungspunkten.

Inhalt

Automaten (DFA; NFA; Untermengenkonstruktion; reguläre Sprachen)
Kellerautomaten (PDA; DPDA; kontextfreie Sprachen)
Turing-Maschinen (DTM; NTM; Akzeptierbarkeit)
Berechenbarkeit ((Un)entscheidbarkeit; entscheidbare Sprachen; Wortproblem; Halteproblem; Reduktion)
Komplexität (Zeit- und Platzaufwand; Komplexitätsklassen; P vs. NP)

Tipps und nützliche Infos

Der Schöning ist der Beste Leitfaden zur Vorlesung.
Vorlesungsmitschriften aus dem SS 2011 gibt es unter http://pub.cebe.cc/uni/thegi2/

Persönliche Kommentare