|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.011 (2012W) |
Algorithms and data structures
Further information |
Register | KV | 2,00 | Carsten Schneider | Weekly |
| 326.002 (2012W) |
Algorithmic methods 1
Further information |
Register | KV | 2,00 | Wolfgang Windsteiger | Weekly |
| 326.022 (2012W) |
Analysis
Further information |
Register | VO | 2,00 | Manuel Kauers | Weekly |
| 326.027 (2012W) |
Analysis
Further information |
Register | UE | 2,00 | Monika Wolfmayr | Weekly |
| 326.055 (2012W) |
Analysis
Further information |
Register | UE | 2,00 | Philipp Birklbauer | Weekly |
| 326.056 (2012W) |
Analysis
Further information |
Register | UE | 2,00 | Christoph Koutschan | Weekly |
| 326.004 (2012W) |
Computability and Complexity
Further information |
Register | UE | 1,00 | Burkhard Zimmermann | Weekly |
| 326.016 (2012W) |
Computability and Complexity
Further information |
Register | UE | 1,00 | Ralf Hemmecke | Weekly |
| 326.023 (2012W) |
Computability and Complexity
Further information |
Register | VO | 2,00 | Wolfgang Schreiner | Weekly |
| 326.050 (2012W) |
Computability and Complexity
Further information |
Register | UE | 1,00 | Ralf Hemmecke | Weekly |
| 326.989 (2012W) |
Computer algebra
Further information |
Register | VL | 2,00 | Franz Winkler | Weekly |
| 326.990 (2012W) |
Computer algebra
Further information |
Register | UE | 1,00 | Günter Landsmann | Weekly |
| 326.046 (2012W) |
Computer Algebra for Concrete Mathematics
Further information |
Register | VL | 2,00 | Veronika Elisabeth Pillwein | Weekly |
| 326.047 (2012W) |
Computer Algebra for Concrete Mathematics
Further information |
Register | UE | 1,00 | Silviu Radu | Weekly |
| 326.008 (2012W) |
Computer-Based Working Environments
Further information |
Register | KV | 1,00 |
Károly Erdei
Wolfgang Windsteiger Ralf Hemmecke |
Block |
| 326.025 (2012W) |
Decidable logical theories
Further information |
Register | VO | 2,00 | Heinrich Rolletschek | Weekly |
| 326.026 (2012W) |
Design and analysis of algorithms
Further information |
Register | VO | 2,00 | Heinrich Rolletschek | Weekly |
| 326.053 (2012W) |
Formal methods in software development
Further information |
Register | KV | 4,00 |
Wolfgang Schreiner
Mykola Nikitchenko |
Weekly |
| 326.013 (2012W) |
Formal Methods in Software Development
Further information |
Register | KV | 3,00 | Wolfgang Schreiner | Weekly |
| 326.003 (2012W) |
Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 12 Further information |
Register | KV | 2,00 |
Bruno Buchberger
Walter Zulehner Peter Paule Ronny Ramlau Franz Winkler Bert Jüttler Josef Schicho Ulrich Langer Manuel Kauers |
Weekly |
| 326.005 (2012W) |
Ordinary differential equations and dynamical systems 1
Further information |
Register | KV | 5,00 |
Josef Schicho
Georg Regensburger |
Weekly |
| 326.015 (2012W) |
Information systems
Further information |
Register | KV | 2,00 | Nikolaj Popov | Weekly |
| 326.073 (2012W) |
Linear algebra and analytic geometry 1
Further information |
Register | UE | 2,00 | Christian Irrgeher | Weekly |
| 326.074 (2012W) |
Linear algebra and analytic geometry 1
Further information |
Register | KO | 2,00 | Günter Landsmann | Weekly |
| 326.092 (2012W) |
Linear algebra and analytic geometry 1
Further information |
Register | UE | 2,00 | Manuela Wiesinger-Widi | Weekly |
| 326.093 (2012W) |
Linear algebra and analytic geometry 1
Further information |
Register | UE | 2,00 | Burkhard Zimmermann | Weekly |
| 326.0LA (2012W) |
Linear algebra and analytic geometry 1
Further information |
Register | VO | 5,00 | Peter Paule | Weekly |
| 326.LA1 (2012W) |
Linear algebra and analytic geometry 1
Further information |
Register | UE | 2,00 | Peter Mayr | Weekly |
| 326.LA2 (2012W) |
Linear algebra and analytic geometry 1
Further information |
Register | UE | 2,00 | Georg Grasegger | Weekly |
| 326.028 (2012W) |
Logic programming
Further information |
Register | KV | 2,00 | Teimuraz Kutsia | Weekly |
| 326.0XX (2012W) |
Seminar for graduate and doctoral students
Winter Semester 12 Further information |
Register | SE | 2,00 | Peter Paule | Weekly |
| 326.0YY (2012W) |
Seminar for graduate and doctoral students
Winter Semester 12 |
Register | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Weekly |
| 326.0ZZ (2012W) |
Seminar for graduate and doctoral students
Winter Semester 12 Further information |
Register | SE | 2,00 | Franz Winkler | Weekly |
| 326.700 (2012W) | Mathematics and Logic | Register | VO | 3,00 | Veronika Elisabeth Pillwein | Weekly |
| 326.701 (2012W) |
Mathematics and Logic
Further information |
Register | UE | 1,00 |
Veronika Elisabeth Pillwein
Richard Lechner |
Weekly |
| 326.702 (2012W) |
Mathematics and Logic
Further information |
Register | UE | 1,00 |
Veronika Elisabeth Pillwein
Richard Lechner |
Weekly |
| 357.201 (2012W) |
Mathematical Foundations
Further information |
Register | UE | 2,00 | Wolfgang Windsteiger | Weekly |
| 326.019 (2012W) |
Mathematical logic 1
Further information |
Register | VO | 4,00 | Tudor Jebelean | Weekly |
| 326.021 (2012W) |
Mathematical logic 1
Further information |
Register | UE | 1,00 | Tudor Jebelean | Weekly |
| 326.049 (2012W) |
Programming project symbolic computation
Computer algebra, Logic, and Software design I Further information |
Register | KV | 2,00 | Ralf Hemmecke | Weekly |
| 326.000 (2012W) |
Seminar logic and software design
Automated theorem proving I: Theorema: Autom. Reasoning in Natural Style (Winter Semester 12) Further information |
Register | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Weekly |
| 326.FM1 (2012W) |
Seminar logic and software design
Formal Methods I (Winter Semester 12) Further information |
Register | SE | 2,00 |
Wolfgang Schreiner
Franz Lichtenberger |
Weekly |
| 326.085 (2012W) |
Seminar symbolic computation
Projectseminar Computer-algebra I Further information |
Register | SE | 2,00 | Franz Winkler | Weekly |
| 326.0TP (2012W) |
Seminar symbolic computation
Symbolic Summation for Particle Physics |
Register | SE | 2,00 | Carsten Schneider | Weekly |
| 326.AK1 (2012W) |
Seminar symbolic computation
Algorithmic Combinatorics I Further information |
Register | SE | 2,00 | Peter Paule | Weekly |
| 326.CA1 (2012W) |
Seminar symbolic computation
Computer-Algebra I Further information |
Register | SE | 2,00 | Franz Winkler | Weekly |
| 326.00B (2012W) |
Special topics logic and software design
Fixpoint Theory of Functional Programs Further information |
Register | VL | 2,00 | Nikolaj Popov | Block |
| 326.075 (2012W) |
Special Topics symbolic computation
Symbolic Summation and Special Functions I (Winter Semester 12) Further information |
Register | VL | 2,00 | Silviu Radu | Weekly |
| 326.0AT (2012W) |
Special Topics symbolic computation
Algebraic Topology Further information |
Register | VL | 2,00 | Günter Landsmann | Weekly |
| 326.00I (2012W) |
Special Topics in Computer Science
Computer algebra Further information |
Register | KV | 3,00 |
Franz Winkler
Günter Landsmann |
Weekly |
| 326.I01 (2012W) |
Special Topics in Computer Science
Analytical Combinatorics Further information |
Register | KV | 3,00 | Veronika Elisabeth Pillwein | Weekly |
| 326.I02 (2012W) |
Special Topics in Computer Science
Mathematical Logic I Further information |
Register | KV | 3,00 | Tudor Jebelean | Weekly |
| 326.057 (2012W) |
Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs Further information |
Register | VO | 2,00 | Tudor Jebelean | Weekly |
| 326.066 (2012W) |
Thinking, Speaking, Writing
Communication of Scientific Results Further information |
Register | VO | 2,00 | Tudor Jebelean | Weekly |
| 326.999 (2012W) |
Preparatory course mathematics for first-year students of Business Informatics
Further information |
Register | VK | 2,00 | Veronika Elisabeth Pillwein | Block |
|
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |