| Prüfungsnummer | 50060 |
|---|---|
| Studiengang | [079] - Informatik |
| Prüfungsversion | [-1] - besondere Verarb. |
| Abschnitt | [G] - Grundstudium |
| Kurztext | FMI-IN0006 |
| Drucktext | Berechenbark. u Komplexit |
| 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 und Automaten, Turingmaschinen) - Berechenbarkeit und Komplexität (u.a. Hauptsatz der Algorithmentheorie, Entscheidbarkeit und Aufzählbarkeit, NPschwere Probleme) |
| Lehr- und Lernformen | 2V + 2Ü |
| Voraussetzungen für die Teilnahme | Keine MLG: Informatik darf nicht das zweite Unterrichtsfach sein! |
| Voraussetzungen für die Vergabe von Leistungspunkten | Klausur oder mündliche Prüfung (Festlegung erfolgt zu Beginn des Moduls) 100% |