|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.030 (2019W) |
Algebraic combinatorics
Further information |
Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.101 (2019W) |
Algebraic combinatorics
Further information |
Register | UE | 1,0 | Silviu Radu | Weekly |
| 326.103 (2019W) |
Algorithms and data structures
Further information |
Register | UE | 1,0 | Ioana Cleopatra Pau | Weekly |
| 326.102 (2019W) |
Algorithms and data structures
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.027 (2019W) |
Analysis
Further information |
Register | UE | 2,0 | Günter Landsmann | Weekly |
| 326.022 (2019W) |
Analysis
Further information |
Register | VO | 2,0 | Carsten Schneider | Weekly |
| 326.110 (2019W) |
Analysis
Further information |
Register | UE | 2,0 | Elaine Wong | Weekly |
| 326.029 (2019W) |
Analysis
Further information |
Register | UE | 2,0 | Jakob Ablinger | Weekly |
| 326.055 (2019W) |
Analysis
Further information |
Register | UE | 2,0 | Johannes Middeke | Weekly |
| 326.056 (2019W) |
Analysis
Further information |
Register | UE | 2,0 | Johannes Middeke | Weekly |
| 326.012 (2019W) | Bachelor Seminar with Bachelor Thesis | Register | SE | 2,0 | Peter Paule | Weekly |
| 326.062 (2019W) |
Computability theory
Further information |
Register | VL | 2,0 | Heinrich Rolletschek | Weekly |
| 326.004 (2019W) |
Computability and Complexity
Further information |
Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.023 (2019W) |
Computability and Complexity
Further information |
Register | VO | 2,0 | Wolfgang Schreiner | Weekly |
| 326.111 (2019W) |
Computability and Complexity
Further information |
Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.016 (2019W) |
Computability and Complexity
Further information |
Register | UE | 1,0 | Ralf Hemmecke | Weekly |
| 326.104 (2019W) |
Computability and Complexity
Further information |
Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.050 (2019W) |
Computability and Complexity
Further information |
Register | UE | 1,0 | Ralf Hemmecke | Weekly |
| 326.010 (2019W) |
Computational Logic
Further information |
Register | VL | 2,0 | Tudor Jebelean | Weekly |
| 326.011 (2019W) |
Computational Logic
Further information |
Register | UE | 1,0 | Tudor Jebelean | Weekly |
| 326.105 (2019W) |
Computer Algebra
Further information |
Register | VL | 2,0 | Franz Winkler | Weekly |
| 326.031 (2019W) |
Computer Algebra
Further information |
Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.112 (2019W) |
Computer Algebra
Further information |
Register | UE | 1,0 | Johann Mitteramskogler | Weekly |
| 326.053 (2019W) |
Formal methods in software development
Further information |
Register | KV | 4,0 |
Wolfgang Schreiner
Janos Sztrik |
Weekly |
| 326.013 (2019W) |
Formal Methods in Software Development
Further information |
Register | KV | 3,0 | Wolfgang Schreiner | Weekly |
| 326.003 (2019W) |
Fundamentals of Numerical Analysis and Symbolic Computation
Rigidity Theory Further information |
Register | KV | 2,0 | Georg Grasegger | Weekly |
| 326.106 (2019W) |
Ordinary differential equations and dynamical systems
Further information |
Register | VL | 3,0 | Josef Schicho | Weekly |
| 326.107 (2019W) |
Ordinary differential equations and dynamical systems
Further information |
Register | UE | 1,0 | Sebastian Falkensteiner | Weekly |
| 326.058 (2019W) |
Linear algebra for physicists
Further information |
Register | UE | 2,0 | Robert Zillich | Weekly |
| 326.017 (2019W) |
Linear algebra for physicists
Further information |
Register | VL | 4,0 | Franz Winkler | Weekly |
| 326.067 (2019W) |
Linear algebra for physicists
Further information |
Register | UE | 2,0 | Sebastian Falkensteiner | Weekly |
| 326.048 (2019W) |
Logic as a working language
Further information |
Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.028 (2019W) |
Logic programming
Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.0XX (2019W) |
Seminar for graduate and doctoral students
Further information |
Register | SE | 2,0 | Peter Paule | Weekly |
| 326.0ZZ (2019W) |
Seminar for graduate and doctoral students
Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
| 326.0YY (2019W) | Seminar for graduate and doctoral students | Register | SE | 2,0 |
Tudor Jebelean
Bruno Buchberger |
Weekly |
| 326.704 (2019W) | Mathematics and Logic | Register | UE | 1,0 | Christoph Koutschan | Weekly |
| 326.701 (2019W) | Mathematics and Logic | Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.702 (2019W) | Mathematics and Logic | Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.705 (2019W) | Mathematics and Logic | Register | UE | 1,0 | Christoph Koutschan | Weekly |
| 326.700 (2019W) | Mathematics and Logic | Register | VL | 3,0 | Wolfgang Windsteiger | Weekly |
| 326.019 (2019W) |
Mathematical logic 1
Further information |
Register | VO | 4,0 | Tudor Jebelean | Weekly |
| 326.021 (2019W) |
Mathematical logic 1
Further information |
Register | UE | 1,0 | Tudor Jebelean | Weekly |
| 326.061 (2019W) |
Seminar logic and software design
Automated theorem proving I: Theorema: Autom. Reasoning in Natural Style Further information |
Register | SE | 2,0 |
Bruno Buchberger
Tudor Jebelean Teimuraz Kutsia Wolfgang Windsteiger |
Weekly |
| 326.063 (2019W) |
Seminar logic and software design
Project seminar Formal Methods I Further information |
Register | SE | 2,0 | Wolfgang Schreiner | Weekly |
| 326.060 (2019W) |
Seminar symbolic computation
Research Topics in Algebra and Combinatorics Further information |
Register | SE | 2,0 | Josef Schicho | Weekly |
| 326.015 (2019W) |
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation |
Register | SE | 2,0 | Clemens Hofreither | Weekly |
| 326.AK1 (2019W) |
Seminar symbolic computation
Project seminar Algorithmic Combinatorics I Further information |
Register | SE | 2,0 |
Peter Paule
Carsten Schneider |
Weekly |
| 326.CA1 (2019W) |
Seminar symbolic computation
Computer-algebra I Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
| 326.087 (2019W) |
Special Topics
Chess Programming Further information |
Register | VL | 2,0 |
Heinrich Rolletschek
Stephan Winkler |
Fortnightly |
| 326.901 (2019W) |
Special Topics
Formal Languages and Formal Grammars II Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.090 (2019W) |
Special Topics
Mathemtical Logic I Further information |
Register | KV | 3,0 | Tudor Jebelean | Weekly |
| 326.078 (2019W) |
Special topics logic and software design
Chess Programming Further information |
Register | VL | 2,0 |
Heinrich Rolletschek
Stephan Winkler |
Fortnightly |
| 326.00J (2019W) |
Special topics logic and software design
Formal Languages and Formal Grammars II Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.095 (2019W) |
Special Topics symbolic computation
Symbolic summation and special functions I Further information |
Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.069 (2019W) |
Special Topics symbolic computation
Category Theory for Symbolic Computation |
Register | VL | 2,0 | Günter Landsmann | Weekly |
| 326.066 (2019W) |
Thinking, Speaking, Writing
Communication of Scientific Results Further information |
Register | VO | 2,0 | Tudor Jebelean | Weekly |
| 326.057 (2019W) |
Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs Further information |
Register | VO | 2,0 | Tudor Jebelean | Weekly |
| 326.999 (2019W) |
Preparatory course mathematics for first-year students of Business Informatics
Further information |
Register | VK | 2,0 | Wolfgang Windsteiger | Block |
|
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |