Vorige Seite (Testen integrierter Schaltungen) Der Studienführer Telematik 2001/2002 im Web - Inhaltsübersicht - Aktuelle Version Wahlfächer im 2. Studienabschnitt des Diplomstudiums Theoretische Informatik II Nächste Seite (Theoretische Informatik III)

Theoretische Informatik II

LV-Nummer:
508.051
508.052 Stunden:
2 Vo + 1 Ku (Vorlesung + Konstruktionsübung) Semester:
Winter Institut:
508 (``IGI'' ) Vortragender:
Ao.Univ.-Prof. Dipl.-Ing. Dr.techn. Peter Auer () Wahlfachkatalog:
Theoretische Informatik Lehrinhalt:
Zentrale Fragen der Theoretischen Informatik (NP-Vollständigkeit, Unentscheidbarkeit), automatisches Beweisen Lehrziel:
Verständnis für wesentliche Fragen der Theoretischen Informatik und das (automatische) Beweisen Lehrmethode:
Vorlesung, Computerexperimente mit einem automatischen Beweiser Studienbehelfe:
M. Sipser: Introduction to the Theory of Computation, PWS Publ.; Gallier: Logic for Computer Science, Harper&Row Prüfungsmodus:
Schriftlich, Abgabe von schriftlichen Übungsbeispielen, Beurteilung der praktischen Übungen Webpage:
http://www.cis.tu-graz.ac.at/igi/pauer

			© 1997-2002: Dieter LUTZMAYR Letzte Änderung am 27. Dezember 2001