|
|
|
|
| Thema der Lehrveranstaltung |
In der LVA Formale Grundlagen 2 behandeln wir den formalen Berechenbarkeitsbegriff anhand von rekursiven Funktionen und Turingmaschinen. Aufbauend darauf befassen wir uns mit der Entscheidbarkeit bzw. Unentscheidbarkeit von Problemen, mit Komplexitätsklassen und vollständigen Problemen.
Es wird vorausgesetzt, daß die Teilnehmer die mathematischen Voraussetzungen, wie sie in den LVAen Mathematik für Informatiker I und II geboten werden, mitbringen. Weiters werden Grundkenntnisse über Programmierung und Programmiersprachen vorausgesetzt.
erste Vorlesung: 7. Oktober
erste Übung: 14. Oktober
Am Ende des Semesters (27.1.2006) findet eine Klausur statt.
and
|
|
|
|
| Thema der Lehrveranstaltung |