|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.101 (2021W) |
Algebraic combinatorics
Further information |
Register | UE | 1,0 | Koustav Banerjee | Weekly |
| 326.030 (2021W) |
Algebraic combinatorics
Further information |
Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.102 (2021W) |
Algorithms and data structures
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.103 (2021W) |
Algorithms and data structures
Further information |
Register | UE | 1,0 | Ioana Cleopatra Pau | Weekly |
| 326.022 (2021W) |
Analysis
Further information |
Register | VO | 2,0 | Carsten Schneider | Weekly |
| 326.055 (2021W) |
Analysis
Further information |
Register | UE | 2,0 | Sebastian Falkensteiner | Weekly |
| 326.056 (2021W) |
Analysis
Further information |
Register | UE | 2,0 | Nicolas Smoot | Weekly |
| 326.029 (2021W) |
Analysis
Further information |
Register | UE | 2,0 | Veronika Elisabeth Pillwein | Weekly |
| 326.027 (2021W) |
Analysis
Further information |
Register | UE | 2,0 | Günter Landsmann | Weekly |
| 326.109 (2021W) |
Automated Reasoning
Further information |
Register | UE | 1,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.0AR (2021W) |
Automated Reasoning
Further information |
Register | VL | 2,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.012 (2021W) | Bachelor Seminar with Bachelor Thesis | Register | SE | 2,0 |
Peter Paule
Bruno Buchberger Ralf Hemmecke Tudor Jebelean Teimuraz Kutsia Günter Landsmann Josef Schicho Carsten Schneider Wolfgang Schreiner Wolfgang Windsteiger Franz Winkler |
Weekly |
| 326.0UK (2021W) | Commutative algebra and algebraic geometry | Register | UE | 1,0 |
Josef Schicho
Mehdi Makhul |
Weekly |
| 326.0KA (2021W) |
Commutative algebra and algebraic geometry
Further information |
Register | VL | 2,0 | Matteo Gallet | Weekly |
| 326.010 (2021W) |
Computational Logic
Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.011 (2021W) |
Computational Logic
Further information |
Register | UE | 1,0 | Wolfgang Schreiner | Weekly |
| 326.223 (2021W) |
Computational Logics for AI
Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.224 (2021W) | Computational Logics for AI | Register | UE | 1,0 | Ioana Cleopatra Pau | Weekly |
| 326.031 (2021W) |
Computer Algebra
Further information |
Register | UE | 1,0 | Johann Mitteramskogler | Weekly |
| 326.105 (2021W) |
Computer Algebra
Further information |
Register | VL | 2,0 | Franz Winkler | Weekly |
| 326.013 (2021W) |
Formal Methods in Software Development
Further information |
Register | KV | 3,0 | Wolfgang Schreiner | Weekly |
| 326.106 (2021W) |
Ordinary differential equations and dynamical systems
Further information |
Register | VL | 3,0 |
Josef Schicho
Sebastian Falkensteiner |
Weekly |
| 326.107 (2021W) |
Ordinary differential equations and dynamical systems
Further information |
Register | UE | 1,0 | Sebastian Falkensteiner | Weekly |
| 326.048 (2021W) |
Logic as a working language
Further information |
Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.0XX (2021W) | Master's Thesis Seminar I | Register | SE | 2,0 |
Peter Paule
Bruno Buchberger Ralf Hemmecke Tudor Jebelean Teimuraz Kutsia Günter Landsmann Josef Schicho Carsten Schneider Wolfgang Schreiner Wolfgang Windsteiger Franz Winkler |
Weekly |
| 326.019 (2021W) |
Mathematical logic 1
Further information |
Register | VL | 2,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.021 (2021W) |
Mathematical logic 1
Further information |
Register | UE | 1,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.701 (2021W) |
Mathematics and Logic
Further information |
Register | UE | 1,0 | Sebastian Falkensteiner | Weekly |
| 326.700 (2021W) |
Mathematics and Logic
Further information |
Register | VL | 3,0 | Wolfgang Windsteiger | Weekly |
| 326.121 (2021W) |
Practical in Logic and Software Design
Logic programming Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.063 (2021W) |
Seminar logic and software design
Project seminar Formal Methods and automated Reasoning I Further information |
Register | SE | 2,0 |
Wolfgang Schreiner
Teimuraz Kutsia Wolfgang Windsteiger |
Weekly |
| 326.060 (2021W) |
Seminar symbolic computation
Research Topics in Algebra and Combinatorics |
Register | SE | 2,0 |
Josef Schicho
Christoph Koutschan N.N. N.N. |
Weekly |
| 326.AK1 (2021W) |
Seminar symbolic computation
Project seminar Algorithmic Combinatorics I Further information |
Register | SE | 2,0 |
Peter Paule
Carsten Schneider |
Weekly |
| 326.015 (2021W) |
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation Further information |
Register | SE | 2,0 | Veronika Elisabeth Pillwein | Weekly |
| 326.054 (2021W) |
Special Functions and Symbolic Summation
Further information |
Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.122 (2021W) |
Special Topics
Logic Programming Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.057 (2021W) |
Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs Further information |
Register | VO | 2,0 | Tudor Jebelean | Weekly |
| 326.114 (2021W) |
Overview of Mathematics I
Schülergruppe |
Register | VL | 1,0 | Georg Grasegger | Weekly |
| 326.116 (2021W) | Overview of Mathematics III | Register | VL | 2,0 |
Georg Grasegger
Niels Lubbes |
Weekly |
| 326.999 (2021W) |
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 |