Themen dieses Kurses
 
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.

Forum Nachrichtenforum
 
1
Vorlesung (326.933)
A.Univ.Prof. DI Dr. Wolfgang Schreiner

Zeit:
Freitag, 12:00-13:30.
Ort:
HS 10.
Beginn:
6. Oktober 2006.

Skriptum

Folien
Nachklausur
  • Termin: Freitag, 20.4.2007, 12:00-13:30, K001A.
  • Anmeldung: bis Mittwoch, 18.4.2007, 12:00, über KUSSS.
  • Unterlagen: sind zugelassen.
  • Lichtbildausweis: nicht vergessen!
Beispielklausur (wird am 19.1. besprochen)