RISC Logo
    News       Library       Links       Sitemap       Search  
line
 
 Formale Grundlagen 2 (Theoretische Informatik) [WS2002/2003]
 

Prof. Franz Winkler

Am Freitag 3.10.2003 ab ca 11h bietet Prof. Winkler die Gelegenheit zur mündlichen Prüfung. Anmeldung dazu per Email an Franz.Winkler@jku.at.

Thema der Lehrveranstaltung

Diese Vorlesung geht auf mathematische Grundlagenfragen ein, die mit dem Programmieren zusammenhängen. Der Begriff des Algorithmus wird informal eingeführt, der der algorithmisch Funktion wird mathematisch präzise definiert, was auf verschiedene Arten möglich ist. Weiters befasst sich die Vorlesung mit der Komplexität von Algorithmen, sowie mit dem Nachweis, dass manche Probleme nicht algorithmisch lösbar sind.

Vorlesung und Übungen

326.933:
Vorlesung, Fr 12:00-13:30 Uhr, H10, (Winkler)
326.943:
Übung, Fr 11:00-11:45 Uhr, H11 (Hemmecke)
326.945:
Übung, Fr 11:00-11:45 Uhr, HS 3 (Landsmann)
326.947:
Übung, Fr 11:00-11:45 Uhr, HS 8 (Winkler)

Die Übungsblätter ...

Übungsklausuren

Vorlesungsklausur

    This page is maintained by Ralf Hemmecke . Last updated on January 27, 2004