|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| LVA Nr. | Titel | Anmeldung | Typ | W.Std. | LeiterInnen | Rhythmus |
|---|---|---|---|---|---|---|
| 326.011 (2010W) |
Algorithmen und Datenstrukturen
Weitere Infos |
Anmelden | KV | 2,00 | Carsten Schneider | Wöchentlich |
| 326.002 (2010W) |
Algorithmische Methoden 1
Weitere Infos |
Anmelden | KV | 2,00 | Wolfgang Windsteiger | Wöchentlich |
| 326.022 (2010W) |
Analysis
Weitere Infos |
Anmelden | VO | 2,00 | Manuel Kauers | Wöchentlich |
| 326.027 (2010W) |
Analysis
Weitere Infos |
Anmelden | UE | 2,00 | Veronika Elisabeth Pillwein | Wöchentlich |
| 326.029 (2010W) |
Analysis
Weitere Infos |
Anmelden | UE | 2,00 | Christoph Koutschan | Wöchentlich |
| 326.055 (2010W) |
Analysis
Weitere Infos |
Anmelden | UE | 2,00 | Maximilian Thomas Jaroschek | Wöchentlich |
| 326.012 (2010W) |
Analytische Kombinatorik
Weitere Infos |
Anmelden | VO | 2,00 | Peter Paule | Wöchentlich |
| 326.042 (2010W) |
Analytische Kombinatorik
Weitere Infos |
Anmelden | UE | 1,00 | Veronika Elisabeth Pillwein | Wöchentlich |
| 326.004 (2010W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | UE | 1,00 | Burkhard Zimmermann | Wöchentlich |
| 326.016 (2010W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | UE | 1,00 | Ralf Hemmecke | Wöchentlich |
| 326.023 (2010W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | VO | 2,00 | Wolfgang Schreiner | Wöchentlich |
| 326.050 (2010W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | UE | 1,00 | Ralf Hemmecke | Wöchentlich |
| 326.017 (2010W) |
Computeralgebra
Weitere Infos |
Anmelden | KV | 3,00 |
Franz Winkler
Günter Landsmann |
Wöchentlich |
| 326.008 (2010W) |
Computer-Based Working Environments
Weitere Infos |
Anmelden | KV | 1,00 |
Károly Erdei
Wolfgang Windsteiger Ralf Hemmecke |
Blocktermin |
| 326.025 (2010W) |
Entscheidbare logische Theorien
Weitere Infos |
Anmelden | VO | 2,00 | Heinrich Rolletschek | Wöchentlich |
| 326.026 (2010W) |
Entwurf und Analyse von Algorithmen
Weitere Infos |
Anmelden | VO | 2,00 | Heinrich Rolletschek | Wöchentlich |
| 326.053 (2010W) |
Formale Methoden in der Software-Entwicklung
Weitere Infos |
Anmelden | KV | 4,00 |
Wolfgang Schreiner
Janos Sztrik |
Wöchentlich |
| 326.013 (2010W) |
Formal Methods in Software Development
Weitere Infos |
Anmelden | KV | 3,00 | Wolfgang Schreiner | Wöchentlich |
| 326.003 (2010W) |
Fundamentals of Numerical Analysis and Symbolic Computation
Weitere Infos |
Anmelden | KV | 2,00 | Esther Klann | Wöchentlich |
| 326.015 (2010W) |
Informationssysteme
Weitere Infos |
Anmelden | KV | 2,00 | Nikolaj Popov | Wöchentlich |
| 368.109 (2010W) |
Lineare Algebra und Analytische Geometrie 1
Weitere Infos |
Anmelden | UE | 2,00 | Burkhard Zimmermann | Wöchentlich |
| 368.111 (2010W) |
Lineare Algebra und Analytische Geometrie 1
Weitere Infos |
Anmelden | UE | 2,00 | Johannes Middeke | Wöchentlich |
| 326.028 (2010W) |
Logisches Programmieren
Weitere Infos |
Anmelden | KV | 2,00 | Teimuraz Kutsia | Wöchentlich |
| 326.0MD (2010W) |
Magister- und Dissertantenseminar
Winter Semester 10 Weitere Infos |
Anmelden | SE | 2,00 | Franz Winkler | Wöchentlich |
| 326.000 (2010W) |
Magister- und Dissertantenseminar
Winter Semester 10 |
Anmelden | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Wöchentlich |
| 326.001 (2010W) |
Magister- und Dissertantenseminar
Winter Semester 10 Weitere Infos |
Anmelden | SE | 2,00 | Peter Paule | Wöchentlich |
| 357.204 (2010W) |
Mathematische Grundlagen
Weitere Infos |
Anmelden | UE | 2,00 | Wolfgang Windsteiger | Wöchentlich |
| 326.019 (2010W) |
Mathematische Logik 1
Weitere Infos |
Anmelden | VO | 4,00 | Tudor Jebelean | Wöchentlich |
| 326.021 (2010W) |
Mathematische Logik 1
Weitere Infos |
Anmelden | UE | 1,00 | Tudor Jebelean | Wöchentlich |
| 326.049 (2010W) |
Programmierprojekt Symbolisches Rechnen
Computeralgebra, Logik und Softwaredesign I Weitere Infos |
Anmelden | KV | 2,00 | Ralf Hemmecke | Wöchentlich |
| 326.0AB (2010W) |
Projektseminar
Automatisches Beweisen I: Theorema: Automated Reasoning in Natural Style (WS 10) Weitere Infos |
Anmelden | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Wöchentlich |
| 326.035 (2010W) |
Projektseminar
Computer-Algebra I (Winter Semester 10) Weitere Infos |
Anmelden | SE | 2,00 | Franz Winkler | Wöchentlich |
| 326.038 (2010W) |
Projektseminar
Formale Methoden I (Winter Semester 10) Weitere Infos |
Anmelden | SE | 2,00 |
Franz Lichtenberger
Wolfgang Schreiner |
Wöchentlich |
| 326.051 (2010W) |
Projektseminar
Algorithmische Kombinatorik I (Winter Semester 10) Weitere Infos |
Anmelden | SE | 2,00 | Peter Paule | Wöchentlich |
| 326.0SS (2010W) |
Seminar
Symbolische Summation in der Teilchenphysik |
Anmelden | SE | 2,00 | Carsten Schneider | Wöchentlich |
| 326.067 (2010W) |
Seminar
Computer-Algebra I (Winter Semester 10) Weitere Infos |
Anmelden | SE | 2,00 | Franz Winkler | Wöchentlich |
| 326.014 (2010W) |
Special Functions I
Symbolische Summation und Spezielle Funktionen |
Anmelden | UE | 1,00 | Carsten Schneider | Wöchentlich |
| 326.0AT (2010W) |
Spezialvorlesung
Algebraische Topologie Weitere Infos |
Anmelden | VO | 2,00 | Günter Landsmann | Wöchentlich |
| 326.00B (2010W) |
Spezialvorlesung
Fixpoint Theory of Functional Programs Weitere Infos |
Anmelden | VO | 2,00 | Nikolaj Popov | Blocktermin |
| 326.030 (2010W) |
Spezialvorlesung
Fine-Grained Parallel Computing Weitere Infos |
Anmelden | VO | 2,00 | Tudor Jebelean | Wöchentlich |
| 326.032 (2010W) |
Spezialvorlesung
Homologische Algebra Weitere Infos |
Anmelden | VO | 2,00 | Günter Landsmann | Wöchentlich |
| 326.033 (2010W) |
Spezialvorlesung
Computeralgebrasysteme Weitere Infos |
Anmelden | VO | 2,00 | Christoph Koutschan | Wöchentlich |
| 326.070 (2010W) |
Spezialvorlesung
Automatisches Beweisen II Weitere Infos |
Anmelden | VO | 2,00 | Tudor Jebelean | Wöchentlich |
| 326.075 (2010W) |
Spezialvorlesung
Symbolische Summation und Spezielle Funktionen I (Winter Semester 10) Weitere Infos |
Anmelden | VO | 2,00 | Peter Paule | Wöchentlich |
| 326.086 (2010W) |
Spezialvorlesung
Introduction into Multicore Programming Weitere Infos |
Anmelden | VO | 2,00 | Karoly Bosa | Wöchentlich |
| 326.00I (2010W) |
Spezielle Kapitel aus Informatik
Computeralgebra Weitere Infos |
Anmelden | KV | 3,00 |
Franz Winkler
Günter Landsmann |
Wöchentlich |
| 326.057 (2010W) |
Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs Weitere Infos |
Anmelden | VO | 2,00 | Tudor Jebelean | Wöchentlich |
| 326.066 (2010W) |
Thinking, Speaking, Writing
Communication of Scientific Results Weitere Infos |
Anmelden | VO | 2,00 | Tudor Jebelean | Wöchentlich |
| 326.045 (2010W) |
Vortragsreihe Symbolisches Rechnen
Weitere Infos |
Anmelden | VO | 1,00 | Peter Paule | Wöchentlich |
|
Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail |