Courses
| Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.101 (2026W) |
Algebraic combinatorics
Further information |
Register | UE | 1,0 | Silviu Radu | Weekly |
| 326.030 (2026W) |
Algebraic Combinatorics
Further information |
Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.102 (2026W) |
Algorithms and data structures
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.103 (2026W) | Algorithms and data structures | Register | UE | 1,0 | Ioana Cleopatra Pau | Weekly |
| 326.012 (2026W) | Bachelor Seminar with Bachelor Thesis | Register | SE | 2,0 | Carsten Schneider | Weekly |
| 326.0KA (2026W) |
Commutative Algebra and Algebraic Geometry
Further information |
Register | VL | 2,0 | Josef Schicho | Weekly |
| 326.010 (2026W) |
Computational Logic
Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.011 (2026W) |
Computational Logic
Further information |
Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.031 (2026W) |
Computer Algebra
Further information |
Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.105 (2026W) |
Computer Algebra
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.013 (2026W) |
Formal Methods in Software Development
Further information |
Register | KV | 3,0 | Wolfgang Schreiner | Weekly |
| 326.106 (2026W) | Ordinary differential equations and dynamical systems | Register | VL | 3,0 | Josef Schicho | Weekly |
| 326.107 (2026W) | Ordinary differential equations and dynamical systems | Register | UE | 1,0 | Josef Schicho | Weekly |
| 326.048 (2026W) |
Logic as a working language
Further information |
Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.0XX (2026W) | Master’s Thesis Seminar I | Register | SE | 2,0 | Carsten Schneider | Weekly |
| 326.600 (2026W) | Mathematics for AI I | Register | VL | 4,0 |
Georg Regensburger
Clemens Hofstadler |
Weekly |
| 500.901 (2026W) |
Mathematics (VLG - Part 1)
Zuteilung erfolgt nach Bezahlung über den MUSSS-Shop € 75/SSt |
Register | KV | 2,0 | Günter Landsmann | Weekly |
| 500.902 (2026W) |
Mathematics (VLG - Part 1)
Zuteilung erfolgt nach Bezahlung über den MUSSS-Shop €75/SSt |
Register | KV | 2,0 | Günter Landsmann | Weekly |
| 500.903 (2026W) |
Mathematics (VLG - Part 2)
Zuteilung erfolgt nach Bezahlung über den MUSSS-Shop € 75/SSt |
Register | KV | 2,0 | Audie Warren | Weekly |
| 500.906 (2026W) |
Mathematics (VLG - Part 2)
Zuteilung erfolgt nach Bezahlung im MUSSS-Shop €75/SSt |
Register | KV | 2,0 | Niels Lubbes | Weekly |
| 500.904 (2026W) |
Mathematics (VLG - Part 3)
Zuteilung erfolgt nach Bezahlung über den MUSSS-Shop € 75/SSt |
Register | KV | 2,0 | Jose Capco | Weekly |
| 500.908 (2026W) |
Mathematics (VLG - Part 3)
Zuteilung erfolgt nach Bezahlung über den MUSSS-Shop €75/SSt |
Register | KV | 2,0 |
Josef Schicho
Josef Schicho |
Weekly |
| 326.300 (2026W) |
Mathematics for Social and Economic Science
Further information |
Register | KS | 2,0 |
Wolfgang Windsteiger
Philipp Langgruber |
Weekly |
| 326.700 (2026W) | Mathematics and Logic | Register | KV | 4,0 |
Wolfgang Windsteiger
Nikolaj Popov |
Weekly |
| 326.024 (2026W) |
Practical in Symbolic Computation
Logic Programming Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.036 (2026W) | Project seminar NaWi-Tec - major field of studies mathematics | Register | SE | 2,0 | Josef Schicho | Weekly |
| 326.122 (2026W) |
Special Topics
Logic Programming Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.025 (2026W) |
Special Topics Symbolic Computation
Decidable logical theories Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.034 (2026W) |
Special Topics Symbolic Computation
Homological Algebra Further information |
Register | VL | 2,0 | Günter Landsmann | Weekly |
| 326.035 (2026W) |
Special Topics Symbolic Computation
Elementary and sign vectors |
Register | VL | 2,0 | Georg Regensburger | Weekly |
| 326.057 (2026W) |
Special Topics Symbolic Computation
Thinking, Speaking, Writing: Understanding and Creating Mathematical Proofs |
Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.082 (2026W) |
Special Topics Symbolic Computation
Algorithmic Number Theory |
Register | VL | 2,0 | Jose Capco | Weekly |
| 326.060 (2026W) |
Symbolic Computation
Research Topics in Algebra and Combinatorics |
Register | SE | 2,0 | Josef Schicho | Weekly |
| 326.063 (2026W) |
Symbolic Computation
Project seminar Formal Methods and Automated Reasoning Further information |
Register | SE | 2,0 |
Wolfgang Windsteiger
Teimuraz Kutsia Wolfgang Schreiner |
Weekly |
| 326.092 (2026W) |
Symbolic Computation
Computational Mathematics |
Register | SE | 2,0 | Georg Regensburger | Weekly |
| 326.CA1 (2026W) |
Symbolic Computation
Computer Algebra and Applications Further information |
Register | SE | 2,0 | Carsten Schneider | Weekly |
| 326.079 (2026W) |
Symbolic Summation and Integration
Further information |
Register | VL | 3,0 | Carsten Schneider | Weekly |
| 326.116 (2026W) | Overview of Mathematics: Analysis | Register | KV | 2,0 |
Günter Landsmann
Günter Landsmann |
Weekly |
| 326.114 (2026W) | Overview of Mathematics: Linear algebra | Register | KV | 2,0 | Niels Lubbes | Weekly |
| 326.121 (2026W) | Overview of Mathematics: Probability theory | Register | KV | 2,0 | Josef Schicho | Weekly |
| 326.999 (2026W) | Preparatory course mathematics for first-year students of Business Informatics | Register | VK | 2,0 | Wolfgang Windsteiger | Block |
|
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |