Vorlesungen
| 3.0/2.0 | VO | Algorithmen, Datenstrukturen und Programmieren II (188.175, R.Freund, G.Futschek) |
| 4.5/3.0 | VL | Automatisches Beweisen (185.247, A.Leitsch) |
| 3.0/2.0 | VU | Computational Equational Logic (185.298, B.Gramlich) |
| 3.0/2.0 | VU | Formale Sprachen und Automaten (185.280, R.Freund, M.Oswald) |
| 6.0/4.0 | VL | Formale Verifikation von Software (185.292, G.Salzer) |
| 3.0/2.0 | VU | Logiken höherer Stufe (185.301, A.Leitsch) |
| 3.0/2.0 | VU | Mathematische Logik 2 (185.255, C.Fermüller) |
| 3.0/2.0 | VO | Quantum Computing (185.305, J.Gruska) |
| 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, A.Leitsch) |
| 3.0/2.0 | VU | Unifikationstheorie (185.289, G.Salzer) |
Seminare
| 3.0/2.0 | SE | Grundlagen methodischen Arbeitens ("Science-Fiction", 185.312, R.Freund) |
| 3.0/2.0 | AG | Logische Methoden in der Theoretischen Physik (132.042, A.Leitsch, K.Svozil) |
| 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 Theoretischer Informatik und Logik (185.303, B.Gramlich) |
| 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.294, 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) |
| 6.0/4.0 | PR | Projektpraktikum für Informatik (185.286, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
Vorlesungen
| 3.0/2.0 | UE | Algorithmen, Datenstrukturen und Programmieren I (188.140, R.Freund, G.Futschek, G.Kellner, W.Merkl) |
| 3.0/2.0 | VO | Algorithmen, Datenstrukturen und Programmieren I (188.139, R.Freund, G.Futschek, W.Merkl) |
| 6.0/4.0 | VU | Formale Methoden der Informatik (185.291, B.Gramlich, G.Salzer) |
| 3.0/2.0 | VU | Lambdakalkül (185.299, A.Leitsch) |
| 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) |
| 3.0/2.0 | VU | Termersetzungssysteme (185.224, B.Gramlich) |
| 6.0/4.0 | VU | Theoretische Informatik und Logik (185.263, R.Freund, M.Oswald) |
Seminare
| 3.0/2.0 | SE | Grundlagen methodischen Arbeitens ("Können Computer denken?", 185.304, C.Fermüller) |
| 3.0/2.0 | SE | Grundlagen methodischen Arbeitens ("Kryptographie im Internet", 185.290, G.Salzer) |
| 3.0/2.0 | SE | Grundlagen methodischen Arbeitens ("Science-Fiction", 185.312, R.Freund) |
| 3.0/2.0 | AG | Logische Methoden in der Theoretischen Physik (132.042, A.Leitsch, K.Svozil) |
| 3.0/2.0 | SE | Seminar aus Artificial Intelligence ("Können Computer denken? - Der Turingtest", 185.054, C.Fermüller) |
| 3.0/2.0 | SE | Seminar aus Theoretischer Informatik und Logik (185.300, 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) |
| 6.0/4.0 | PR | Projektpraktikum für Informatik (185.285, C.Fermüller, R.Freund, B.Gramlich, A.Leitsch, G.Salzer) |
Wichtige Lehrveranstaltungen früherer Semester
| 1.5/1.0 | UE | Algorithmen-, Rekursions- und Komplexitätstheorie (185.834, C.Fermüller) |
| 3.0/2.0 | VO | Algorithmen-, Rekursions- und Komplexitätstheorie (185.845, C.Fermüller) |
| 1.5/1.0 | UE | Einführung in die Theorie der Informatik (185.702, G.Salzer) |
| 3.0/2.0 | VO | Einführung in die Theorie der Informatik (185.159, G.Salzer) |
| 4.5/3.0 | VO | Einführung in die Theorie der Informatik (185.691, G.Salzer) |
| 3.0/2.0 | VU | Formale Methoden der Informatik (185.227, B.Gramlich, G.Salzer) |
| 1.5/1.0 | UE | Mathematische Logik (185.069, B.Gramlich) |
| 3.0/2.0 | VO | Mathematische Logik (185.149, B.Gramlich) |
| 6.0/4.0 | VU | Theoretische Informatik 1 (185.167, C.Fermüller, G.Salzer) |
| 6.0/4.0 | VU | Theoretische Informatik 1 (185.263, R.Freund, M.Oswald) |
| 6.0/4.0 | VU | Theoretische Informatik 2 (185.183, A.Leitsch, B.Gramlich) |
| 6.0/4.0 | VU | Theoretische Informatik für Lehramt Informatik I (185.158, C.Fermüller, G.Salzer) |
| 1.5/1.0 | UE | Theorie der Informatik (185.116, G.Salzer) |
| 3.0/2.0 | VO | Theorie der Informatik (185.087, G.Salzer) |
Frühere Studienjahre
2005/06, 2004/05, 2003/04, 2002/03, 2001/02, 2000/01
webmaster@logic.at