|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.001 (2026S) |
Algortithmic Combinatorics
Further information |
Register | VL | 2,0 | Veronika Pillwein | Weekly |
| 326.002 (2026S) |
Algorithmic Combinatorics
Further information |
Register | UE | 1,0 | Silviu Radu | Weekly |
| 326.003 (2026S) | Algorithmic methods | Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.0AR (2026S) |
Automated Reasoning
Further information |
Register | VL | 3,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.012 (2026S) | Bachelor Seminar with Bachelor Thesis | Register | SE | 2,0 | Carsten Schneider | Weekly |
| 326.046 (2026S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.047 (2026S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | UE | 1,0 | Silviu Radu | Weekly |
| 326.703 (2026S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.712 (2026S) | Formal Foundations in Business Informatics | Register | VL | 3,0 | Nikolaj Popov | Weekly |
| 326.714 (2026S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.715 (2026S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.718 (2026S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.113 (2026S) | Master’s Thesis Seminar II | Register | SE | 2,0 | Carsten Schneider | Weekly |
| 500.902 (2026S) |
Mathematics (VLG - Part 1)
Zuteilung erfolgt nach Bezahlung über den MUSSS-Shop €75/SSt |
Register | KV | 2,0 | Günter Landsmann | Weekly |
| 500.906 (2026S) |
Mathematics (VLG - Part 2)
Zuteilung erfolgt nach Bezahlung im MUSSS-Shop €75/SSt |
Register | KV | 2,0 | Audie Warren | Weekly |
| 500.908 (2026S) |
Mathematics (VLG - Part 3)
Zuteilung erfolgt nach Bezahlung über den MUSSS-Shop €75/SSt |
Register | KV | 2,0 | Jose Capco | Weekly |
| 326.300 (2026S) | Mathematics for Social and Economic Science | Register | KS | 2,0 |
Wolfgang Windsteiger
Philipp Langgruber |
Weekly |
| 326.295 (2026S) |
Parallel Computing
Further information |
Register | KV | 3,0 |
Wolfgang Schreiner
Alois Zoitl |
Weekly |
| 326.054 (2026S) |
Practical in Symbolic Computation
Functional programming Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.062 (2026S) |
Practical in Symbolic Computation
Programming in Mathematica Further information |
Register | KV | 2,0 | Ralf Hemmecke | Weekly |
| 326.005 (2026S) |
Programming 2
Further information |
Register | KV | 2,0 | Wolfgang Schreiner | Weekly |
| 326.087 (2026S) |
Special Topics
Functional Programming Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.0AD (2026S) |
Special Topics
Introduction to Parallel and Distributed Computing Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.0MM (2026S) |
Special Topics
Programming in Mathematica Further information |
Register | KV | 2,0 | Ralf Hemmecke | Weekly |
| 326.0VR (2026S) |
Special Topics
Formal Specification of Abstract Datatypes Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.902 (2026S) |
Special Topics
Gödel's Incompleteness Theorems |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.055 (2026S) |
Special Topics Symbolic Computation
Computability Theory Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.076 (2026S) |
Special Topics Symbolic Computation
Formal Specification of Abstract Datatypes Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.080 (2026S) |
Special Topics Symbolic Computation
Symbolic Linear Algebra Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.081 (2026S) |
Special Topics Symbolic Computation
Introduction to Parallel and Distributed Computing Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.091 (2026S) | Special Topics Symbolic Computation | Register | VL | 2,0 | Georg Regensburger | Weekly |
| 326.0SR (2026S) |
Special Topics Symbolic Computation
Mathematical Methods in Kinematics Further information |
Register | VL | 2,0 | Josef Schicho | Weekly |
| 326.060 (2026S) |
Symbolic Computation
History and Philosophy of Mathematics |
Register | SE | 2,0 | Josef Schicho | Weekly |
| 326.063 (2026S) |
Symbolic Computation
Project seminar Formal Methods and Automated Reasoning Further information |
Register | SE | 2,0 |
Teimuraz Kutsia
Wolfgang Schreiner Wolfgang Windsteiger |
Weekly |
| 326.092 (2026S) | Symbolic Computation | Register | SE | 2,0 | Georg Regensburger | Weekly |
| 326.CA1 (2026S) |
Symbolic Computation
Computer Algebra and Applications Further information |
Register | SE | 2,0 | Carsten Schneider | Weekly |
| 326.116 (2026S) | Overview of Mathematics: Analysis | Register | KV | 2,0 | Günter Landsmann | Weekly |
| 326.114 (2026S) | Overview of Mathematics: Linear algebra | Register | KV | 2,0 | Niels Lubbes | Weekly |
| 326.121 (2026S) | Overview of Mathematics: Probability theory | Register | KV | 2,0 | Josef Schicho | Weekly |
|
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |