E185-2: Home | People | Courses (LVAs) | Research | Services         Units: www.logic.at | Inst. E185 | CS Dept. | TNI | TU Wien

TU Wien

Institut für Computersprachen
AG Theoretische Informatik und Logik
(Theory and Logic Group)

Lehrveranstaltungen im Studienjahr 2000/2001

Wintersemester

Pflichtfächer

Automaten und Formale Sprachen, 2.0 VO & 1.0 UE; R. Freund
Mathematische Logik, 2.0 VO & 1.0 UE; A. Leitsch
Seminar aus Informatik (Konventionelle und unkonventionelle Modelle der Berechenbarkeit), 2.0 SE; C. Fermüller
Wissenschaftliches Arbeiten (Kryptographie im Internet), 2.0 PS; G. Salzer

Diplomarbeiten; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Informatikpraktikum I, 10.0 PR; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Informatikpraktikum II, 10.0 PR; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer

Wahlfächer

AK der Theoretischen Informatik 2, 2.0 VU; A. Kelemenova, J. Kelemen
AK der Theoretischen Informatik 3 (Kolmogorov-Komplexität), 2.0 VU; C. Fermüller
AK der Theoretischen Informatik 4 (Formale Methoden für objekt-orientiertes Programmieren), 2.0 VU; R. Hähnle
New Computing Paradigms (in engl.Spr.), 2.0 VO; R. Freund
Seminar aus Theoretischer Informatik (Hilbert's Zehntes Problem), 2.0 SE; B. Gramlich
Termersetzungssysteme, 2.0 VO; B. Gramlich
Unifikationstheorie, 2.0 VO; G. Salzer
Wahlfachpraktikum, 10.0 PR; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Diplomandenseminar, 2.0 SE; R. Freund
Dissertantenseminar, 2.0 SE; A. Leitsch
Freifachpraktikum, 9.0 PR; B. Gramlich, A. Leitsch, G. Salzer
Privatissimum aus Theoretischer Informatik (Blumsche Komplexitätstheorie), 2.0 PV; A. Leitsch

Sommersemester

Pflichtfächer

Algorithmen-, Rekursions- und Komplexitätstheorie, 2.0 VO & 1.0 UE; C. Fermüller
Einführung in die Theorie der Informatik (für Datentechniker), 2.0 VO & 1.0 UE; G. Salzer
Einführung in die Theorie der Informatik (für Informatiker), 3.0 VO & 1.0 UE; G. Salzer
Mathematische Logik, 2.0 VO & 1.0 UE; B. Gramlich
Theoretische Informatik für Lehramt Informatik I, 4.0 VU; G. Salzer
Theorie der Informatik (für Wirtschaftsinformatiker), 2.0 VO & 1.0 UE; G. Salzer

Diplomarbeiten; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Informatikpraktikum I, 10.0 PR; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Informatikpraktikum II, 10.0 PR; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer

Wahlfächer

AK der AI 3, 2.0 VU; R. Freund [abgesagt]
AK der Theoretischen Informatik 2, 2.0 VU; R. Zach [abgesagt]
AK der Theoretischen Informatik 3 (Kodierungstheorie), 2.0 VU; N. Hermann [abgesagt]
AK der Theoretischen Informatik 4, 2.0 VU; R. Pichler
AK der Theoretischen Informatik 5, 2.0 VU; P. Hajek
Automatisches Beweisen, 2.0 VO; A. Leitsch
Formale Semantik, 2.0 VO; B. Gramlich
Seminar aus Artificial Intelligence (Können Maschinen denken?), 2.0 SE; C. Fermüller
Wahlfachpraktikum, 10.0 PR; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Diplomandenseminar, 2.0 SE; A. Leitsch
Dissertantenseminar, 2.0 SE; R. Freund
Freifachpraktikum, 9.0 PR; C. Fermüller, R. Freund, B. Gramlich


E185-2: Home | People | Courses (LVAs) | Research | Services         Units: www.logic.at | Inst. E185 | CS Dept. | TNI | TU Wien

Last modified: Wed Feb 28 10:40:32 CET 2001
webmaster@logic.at