|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.001 (2024S) |
Algortithmic Combinatorics
Further information |
Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.002 (2024S) | Algortithmic Combinatorics | Register | UE | 1,0 | Koustav Banerjee | Weekly |
| 326.003 (2024S) | Algorithmic methods | Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.012 (2024S) | Bachelor Seminar with Bachelor Thesis | Register | SE | 2,0 | Carsten Schneider | Weekly |
| 326.055 (2024S) |
Computability theory
Computability theory Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.046 (2024S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.047 (2024S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | UE | 1,0 |
Koustav Banerjee
Silviu Radu |
Weekly |
| 326.703 (2024S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.712 (2024S) | Formal Foundations in Business Informatics | Register | VL | 3,0 | Nikolaj Popov | Weekly |
| 326.714 (2024S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.715 (2024S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.718 (2024S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.006 (2024S) |
Formal Modelling
Further information |
Register | VL | 2,0 |
Wolfgang Schreiner
Carsten Schneider Wolfgang Windsteiger |
Weekly |
| 326.081 (2024S) |
Introduction to parallel and distributed computing
Introduction to parallel and distriputed computing Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.113 (2024S) | Master’s Thesis Seminar II | Register | SE | 2,0 | Carsten Schneider | Weekly |
| 326.019 (2024S) |
Mathematical Logic
Further information |
Register | VL | 2,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.021 (2024S) |
Mathematical logic
Further information |
Register | UE | 1,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.300 (2024S) |
Mathematics for Social and Economic Science
Further information |
Register | KS | 2,0 |
Wolfgang Windsteiger
Philipp Langgruber |
Weekly |
| 326.295 (2024S) |
Parallel Computing
Further information |
Register | KV | 3,0 |
Wolfgang Schreiner
Alois Zoitl |
Weekly |
| 326.054 (2024S) |
Practical in Symbolic Computation
Functional programming Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.005 (2024S) |
Programming 2
Further information |
Register | KV | 2,0 | Wolfgang Schreiner | Weekly |
| 326.900 (2024S) | Project Practical | Register | PR | 5,0 | Carsten Schneider | Weekly |
| 326.087 (2024S) |
Special Topics
Functional Programming Further information |
Register | VL | 2,0 |
Teimuraz Kutsia
Ioana Cleopatra Pau |
Weekly |
| 326.090 (2024S) |
Special Topics
Mathematical Logic Further information |
Register | VL | 2,0 |
Teimuraz Kutsia
Tudor Jebelean |
Weekly |
| 326.0AD (2024S) |
Special Topics
Introduction to Parallel and Distributed Computing Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.0VR (2024S) |
Special Topics
Formal Specification of Abstract Datatypes Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.076 (2024S) |
Special Topics symbolic computation
Formal Specification of Abstract Datatypes Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.097 (2024S) |
Special Topics symbolic computation
Unification Theory Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.060 (2024S) |
Symbolic Computation
History and Philosophy of Mathematics |
Register | SE | 2,0 | Josef Schicho | Weekly |
| 326.099 (2024S) |
Symbolic Computation
Project seminar Formal Methods and Automated Reasoning II Further information |
Register | SE | 2,0 |
Wolfgang Schreiner
Teimuraz Kutsia Wolfgang Windsteiger |
Weekly |
| 326.0CA (2024S) |
Symbolic Computation
Computer Algebra and Applications II Further information |
Register | SE | 2,0 |
Carsten Schneider
Koustav Banerjee Silviu Radu |
Weekly |
| 326.116 (2024S) | Overview of Mathematics: Analysis | Register | KV | 2,0 | Günter Landsmann | Weekly |
| 326.114 (2024S) | Overview of Mathematics: Linear algebra | Register | KV | 2,0 |
Niels Lubbes
Niels Lubbes |
Weekly |
| 326.121 (2024S) | Overview of Mathematics: Probability theory | Register | KV | 2,0 | Josef Schicho | Weekly |
|
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |