Courses
| Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.102 (2025W) |
Algorithms and data structures
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.103 (2025W) |
Algorithms and data structures
Further information |
Register | UE | 1,0 | Ioana Cleopatra Pau | Weekly |
| 326.010 (2025W) |
Computational Logic
Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.011 (2025W) |
Computational Logic
Further information |
Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.031 (2025W) |
Computer Algebra
Further information |
Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.105 (2025W) |
Computer Algebra
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.006 (2025W) |
Formal Modelling
Further information |
Register | VL | 2,0 |
Carsten Schneider
Wolfgang Schreiner Wolfgang Windsteiger |
Weekly |
| 326.007 (2025W) |
Formal Modelling
Further information |
Register | PS | 2,0 |
Carsten Schneider
Wolfgang Schreiner Wolfgang Windsteiger |
Weekly |
| 326.013 (2025W) |
Formal Methods in Software Development
Further information |
Register | KV | 3,0 | Wolfgang Schreiner | Weekly |
| 326.106 (2025W) |
Ordinary differential equations and dynamical systems
Further information |
Register | VL | 3,0 | Josef Schicho | Weekly |
| 326.107 (2025W) | Ordinary differential equations and dynamical systems | Register | UE | 1,0 | Josef Schicho | Weekly |
| 326.048 (2025W) |
Logic as a working language
Further information |
Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.0XX (2025W) | Master’s Thesis Seminar I | Register | SE | 2,0 | Carsten Schneider | Weekly |
| 326.021 (2025W) |
Mathematical logic
Further information |
Register | UE | 1,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.019 (2025W) |
Mathematical Logic
Further information |
Register | VL | 2,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.500 (2025W) | Mathematics for AI III | Register | VL | 4,0 | Niels Lubbes | Weekly |
| 326.501 (2025W) | Mathematics for AI III | Register | UE | 2,0 | Josef Schicho | Weekly |
| 326.502 (2025W) | Mathematics for AI III | Register | UE | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.503 (2025W) | Mathematics for AI III | Register | UE | 2,0 | Jan-Michael Holzinger | Weekly |
| 326.504 (2025W) | Mathematics for AI III | Register | UE | 2,0 | Jose Capco | Weekly |
| 326.505 (2025W) | Mathematics for AI III | Register | UE | 2,0 |
Robert Vajda
N.N. N.N. |
Weekly |
| 326.506 (2025W) | Mathematics for AI III | Register | UE | 2,0 | Michalis Kokkinos | Weekly |
| 326.507 (2025W) | Mathematics for AI III | Register | UE | 2,0 | Waseem Alass | Weekly |
| 326.508 (2025W) | Mathematics for AI III | Register | UE | 2,0 | Nikolaj Popov | Weekly |
| 326.510 (2025W) | Mathematics for AI III | Register | UE | 2,0 | Tereso Del Rio Almajano | Weekly |
| 326.513 (2025W) | Mathematics for AI III | Register | KO | 2,0 | Jan-Michael Holzinger | Weekly |
| 500.902 (2025W) | Mathematics (VLG - Part 1) | Register | KV | 2,0 | Günter Landsmann | Weekly |
| 326.300 (2025W) |
Mathematics for Social and Economic Science
Further information |
Register | KS | 2,0 |
Wolfgang Windsteiger
Philipp Langgruber |
Weekly |
| 326.700 (2025W) |
Mathematics and Logic
Further information |
Register | KV | 4,0 |
Wolfgang Windsteiger
Nikolaj Popov |
Weekly |
| 326.121 (2025W) |
Practical in Symbolic Computation
Logic programming Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.090 (2025W) |
Special Topics
Mathematical Logic Further information |
Register | VL | 2,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.0UF (2025W) |
Special Topics
Symbolic Constraint Solving Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.122 (2025W) |
Special Topics
Logic Programming Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.901 (2025W) |
Special Topics
Formal Languages and Formal Grammars II Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.225 (2025W) |
Special Topics symbolic computation
Commutative Algebra Techniques for Scientists Further information |
Register | VL | 1,0 | Herwig Hauser | Block |
| 326.00B (2025W) |
Special Topics Symbolic Computation
Fixpoint Theory of Functional Programs Further information |
Register | VL | 2,0 | Nikolaj Popov | Block |
| 326.00J (2025W) |
Special Topics Symbolic Computation
Formal Languages and Formal Grammars II Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.057 (2025W) |
Special Topics Symbolic Computation
Thinking, Speaking, Writing: Understanding and Creating Mathematical Proofs |
Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.097 (2025W) |
Special Topics Symbolic Computation
Symbolic Constraint Solving Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.0AT (2025W) |
Special Topics Symbolic Computation
Algebraic Topology |
Register | VL | 2,0 | Günter Landsmann | Weekly |
| 326.0D1 (2025W) |
Special Topics Symbolic Computation
Design and analysis of algorithms Further information |
Register | VL | 2,0 | Ioana Cleopatra Pau | Weekly |
| 326.063 (2025W) |
Symbolic Computation
Project seminar Formal Methods and Automated Reasoning Further information |
Register | SE | 2,0 |
Teimuraz Kutsia
Wolfgang Schreiner Wolfgang Windsteiger |
Weekly |
| 326.CA1 (2025W) |
Symbolic Computation
Computer Algebra and Applications Further information |
Register | SE | 2,0 | Carsten Schneider | Weekly |
| 326.116 (2025W) | Overview of Mathematics: Analysis | Register | KV | 2,0 | Günter Landsmann | Weekly |
| 326.114 (2025W) | Overview of Mathematics: Linear algebra | Register | KV | 2,0 | Niels Lubbes | Weekly |
| 326.115 (2025W) | Overview of Mathematics: Probability theory | Register | KV | 2,0 | Josef Schicho | Weekly |
| 326.999 (2025W) |
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 |