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
 
2
Übungen (326.943, 326.945, 326.947)

Dr. Ralf Hemmecke (326.943, 326.945)
Zeit: Freitag 10:15-11:00 (326.945), 11:00-11:45 (326.943)
Ort: BA 9911
Beginn: 13.10.2006

Achtung: Am 1.12.2006 finden die Übungen bei Dr. Hemmecke (326.943, 326.945) nicht statt.
Ausweichtermine sind, wie besprochen.
Freitag, 15.12.2006 13:45-14:30 HS 10 und 15:30-16:15 HF9901.
Die Übungstermine um 10:15 und 11:00 bleiben natürlich bestehen.

Dipl.Inf. Christoph Koutschan (326.947)
Zeit:
Freitag 11:00–11:45
Ort:
K 033C
Beginn: 13.10.2006

Übungsklausuren (für alle 3 Übungsgruppen):
1. Klausur:
24.11.2006 11:00-11:45 H 2 (Lösungen, Ergebnisse)
2. Klausur: 12.01.2007 11:00-11:45 H 10 (Lösungen, Ergebnisse)

Übungszettel
  1. Aufgaben zum 20.10.2006
  2. Aufgaben zum 27.10.2006
  3. Aufgaben zum 03.11.2006
  4. Aufgaben zum 10.11.2006
  5. Aufgaben zum 17.11.2006
  6. Aufgaben zum 01.12.2006
  7. Aufgaben zum 15.12.2006
  8. Aufgaben zum 19.01.2007
Arbeitsmaterial Übungsmodus