Courses
Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
---|---|---|---|---|---|---|
326.102 (2024W) |
Algorithms and data structures
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
326.103 (2024W) |
Algorithms and data structures
Further information |
Register | UE | 1,0 | Ioana Cleopatra Pau | Weekly |
326.0AR (2024W) |
Automated Reasoning
Further information |
Register | VL | 3,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
326.012 (2024W) | Bachelor Seminar with Bachelor Thesis | Register | SE | 2,0 | Carsten Schneider | Weekly |
326.010 (2024W) |
Computational Logic
Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
326.011 (2024W) | Computational Logic | Register | UE | 1,0 | Nikolaj Popov | Weekly |
326.031 (2024W) |
Computer Algebra
Further information |
Register | UE | 1,0 | Günter Landsmann | Weekly |
326.105 (2024W) |
Computer Algebra
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
326.013 (2024W) |
Formal Methods in Software Development
Further information |
Register | KV | 3,0 | Wolfgang Schreiner | Weekly |
326.106 (2024W) |
Ordinary differential equations and dynamical systems
Further information |
Register | VL | 3,0 | Josef Schicho | Weekly |
326.107 (2024W) |
Ordinary differential equations and dynamical systems
Further information |
Register | UE | 1,0 | Josef Schicho | Weekly |
326.048 (2024W) |
Logic as a working language
Further information |
Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
326.0XX (2024W) | Master’s Thesis Seminar I | Register | SE | 2,0 | Carsten Schneider | Weekly |
326.300 (2024W) | Mathematics for Social and Economic Science | Register | KS | 2,0 |
Wolfgang Windsteiger
Philipp Langgruber |
Weekly |
326.700 (2024W) | Mathematics and Logic | Register | KV | 4,0 |
Wolfgang Windsteiger
Nikolaj Popov |
Weekly |
326.122 (2024W) |
Special Topics
Logic Programming Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
326.025 (2024W) |
Special Topics symbolic computation
Decidable logical theories Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
326.057 (2024W) |
Special Topics symbolic computation
Thinking, Speaking, Writing: Understanding and Creating Mathematical Proofs |
Register | VL | 2,0 | Silviu Radu | Weekly |
326.060 (2024W) |
Symbolic Computation
Research Topics in Algebra and Combinatorics |
Register | SE | 2,0 | Josef Schicho | Weekly |
326.063 (2024W) |
Symbolic Computation
Project seminar Formal Methods and Automated Reasoning Further information |
Register | SE | 2,0 |
Wolfgang Schreiner
Teimuraz Kutsia Wolfgang Windsteiger |
Weekly |
326.CA1 (2024W) |
Symbolic Computation
Computer Algebra and Applications Further information |
Register | SE | 2,0 | Carsten Schneider | Weekly |
326.999 (2024W) |
Preparatory course mathematics for first-year students of Business Informatics
Further information |
Register | VK | 2,0 | Wolfgang Windsteiger | Block |
326.116 (2024W) | Overview of Mathematics: Analysis | Register | KV | 2,0 | Günter Landsmann | Weekly |
326.114 (2024W) | Overview of Mathematics: Linear algebra | Register | KV | 2,0 | Niels Lubbes | Weekly |
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |