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

Prof. Franz Winkler

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

Die Übungsgruppen

  • Gruppe 1
  • Gruppe 2
  • Gruppe 3
  •     This page is maintained by Ralf Hemmecke . Last updated on October 14, 2002