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 2001/2002

Wintersemester

Pflichtlehrveranstaltungen

Algorithmen, Datenstrukturen und Programmieren I, 2.0 VO & 2.0 UE; R. Freund, G. Futschek, W. Merkl [Lehramt Informatik und Informatikmanagement]
Automaten und Formale Sprachen, 2.0 VO & 1.0 UE; R. Freund
Grundlagen wissenschaftlichen Arbeitens, 2.0 PS; C. Fermüller [Bakkalaureat Informatik]
Grundlagen wissenschaftlichen Arbeitens, 2.0 PS; R. Freund [Bakkalaureat Informatik]
Grundlagen wissenschaftlichen Arbeitens, 2.0 PS; B. Gramlich [Bakkalaureat Informatik]
Grundlagen wissenschaftlichen Arbeitens, 2.0 PS; G. Salzer [Bakkalaureat Informatik]
Seminar aus Informatik, 2.0 SE; B. Gramlich
Theoretische Informatik für Lehramt Informatik II, 2.0 VO & 1.0 UE; R. Freund
Wissenschaftliches Arbeiten (Kryptographie im Internet), 2.0 PS; G. Salzer
Wissenschaftliches Arbeiten (Logik(en) in der Informatik), 2.0 PS; C. Fermüller

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

Wahllehrveranstaltungen

Aktuelle Forschungstrends in der Informatik, 2.0 VO; R. Freund
Nichtklassische Logiken, 2.0 VO; C. Fermüller
Privatissimum aus Theoretischer Informatik, 2.0 PV; R. Freund
Seminar aus Artificial Intelligence (Können Maschinen denken?), 2.0 SE; C. Fermüller
Seminar aus Theoretischer Informatik, 2.0 SE; A. Leitsch
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

Freifach

Diplomandenseminar, 2.0 SE; R. Freund
Dissertantenseminar, 2.0 SE; A. Leitsch
Freifachpraktikum, 9.0 PR; B. Gramlich, A. Leitsch, G. Salzer
Logische Methoden in der Theoretischen Physik, 2.0 AG; A. Leitsch, K. Svozil
Proseminar aus Informatik (Logik(en) in der Informatik), 2.0 PS; C. Fermüller

Sommersemester

Pflichtlehrveranstaltungen

Algorithmen, Datenstrukturen und Programmieren II, 2.0 VO & 2.0 UE; R. Freund, G. Futschek, W. Merkl [Lehramt Informatik und Informatikmanagement]
Algorithmen-, Rekursions- und Komplexitätstheorie, 2.0 VO & 1.0 UE; C. Fermüller
Einführung in die Theorie der Informatik, 2.0 VO & 1.0 UE; G. Salzer [Datentechnik alter Studienplan]
Einführung in die Theorie der Informatik, 3.0 VO & 1.0 UE; G. Salzer [Diplomstudium Informatik]
Grundlagen wissenschaftlichen Arbeitens (Das Werk von Kurt Gödel: Unvollständigkeit und Grenzen der Mechanisierbarkeit), 2.0 PS; A. Leitsch [Bakkalaureat Informatik]
Grundlagen wissenschaftlichen Arbeitens, 2.0 PS; R. Freund [Bakkalaureat Informatik]
Mathematische Logik, 2.0 VO & 1.0 UE; B. Gramlich
Seminar aus Informatik, 2.0 SE; C. Fermüller,R. Freund
Theoretische Informatik 1, 4.0 VU; G. Salzer [Bakkalaureat Informatik, Datentechnik neuer Studienplan]
Theoretische Informatik für Lehramt Informatik I, 4.0 VU; G. Salzer [Lehramt Informatik und Informatikmanagement]
Theorie der Informatik, 2.0 VO & 1.0 UE; G. Salzer [Wirtschaftsinformatik]

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

Wahllehrveranstaltungen

AK der AI 3, 2.0 VU; R. Freund
AK der Theoretischen Informatik 1 (Spieltheorie), 1.0 VU; G. Moser
AK der Theoretischen Informatik 2 (Fuzzy Logic), 2.0 VU; P. Hajek
AK der Theoretischen Informatik 2 (Modal Logics in Philosophy and Computer Science), 2.0 VU; R. Zach
AK der Theoretischen Informatik 3 (Kodierungstheorie), 2.0 VU; N. Hermann
AK der Theoretischen Informatik 4 (NP-Vollständigkeit), 2.0 VU; R. Pichler
AK der Theoretischen Informatik 5 (Lambda-Kalkül), 2.0 VU; A. Leitsch
Formale Semantik, 2.0 VO; B. Gramlich
Wahlfachpraktikum, 10.0 PR; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer

Freifach

Diplomandenseminar, 2.0 SE; A. Leitsch
Dissertantenseminar, 2.0 SE; R. Freund
Freifachpraktikum, 9.0 PR; C. Fermüller, R. Freund, B. Gramlich
Logische Methoden in der Theoretischen Physik, 2.0 AG; A. Leitsch, K. Svozil


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

webmaster@logic.at