Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
---|---|---|---|---|---|---|
326.011 (2014W) |
Algorithms and data structures
Further information |
Register | KV | 2,00 | Carsten Schneider | Weekly |
326.009 (2014W) |
Algorithmic combinatorics
Further information |
Register | VO | 2,00 | Peter Paule | Weekly |
326.043 (2014W) |
Algorithmic combinatorics
Further information |
Register | UE | 1,00 | Peter Paule | Weekly |
326.002 (2014W) |
Algorithmic methods 1
Further information |
Register | KV | 2,00 | Wolfgang Windsteiger | Weekly |
326.022 (2014W) |
Analysis
Further information |
Register | VO | 2,00 | Manuel Kauers | Weekly |
326.027 (2014W) |
Analysis
Further information |
Register | UE | 2,00 | Alexander Baumgartner | Weekly |
326.029 (2014W) |
Analysis
Further information |
Register | UE | 2,00 | Johanna Penteker | Weekly |
326.056 (2014W) |
Analysis
Further information |
Register | UE | 2,00 | Alexander Maletzky | Weekly |
326.004 (2014W) |
Computability and Complexity
Further information |
Register | UE | 1,00 | Nikolaj Popov | Weekly |
326.016 (2014W) |
Computability and Complexity
Further information |
Register | UE | 1,00 | Ralf Hemmecke | Weekly |
326.023 (2014W) |
Computability and Complexity
Further information |
Register | VO | 2,00 | Wolfgang Schreiner | Weekly |
326.050 (2014W) |
Computability and Complexity
Further information |
Register | UE | 1,00 | Ralf Hemmecke | Weekly |
326.010 (2014W) |
Computer Algebra
Further information |
Register | VL | 2,00 | Franz Winkler | Weekly |
326.031 (2014W) |
Computer Algebra
Further information |
Register | UE | 1,00 | Günter Landsmann | Weekly |
326.008 (2014W) |
Computer-Based Working Environments
Further information |
Register | KV | 1,00 |
Károly Erdei
Ralf Hemmecke |
Block |
326.0D1 (2014W) |
Design and Analysis of Algorithms
Further information |
Register | VL | 2,00 | Heinrich Rolletschek | Weekly |
357.211 (2014W) |
Discrete Structures
Further information |
Register | UE | 1,00 | Wolfgang Windsteiger | Weekly |
357.212 (2014W) |
Discrete Structures
Further information |
Register | UE | 1,00 | Wolfgang Windsteiger | Weekly |
326.025 (2014W) |
Decidable logical theories
Further information |
Register | VO | 2,00 | Heinrich Rolletschek | Weekly |
326.053 (2014W) |
Formal methods in software development
Further information |
Register | KV | 4,00 |
Wolfgang Schreiner
Janos Sztrik |
Weekly |
326.013 (2014W) |
Formal Methods in Software Development
Further information |
Register | KV | 3,00 | Wolfgang Schreiner | Weekly |
326.003 (2014W) |
Fundamentals of Numerical Analysis and Symbolic Computation
Geometric algorithms for scientific computing in C++ (Winter Semester 14) Further information |
Register | KV | 2,00 | Angelos Mantzaflaris | Weekly |
326.005 (2014W) | Ordinary differential equations and dynamical systems 1 | Register | KV | 5,00 |
Josef Schicho
Georg Regensburger |
Weekly |
326.015 (2014W) |
Information systems
Further information |
Register | KV | 2,00 | Nikolaj Popov | Weekly |
326.036 (2014W) |
Linear algebra and analytic geometry 1
Further information |
Register | VO | 5,00 | Franz Winkler | Weekly |
326.045 (2014W) |
Linear algebra and analytic geometry 1
Further information |
Register | UE | 2,00 | Günter Landsmann | Weekly |
326.051 (2014W) | Linear algebra and analytic geometry 1 | Register | UE | 2,00 | Franz Binder | Weekly |
326.073 (2014W) | Linear algebra and analytic geometry 1 | Register | UE | 2,00 | Peter Mayr | Weekly |
326.074 (2014W) |
Linear algebra and analytic geometry 1
Further information |
Register | KO | 2,00 | Günter Landsmann | Weekly |
326.092 (2014W) |
Linear algebra and analytic geometry 1
Further information |
Register | UE | 2,00 | Georg Grasegger | Weekly |
326.093 (2014W) |
Linear algebra and analytic geometry 1
Further information |
Register | UE | 2,00 | Josef Schicho | Weekly |
326.LA3 (2014W) |
Linear algebra and analytic geometry 1
Further information |
Register | UE | 2,00 | Burkhard Zimmermann | Weekly |
342.209 (2014W) |
Logic
Further information |
Register | UE | 1,00 |
Armin Biere
Wolfgang Schreiner Martina Seidl Wolfgang Windsteiger |
Weekly |
342.208 (2014W) |
Logic
Further information |
Register | VL | 2,00 |
Armin Biere
Wolfgang Schreiner Martina Seidl Wolfgang Windsteiger |
Weekly |
326.028 (2014W) |
Logic programming
Further information |
Register | KV | 2,00 | Teimuraz Kutsia | Weekly |
326.026 (2014W) |
Seminar for graduate and doctoral students
Winter Semester 14 Further information |
Register | SE | 2,00 | Franz Winkler | Weekly |
326.030 (2014W) |
Seminar for graduate and doctoral students
Winter Semester 14 Further information |
Register | SE | 2,00 | Peter Paule | Weekly |
326.033 (2014W) |
Seminar for graduate and doctoral students
Winter Semester 14 |
Register | SE | 2,00 |
Tudor Jebelean
Bruno Buchberger |
Weekly |
326.700 (2014W) |
Mathematics and Logic
Further information |
Register | VL | 3,00 | Wolfgang Windsteiger | Weekly |
326.701 (2014W) |
Mathematics and Logic
Further information |
Register | UE | 1,00 | Wolfgang Windsteiger | Weekly |
326.702 (2014W) | Mathematics and Logic | Register | UE | 1,00 | Richard Lechner | Weekly |
326.019 (2014W) |
Mathematical logic 1
Further information |
Register | VO | 4,00 | Tudor Jebelean | Weekly |
326.021 (2014W) |
Mathematical logic 1
Further information |
Register | UE | 1,00 | Tudor Jebelean | Weekly |
326.049 (2014W) |
Programming project symbolic computation
Computer algebra, Logic and Softwaredesign I Further information |
Register | KV | 2,00 | Ralf Hemmecke | Weekly |
326.098 (2014W) |
Seminar logic and software design
Project seminar Automated theorem proving I: Theorema Mathematical Theory Exploration Further information |
Register | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Weekly |
326.099 (2014W) |
Seminar logic and software design
Project seminar Formal Methods I (Winter Semester 14) Further information |
Register | SE | 2,00 |
Wolfgang Schreiner
Franz Lichtenberger |
Weekly |
326.001 (2014W) |
Seminar symbolic computation
Computer-Algebra I (Winter Semester 14) Further information |
Register | SE | 2,00 | Franz Winkler | Weekly |
326.060 (2014W) |
Seminar symbolic computation
Algorithmic Algebra |
Register | SE | 2,00 | Josef Schicho | Weekly |
326.085 (2014W) |
Seminar symbolic computation
Projectseminar Computer-algebra I Further information |
Register | SE | 2,00 | Franz Winkler | Weekly |
326.096 (2014W) |
Seminar symbolic computation
Project seminar Algorithmic combinatorics I (Winter semester 14) Further information |
Register | SE | 2,00 |
Peter Paule
Manuel Kauers Carsten Schneider |
Weekly |
326.075 (2014W) |
Special Topics symbolic computation
Symbolic Summation and Special Functions I (Winter Semester 14) Further information |
Register | VL | 2,00 | Silviu Radu | Weekly |
326.0AT (2014W) |
Special Topics symbolic computation
Homological Algebra Further information |
Register | VL | 2,00 | Günter Landsmann | Weekly |
326.057 (2014W) |
Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs Further information |
Register | VO | 2,00 | Tudor Jebelean | Weekly |
326.066 (2014W) |
Thinking, Speaking, Writing
Communication of Scientific Results Further information |
Register | VO | 2,00 | Tudor Jebelean | Weekly |
326.999 (2014W) |
Preparatory course mathematics for first-year students of Business Informatics
Further information |
Register | VK | 2,00 | Monika Wolfmayr | Block |
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |