Theoretische Informatik

Lehrveranstaltungsbeschreibung

Theoretische Informatik (326.933)
mit Übungen (326.943/945/947)

Franz Winkler

WS 99/00

Zeit: Fr 12.00 - 13.30; Ort: HS 10
11.05 - 11.50 (Übungen)
erste Vorlesung: 8. Oktober
erste Übung: 15. Oktober

Kurzbeschreibung:

In der LVA Theoretische Informatik 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.

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

Modus der Übungen

Die Übungen finden in 3 Gruppen statt. Die Gruppeneinteilung erfolgt in der ersten Vorlesungsstunde. Für eine Beschreibung der Übungsbenotung siehe Rückseite.

Sprechstunde Prof. Winkler: Do, 8:00 - 9:00, KG 4.Stock, RISC-Räume

Übungsangaben

Übung 1

PostScript.gz (ausgegeben am 8. Oktober 1999)

Übung 2

Postscript.gz (ausgegeben am 15. Oktober 1999)

Übung 3

Postscript.gz, (ausgegeben am 22. Oktober 1999)

Übung 4

Postscript.gz, (ausgegeben am 29. Oktober 1999)

Übung 5

Postscript.gz, (ausgegeben am 5. November 1999)

Übung 6

Postscript.gz, (ausgegeben am 12. November 1999)

Übung 7

Postscript.gz, (ausgegeben am 19. November 1999)

Übung 8

Postscript.gz, (ausgegeben am 26. November 1999)

Übung 9

Postscript.gz, (ausgegeben am 3. Dezember 1999)

Übung 10

Postscript.gz, (ausgegeben am 10. Dezember 1999)

Übung 11

Postscript.gz, (ausgegeben am 17. Dezember 1999)

Übung 12

Postscript.gz, (ausgegeben am 14. Januar 1999)