Formale Grundlagen 2 (WS 2006/07)
In dieser LVA behandeln wir den formalen
Berechenbarkeitsbegriff anhand von rekursiven Funktionen und
Turingmaschinen. Darauf aufbauend 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.
Um an der Lehrveranstaltung teilzunehmen, müssen Sie sich wie üblich im KUSSS System dafür (Vorlesung und Übung) anmelden. Wenn Sie sich auch im Moodle einloggen und als Kursteilnehmer eintragen, erhalten
Sie per Email alle im Nachrichtenforum geposteten Nachrichten.
|