Theoretische Informatik und Logik
(Theory and Logic Group)
|
|
Theoretische Informatik und Logik
|
|
Vorlesungen und Übungen
| 3.0/2.0 | UE | Algorithmen, Datenstrukturen und Programmieren II (188.176, G.Futschek, W.Merkl, R.Freund) |
| 3.0/2.0 | VO | Algorithmen, Datenstrukturen und Programmieren II (188.175, G.Futschek, W.Merkl, R.Freund) |
| 4.5/3.0 | VL | Automatisches Beweisen (185.247, A.Leitsch) |
| 3.0/2.0 | VU | Computational Equational Logic (185.298, B.Gramlich) |
| 6.0/4.0 | VO | Formale Methoden der Informatik (185.291, U.Egly, R.Pichler, G.Salzer, H.Veith, T.Sisel et al.) |
| 6.0/4.0 | VL | Formale Verifikation von Software (185.292, G.Futschek, G.Salzer) |
| 3.0/2.0 | VO | Fuzzy Logik (104.103, M.Baaz) |
| 3.0/2.0 | VO | Grundlagen und Praxis der medizinischen Versorgung (185.271, L.Vock) |
| 3.0/2.0 | VU | Logiken höherer Stufe (185.301, C.Fermüller) |
| 3.0/2.0 | VO | Logische Methoden in der Theoretischen Physik (136.022, A.Leitsch, K.Svozil) |
| 3.0/2.0 | VU | Mathematische Logik 2 (185.332, S.Hetzl) |
| 3.0/2.0 | VU | Molecular Computing (185.326, M.Oswald) |
| 3.0/2.0 | VU | Semantik von Programmiersprachen (185.205, B.Gramlich) |
| 6.0/4.0 | VU | Theoretische Informatik und Logik (185.278, C.Fermüller, R.Freund, M.Oswald et al.) |
| 3.0/2.0 | VU | Theorie der Berechenbarkeit (185.203, A.Leitsch) |
| 3.0/2.0 | VU | Unifikationstheorie (185.289, G.Salzer) |
| 1.5/1.0 | VU | Weiterführende Themen in Formalen Sprachen und Automaten 2 (185.338, R.Freund) |
Seminare
| 3.0/2.0 | SE | Grundlagen methodischen Arbeitens ("Science-Fiction", 185.312, R.Freund, H.Zumpf) |
| 3.0/2.0 | PV | Privatissimum für DissertantInnen (185.214, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 3.0/2.0 | SE | Seminar aus Logik (185.316, C.Fermüller) |
| 3.0/2.0 | SE | Seminar aus Software Entwicklung ("Formale Verifikation von Software - Methoden und Werkzeuge", 185.325, G.Salzer) |
| 3.0/2.0 | SE | Seminar für DiplomandInnen (185.253, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 6.0/4.0 | SE | Seminar (mit Bachelorarbeit) (185.288, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
Praktika
| 6.0/4.0 | PR | Freifachpraktikum (185.281, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 6.0/4.0 | PR | Informatikpraktikum 1 (185.293, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 6.0/4.0 | PR | Informatikpraktikum 2 (185.297, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 12.0/8.0 | PR | Project in Computational Logic (185.302, A.Leitsch, B.Gramlich) |
| 6.0/4.0 | PR | Projektpraktikum (185.286, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
Vorlesungen und Übungen
| 3.0/2.0 | UE | Algorithmen, Datenstrukturen und Programmieren I (188.140, G.Futschek, W.Merkl, R.Freund) |
| 3.0/2.0 | VO | Algorithmen, Datenstrukturen und Programmieren I (188.139, G.Futschek, W.Merkl, R.Freund) |
| 4.5/3.0 | VD | Anatomie und Histologie (185.330, S.Riss) |
| 1.5/1.0 | UE | Automaten und formale Sprachen (185.064, R.Freund,M.Kogler) |
| 3.0/2.0 | VU | Automaten und formale Sprachen (185.086, R.Freund) |
| 3.0/2.0 | VO | Einführung in die Medizinische Informatik (185.294, R.Freund, T.Grechenig, F.Rattay, I.Wagner, E.Gröller) |
| 6.0/4.0 | VO | Formale Methoden der Informatik (185.291, U.Egly, R.Pichler, G.Salzer, H.Veith, T.Sisel et al.) |
| 4.5/3.0 | VU | Fortgeschrittene Theoretische Informatik (185.349, L.Kovacs) |
| 3.0/2.0 | VD | Grundlagen der klinischen Medizin (185.329, B.Schneeweiß) |
| 3.0/2.0 | VO | Lambdakalkül ("AKLOG: Lambda Kalkül", 108.030, M.Baaz) |
| 3.0/2.0 | VO | Logische Methoden in der Theoretischen Physik (136.022, A.Leitsch, K.Svozil) |
| 3.0/2.0 | VU | Mathematische Logik 1 (185.256, A.Ciabattoni) |
| 3.0/2.0 | VU | Modallogik, Epistemische Logik (185.269, C.Fermüller) |
| 3.0/2.0 | VU | Nichtklassische Logiken (185.249, C.Fermüller) |
| 4.5/3.0 | VD | Physiologie und Grundlagen der Pathologie (185.313, R.Sedivy) |
| 1.5/1.0 | VU | Simulation using biologically-inspired systems (185.343, R.Freund) |
| 3.0/2.0 | VU | Termersetzungssysteme (185.224, B.Gramlich) |
| 6.0/4.0 | VU | Theoretische Informatik und Logik (185.263, B.Gramlich, M.Oswald et al.) |
| 1.5/1.0 | VU | Weiterführende Themen in Formalen Sprachen und Automaten 1 (185.344, R.Freund) |
Seminare
| 3.0/2.0 | SE | Grundlagen methodischen Arbeitens ("Kryptographie im Internet", 185.290, G.Salzer) |
| 3.0/2.0 | SE | Grundlagen methodischen Arbeitens ("Leben und Werk Kurt Gödels", 185.337, A.Leitsch) |
| 3.0/2.0 | SE | Grundlagen methodischen Arbeitens ("Science-Fiction", 185.312, R.Freund) |
| 4.0/4.0 | PV | Privatissimum aus Fachdidaktik Informatik (185.341, R.Freund, H.Zumpf) |
| 3.0/2.0 | SE | Seminar aus Artificial Intelligence (185.054, C.Fermüller) |
| 3.0/2.0 | SE | Seminar aus Logik (185.318, A.Leitsch) |
| 3.0/2.0 | SE | Seminar für DiplomandInnen (185.253, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 3.0/2.0 | SE | Seminar für DissertantInnen (185.212, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 6.0/4.0 | SE | Seminar (mit Bachelorarbeit) (185.287, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
Praktika
| 6.0/4.0 | PR | Freifachpraktikum (185.279, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 6.0/4.0 | PR | Informatikpraktikum 1 (185.293, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 6.0/4.0 | PR | Informatikpraktikum 2 (185.296, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
| 12.0/8.0 | PR | Project in Computational Logic (185.302, A.Leitsch, B.Gramlich) |
| 6.0/4.0 | PR | Projektpraktikum (185.285, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
2009/10, 2008/09, 2007/08, 2006/07, 2005/06, 2004/05, 2003/04, 2002/03, 2001/02, 2000/01
webmaster@logic.at