Logo TU Wien      

Theoretische Informatik und Logik
(Theory and Logic Group)

       Logo E185/2 Theory and Logic Group

Lehrveranstaltungen

Sommersemester 2009

Vorlesungen und Übungen

3.0/2.0UEAlgorithmen, Datenstrukturen und Programmieren II (188.176, G.Futschek, R.Freund)
3.0/2.0VOAlgorithmen, Datenstrukturen und Programmieren II (188.175, G.Futschek, R.Freund)
4.5/3.0VLAutomatisches Beweisen (185.247, A.Leitsch)
3.0/2.0VUComputational Equational Logic (185.298, B.Gramlich)
3.0/2.0UEEinführung in die theoretische Informatik (185.315, C.Fermüller)
3.0/2.0VOEinführung in die theoretische Informatik (185.314, C.Fermüller)
6.0/4.0VUFormale Methoden der Informatik (185.291, U.Egly, B.Gramlich, R.Pichler, G.Salzer, H.Tompits)
6.0/4.0VLFormale Verifikation von Software (185.292, G.Salzer)
3.0/2.0VOGrundlagen und Praxis der medizinischen Versorgung (185.271, L.Vock)
3.0/2.0VULogiken höherer Stufe (185.301, C.Fermüller)
3.0/2.0VUMathematische Logik 2 (185.332, S.Hetzl)
3.0/2.0VUMolecular Computing (185.326, M.Oswald)
4.5/3.0VDPhysiologie und Grundlagen der Pathologie (185.313, R.Sedivy)
3.0/2.0VUSemantik von Programmiersprachen (185.205, B.Gramlich)
6.0/4.0VUTheoretische Informatik und Logik (185.278, C.Fermüller, R.Freund)
3.0/2.0VUTheorie der Berechenbarkeit (185.203, A.Leitsch)
3.0/2.0VUUnifikationstheorie (185.289, G.Salzer)

Seminare

3.0/2.0SEGrundlagen methodischen Arbeitens ("Science-Fiction", 185.312, R.Freund, P.Draxler, H.Zumpf)
3.0/2.0PVPrivatissimum für DissertantInnen (185.214, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
3.0/2.0SESeminar aus Logik (185.316, C.Fermüller)
3.0/2.0SESeminar aus Software Entwicklung ("Formale Verifikation von Software - Methoden und Werkzeuge", 185.325, G.Salzer)
3.0/2.0SESeminar aus Theoretischer Informatik (185.XXX, R.Freund)
3.0/2.0SESeminar für DiplomandInnen (185.253, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
6.0/4.0SESeminar (mit Bachelorarbeit) (185.288, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)

Praktika

6.0/4.0PRFreifachpraktikum (185.281, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
6.0/4.0PRInformatikpraktikum 1 (185.294, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
6.0/4.0PRInformatikpraktikum 2 (185.297, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
6.0/4.0PRProjektpraktikum (185.286, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)

Diplom-/Masterarbeiten

Wintersemester 2008

Vorlesungen und Übungen

3.0/2.0UEAlgorithmen, Datenstrukturen und Programmieren I (188.140, G.Futschek, W.Merkl, R.Freund)
3.0/2.0VOAlgorithmen, Datenstrukturen und Programmieren I (188.139, G.Futschek, W.Merkl, R.Freund)
4.5/3.0VDAnatomie und Histologie (188.187, N.Haffner)
1.5/1.0UEAutomaten und formale Sprachen (185.064, R.Freund)
3.0/2.0VOAutomaten und formale Sprachen (185.086, R.Freund)
3.0/2.0VOEinführung in die Medizinische Informatik (185.294, R.Freund, T.Grechenig, F.Rattay, I.Wagner)
6.0/4.0VUFormale Methoden der Informatik (185.291, U.Egly, B.Gramlich, R.Pichler, G.Salzer, H.Tompits)
3.0/2.0VDGrundlagen der klinischen Medizin (185.329, B.Schneeweiß)
3.0/2.0VOLambdakalkül ("AKLOG: Lambda Kalkül", 108.030, M.Baaz)
3.0/2.0VUMathematische Logik 1 (185.256, A.Ciabattoni)
3.0/2.0VUModallogik, Epistemische Logik (185.269, C.Fermüller)
3.0/2.0VUNichtklassische Logiken (185.249, C.Fermüller)
4.5/3.0VDPhysiologie und Grundlagen der Pathologie (185.313, R.Sedivy)
3.0/2.0VOPraxisorientierte BWL (185.322, W.Schwaiger, R.Ranzi)
3.0/2.0VUTermersetzungssysteme (185.224, B.Gramlich)
6.0/4.0VUTheoretische Informatik und Logik (185.263, A.Leitsch, M.Oswald)

Seminare

3.0/2.0SEGrundlagen methodischen Arbeitens ("Kryptographie im Internet", 185.290, G.Salzer)
3.0/2.0SEGrundlagen methodischen Arbeitens ("Science-Fiction", 185.312, R.Freund, P.Draxler, H.Zumpf)
3.0/2.0SESeminar aus Artificial Intelligence (185.054, C.Fermüller)
3.0/2.0SESeminar aus Logik (185.318, A.Leitsch)
3.0/2.0SESeminar aus Theoretischer Informatik (185.320, B.Gramlich)
3.0/2.0SESeminar für DiplomandInnen (185.253, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
3.0/2.0SESeminar für DissertantInnen (185.212, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
6.0/4.0SESeminar (mit Bachelorarbeit) (185.287, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)

Praktika

6.0/4.0PRFreifachpraktikum (185.279, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
6.0/4.0PRInformatikpraktikum 1 (185.293, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
6.0/4.0PRInformatikpraktikum 2 (185.296, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)
12.0/8.0PRProject in Computational Logic (185.302, A.Leitsch)
6.0/4.0PRProjektpraktikum (185.285, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer)

Diplom-/Masterarbeiten

Frühere Studienjahre

2007/08, 2006/07, 2005/06, 2004/05, 2003/04, 2002/03, 2001/02, 2000/01


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