HOME Formale Grundlagen 2 (WS2004/2005) Vorlesung und ÜbungenThema der Lehrveranstaltung

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: 8. Oktober
erste Übung: 15. Oktober

Am Ende des Semesters (28.1.2005) findet eine Klausur statt.


September 19, 2005 and

HOME Formale Grundlagen 2 (WS2004/2005) Vorlesung und ÜbungenThema der Lehrveranstaltung