[ AB Theoretische Informatik und Logik ]     [ Institut für Computersprachen     [ Fakultät für Informatik ]     [ Technische Universität Wien ]
TU Wien

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

Lehrveranstaltungen

Wintersemester 2002/03

Pflichtlehrveranstaltungen

Algorithmen, Datenstrukturen und Programmieren I, 2.0 VO & 2.0 UE, 188.139 & 188.140; R. Freund, G. Futschek, W. Merkl
Automaten und Formale Sprachen, 2.0 VO & 1.0 UE, 185.086 & 185.064; R. Freund
Grundlagen wissenschaftlichen Arbeitens (Können Maschinen denken?), 2.0 PS, 185.170; C. Fermüller
Grundlagen wissenschaftlichen Arbeitens, 2.0 PS, 185.171; R. Freund
Grundlagen wissenschaftlichen Arbeitens (Kryptographie im Internet), 2.0 PS, 185.169; G. Salzer
Informatikpraktikum I, 10.0 PR, 185.746; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Informatikpraktikum II, 10.0 PR, 185.955; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Projektpraktikum (mit Bakkalaureatsarbeit), 10.0 PR, 185.184; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Seminar aus Informatik (Formale Methoden der Informatik), 2.0 SE, 185.195; G. Salzer
Seminar (mit Bakkalaureatsarbeit) (Formale Methoden der Informatik), 3.0 SE, 185.192; G. Salzer
Theoretische Informatik 2, 3.0 VU, 118.193; M. Baaz, A. Beckmann
Theoretische Informatik 2, 3.0 VU, 185.183; B. Gramlich, A. Leitsch
Theoretische Informatik für Lehramt Informatik II, 2.0 VO & 1.0 UE, 185.154 & 185.155; R. Freund
Wissenschaftliches Arbeiten (Logik und Spieltheorie), 2.0 PS, 185.112; C. Fermüller
Wissenschaftliches Arbeiten (Kryptographie im Internet), 2.0 PS, 185.056; G. Salzer

Diplomarbeiten; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer

Wahllehrveranstaltungen

Nichtklassische Logiken, 2.0 VO, 185.057; C. Fermüller
Privatissimum aus Theoretischer Informatik, 2.0 SE, 185.025; R. Freund
Privatissimum aus Theoretischer Informatik, 2.0 SE, 185.193; A. Leitsch
Seminar aus Artificial Intelligence (Können Maschinen denken?), 2.0 SE, 185.054; C. Fermüller
Termersetzungssysteme, 2.0 VO, 185.427; B. Gramlich
Unifikationstheorie, 2.0 VO, 185.110; G. Salzer
Wahlfachpraktikum, 10.0 PR, 185.121; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer

Freifach

Dissertantenseminar, 2.0 SE, 185.105; A. Leitsch
Freifachpraktikum, 9.0 PR, 185.144; B. Gramlich, A. Leitsch, G. Salzer
Logische Methoden in der Theoretischen Physik, 2.0 AG, 132.042; A. Leitsch, K. Svozil
Seminar für DiplomandInnen, 2.0 SE, 185.107; R. Freund

Sommersemester 2003

Pflichtlehrveranstaltungen

Algorithmen, Datenstrukturen und Programmieren II, 2.0 VO & 2.0 UE, 188.175 & 188.176; R. Freund, G. Futschek, W. Merkl
Algorithmen-, Rekursions- und Komplexitätstheorie, 2.0 VO & 1.0 UE, 185.845 & 185.834; C. Fermüller
Grundlagen wissenschaftlichen Arbeitens, 2.0 PS, 185.172; R. Freund
Grundlagen wissenschaftlichen Arbeitens, 2.0 PS, 185.168; B. Gramlich
Grundlagen wissenschaftlichen Arbeitens, 2.0 PS, 185.173; A. Leitsch
Informatikpraktikum I, 10.0 PR, 185.746; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Informatikpraktikum II, 10.0 PR, 185.955; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Projektpraktikum (mit Bakkalaureatsarbeit), 10.0 PR, 185.184; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer
Seminar aus Informatik, 2.0 SE, 185.065; R. Freund
Seminar aus Informatik (Funktional-Logisches Programmieren), 2.0 SE, 185.166; B. Gramlich
Theoretische Informatik 1, 4.0 VU, 185.167; C. Fermüller, G. Salzer
Theoretische Informatik für Lehramt Informatik I, 4.0 VU, 185.158; C. Fermüller, G. Salzer

Diplomarbeiten; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer

Wahllehrveranstaltungen

AK der Theoretischen Informatik 1, 1.0 VU, 185.181; G. Moser
AK der Theoretischen Informatik 2, 2.0 VU, 185.077; P. Hajek
AK der Theoretischen Informatik 2, 2.0 VU, 185.127; R. Zach
AK der Theoretischen Informatik 3 (Constraint Satisfaction Problems), 2.0 VU, 185.115; N. Hermann
AK der Theoretischen Informatik 4 (Tree Automata: Theory and Applications), 2.0 VU, 185.182; S. Limet
Automatisches Beweisen, 2.0 VO, 185.126; A. Leitsch
Semantik von Programmiersprachen (bisher: Formale Semantik, 2.0 VO), 2.0 VU, 185.200; B. Gramlich
Wahlfachpraktikum, 10.0 PR, 185.121; C. Fermüller, R. Freund, B. Gramlich, A. Leitsch, G. Salzer

Freifach

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

Alte Lehrveranstaltungen

Wichtige Lehrveranstaltungen früherer Semester

Einführung in die Theorie der Informatik, 2.0 VO & 1.0 UE, 185.159 & 185.702; G. Salzer
Einführung in die Theorie der Informatik, 3.0 VO & 1.0 UE, 185.691 & 185.702; G. Salzer
Mathematische Logik, 2.0 VO & 1.0 UE, 185.149 & 185.069; B. Gramlich
Theoretische Informatik 1, 4.0 VU, 185.167; G. Salzer
Theoretische Informatik für Lehramt Informatik I, 4.0 VU, 185.158; G. Salzer
Theorie der Informatik, 2.0 VO & 1.0 UE, 185.087 & 185.116; G. Salzer

Studienjahr 2001/02

Studienjahr 2000/01


Valid HTML 4.01! Viewable With Any Browser webmaster@logic.at