|
|
|
|
|
| LVA Nr. | Titel | Anmeldung | Typ | W.Std. | LeiterInnen | Rhythmus |
|---|---|---|---|---|---|---|
| 326.011 (2009W) |
Algorithmen und Datenstrukturen
Weitere Infos |
Anmelden | KV | 2,00 | Carsten Schneider | Wöchentlich |
| 326.002 (2009W) |
Algorithmische Methoden 1
Weitere Infos |
Anmelden | KV | 2,00 | Wolfgang Windsteiger | Wöchentlich |
| 326.022 (2009W) |
Analysis
Weitere Infos |
Anmelden | VO | 2,00 | Josef Schicho | Wöchentlich |
| 326.027 (2009W) |
Analysis
Weitere Infos |
Anmelden | UE | 2,00 | Veronika Elisabeth Pillwein | Wöchentlich |
| 326.029 (2009W) |
Analysis
Weitere Infos |
Anmelden | UE | 2,00 | Peter Elbau | Wöchentlich |
| 326.055 (2009W) |
Analysis
Weitere Infos |
Anmelden | UE | 2,00 | Manuel Kauers | Wöchentlich |
| 326.012 (2009W) |
Analytische Kombinatorik
Weitere Infos |
Anmelden | VO | 2,00 | Peter Paule | Wöchentlich |
| 326.042 (2009W) |
Analytische Kombinatorik
Weitere Infos |
Anmelden | UE | 1,00 | Manuel Kauers | Wöchentlich |
| 326.062 (2009W) |
Berechenbarkeitstheorie
Weitere Infos |
Anmelden | VO | 2,00 | Heinrich Rolletschek | Wöchentlich |
| 326.004 (2009W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | UE | 1,00 | Burkhard Zimmermann | Wöchentlich |
| 326.016 (2009W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | UE | 1,00 | Ralf Hemmecke | Wöchentlich |
| 326.023 (2009W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | VO | 2,00 | Wolfgang Schreiner | Wöchentlich |
| 326.050 (2009W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | UE | 1,00 | Ralf Hemmecke | Wöchentlich |
| 326.017 (2009W) |
Computeralgebra
Weitere Infos |
Anmelden | KV | 3,00 |
Franz Winkler
Günter Landsmann |
Wöchentlich |
| 326.008 (2009W) |
Computer-Based Working Environments
Weitere Infos |
Anmelden | KV | 1,00 |
Karoly Erdei
Wolfgang Windsteiger Ralf Hemmecke |
Blocktermin |
| 326.053 (2009W) |
Formale Methoden in der Software-Entwicklung
Weitere Infos |
Anmelden | KV | 4,00 | Wolfgang Schreiner | Wöchentlich |
| 326.013 (2009W) |
Formal Methods in Software Development
Weitere Infos |
Anmelden | KV | 3,00 | Wolfgang Schreiner | Wöchentlich |
| 326.00K (2009W) |
Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 2009 Weitere Infos |
Anmelden | KV | 2,00 | Veronika Elisabeth Pillwein | Wöchentlich |
| 326.015 (2009W) |
Informationssysteme
Weitere Infos |
Anmelden | KV | 2,00 | Nikolaj Popov | Wöchentlich |
| 326.028 (2009W) |
Logisches Programmieren
Weitere Infos |
Anmelden | KV | 2,00 | Teimuraz Kutsia | Wöchentlich |
| 326.000 (2009W) |
Magister- und Dissertantenseminar
Winter Semester 09 |
Anmelden | SE | 2,00 | Bruno Buchberger | Wöchentlich |
| 326.001 (2009W) |
Magister- und Dissertantenseminar
Winter Semester 09 Weitere Infos |
Anmelden | SE | 2,00 | Peter Paule | Wöchentlich |
| 326.082 (2009W) |
Magister- und Dissertantenseminar
Winter Semester 09 |
Anmelden | SE | 2,00 | Franz Winkler | Wöchentlich |
| 355.101 (2009W) |
Mathematikunterricht mit Computern
Weitere Infos |
Anmelden | SE | 2,00 | Wolfgang Windsteiger | Blocktermin |
| 357.203 (2009W) |
Mathematische Grundlagen
Weitere Infos |
Anmelden | UE | 2,00 | Wolfgang Windsteiger | Wöchentlich |
| 326.019 (2009W) |
Mathematische Logik 1
Weitere Infos |
Anmelden | VO | 4,00 | Tudor Jebelean | Wöchentlich |
| 326.021 (2009W) |
Mathematische Logik 1
Weitere Infos |
Anmelden | UE | 1,00 | Tudor Jebelean | Wöchentlich |
| 256.701 (2009W) | Methodenlehre II | Anmelden | KS | 2,00 | Tudor Jebelean | Wöchentlich |
| 326.049 (2009W) |
Programmierprojekt Symbolisches Rechnen
Computeralgebra, Logik und Softwaredesign I Weitere Infos |
Anmelden | KV | 2,00 | Ralf Hemmecke | Wöchentlich |
| 326.035 (2009W) |
Projektseminar
Computer-Algebra I (Winter Semester 2009) Weitere Infos |
Anmelden | SE | 2,00 | Franz Winkler | Wöchentlich |
| 326.037 (2009W) |
Projektseminar
Automatisches Beweisen I: Theorema: Automated Reasoning in Natural Style Weitere Infos |
Anmelden | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Wöchentlich |
| 326.038 (2009W) |
Projektseminar
Formale Methoden I (Winter Semester 09) Weitere Infos |
Anmelden | SE | 2,00 |
Franz Lichtenberger
Wolfgang Schreiner |
Wöchentlich |
| 326.051 (2009W) |
Projektseminar
Algorithmische Kombinatorik I (Winter Semester 09) Weitere Infos |
Anmelden | SE | 2,00 | Peter Paule | Wöchentlich |
| 326.00H (2009W) |
Seminar
Computability and Complexity I (Winter Semester 09) Weitere Infos |
Anmelden | SE | 2,00 | Heinrich Rolletschek | Wöchentlich |
| 326.067 (2009W) |
Seminar
Computer-Algebra I (Winter Semester 09) Weitere Infos |
Anmelden | SE | 2,00 | Franz Winkler | Wöchentlich |
| 326.00C (2009W) |
Spezialvorlesung
Parallel Algorithms in Symbolic Computation Weitere Infos |
Anmelden | VO | 2,00 | Tudor Jebelean | Wöchentlich |
| 326.00G (2009W) |
Spezialvorlesung
Schachprogrammierung Weitere Infos |
Anmelden | VO | 2,00 |
Heinrich Rolletschek
Stephan Winkler |
14-tägig |
| 326.00J (2009W) |
Spezialvorlesung
Formale Sprachen und formale Grammatiken II Weitere Infos |
Anmelden | VO | 2,00 | Nikolaj Popov | Wöchentlich |
| 326.032 (2009W) |
Spezialvorlesung
Homologische Algebra Weitere Infos |
Anmelden | VO | 2,00 | Günter Landsmann | Wöchentlich |
| 326.040 (2009W) |
Spezialvorlesung
Computer Algebra III: Advanced Topics on Groebner Bases Weitere Infos |
Anmelden | VO | 2,00 | Manuel Kauers | Wöchentlich |
| 326.044 (2009W) |
Spezialvorlesung
Symbolic Integral Operators and Boundary Problems 2 Weitere Infos |
Anmelden | VO | 2,00 |
Markus Rosenkranz
Georg Regensburger |
Wöchentlich |
| 326.054 (2009W) |
Spezialvorlesung
Symbolische Summation und Spezielle Funktionen I (Winter Semester 09) Weitere Infos |
Anmelden | VO | 2,00 | Peter Paule | Wöchentlich |
| 326.064 (2009W) |
Spezialvorlesung
Automatisches Beweisen I Weitere Infos |
Anmelden | VO | 2,00 | Tudor Jebelean | Wöchentlich |
| 326.089 (2009W) |
Spezialvorlesung
Nonlinear resonances: theory, computations, applications Weitere Infos |
Anmelden | VO | 2,00 | Elena Kartaschova | Wöchentlich |
| 326.00I (2009W) |
Spezielle Kapitel aus Informatik
Computeralgebra Weitere Infos |
Anmelden | KV | 3,00 |
Franz Winkler
Günter Landsmann |
Wöchentlich |
| 326.057 (2009W) |
Thinking, Speaking, Writing
Understanding and creating mathematical proofs Weitere Infos |
Anmelden | VO | 2,00 | Tudor Jebelean | Wöchentlich |
| 326.066 (2009W) |
Thinking, Speaking, Writing
Communication of scientific results Weitere Infos |
Anmelden | VO | 2,00 | Tudor Jebelean | Wöchentlich |
| 326.045 (2009W) | Vortragsreihe Symbolisches Rechnen | Anmelden | VO | 1,00 | Peter Paule | Wöchentlich |
|
Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail |