Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
---|---|---|---|---|---|---|
326.002 (2021S) | Algortithmic Combinatorics | Register | UE | 1,0 | Silviu Radu | Weekly |
326.001 (2021S) |
Algortithmic Combinatorics
Further information |
Register | VL | 2,0 | Veronika Elisabeth Pillwein | Weekly |
326.003 (2021S) |
Algorithmic methods
Further information |
Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
326.012 (2021S) | Bachelor Seminar with Bachelor Thesis | Register | SE | 2,0 |
Peter Paule
Bruno Buchberger Ralf Hemmecke Tudor Jebelean Teimuraz Kutsia Josef Schicho Carsten Schneider Wolfgang Schreiner Wolfgang Windsteiger Franz Winkler |
Weekly |
326.046 (2021S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
326.047 (2021S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | UE | 1,0 | Silviu Radu | Weekly |
326.079 (2021S) |
Computer Analysis
Further information |
Register | VL | 2,0 | Franz Winkler | Weekly |
326.009 (2021S) | Introductory Exercises in Mathematics | Register | UE | 2,0 | Sebastian Falkensteiner | Weekly |
326.712 (2021S) | Formal Foundations in Business Informatics | Register | VL | 3,0 | Nikolaj Popov | Weekly |
326.715 (2021S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Nikolaj Popov | Weekly |
326.718 (2021S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Günter Landsmann | Weekly |
326.703 (2021S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Günter Landsmann | Weekly |
326.714 (2021S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Nikolaj Popov | Weekly |
326.006 (2021S) |
Formal Modelling
Further information |
Register | VL | 2,0 |
Wolfgang Schreiner
Carsten Schneider Wolfgang Windsteiger |
Weekly |
326.007 (2021S) |
Formal Modelling
Further information |
Register | PS | 2,0 |
Wolfgang Schreiner
Carsten Schneider Wolfgang Windsteiger |
Weekly |
326.0FS (2021S) |
Formal Semantics of Programming Languages
Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
326.113 (2021S) | Master's Thesis Seminar II | Register | SE | 2,0 |
Peter Paule
Bruno Buchberger Ralf Hemmecke Tudor Jebelean Teimuraz Kutsia Josef Schicho Carsten Schneider Wolfgang Schreiner Wolfgang Windsteiger Franz Winkler |
Weekly |
357.301 (2021S) |
Mathematics for Social and Economic Science
Further information |
Register | KS | 2,0 | Wolfgang Windsteiger | Weekly |
326.054 (2021S) |
Practical in Logic and Software Design
Functional programming Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
326.062 (2021S) |
Practical in Logic and Software Design
Programming in Mathematica Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
326.041 (2021S) |
Practical Software Technology
Further information |
Register | KV | 3,0 | Ioana Cleopatra Pau | Weekly |
326.005 (2021S) |
Programming 2
Further information |
Register | KV | 2,0 | Wolfgang Schreiner | Weekly |
326.065 (2021S) |
Rewriting in Computer Science and Logic
Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
326.099 (2021S) |
Seminar logic and software design
Project seminar Formal Methods II Further information |
Register | SE | 2,0 | Wolfgang Schreiner | Weekly |
326.0CA (2021S) |
Seminar symbolic computation
Computer algebra II Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
326.060 (2021S) |
Seminar symbolic computation
History and Philosophy of Mathematics |
Register | SE | 2,0 | Josef Schicho | Weekly |
326.015 (2021S) |
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation |
Register | SE | 2,0 | Veronika Elisabeth Pillwein | Weekly |
326.096 (2021S) |
Seminar symbolic computation
Project seminar Algorithmic combinatorics II Further information |
Register | SE | 2,0 |
Peter Paule
Carsten Schneider |
Weekly |
326.0MM (2021S) |
Special Topics
Programming in Mathematica Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
326.087 (2021S) |
Special Topics
Functional Programming Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
326.0VR (2021S) |
Special Topics
Formal Models of Parallel and Distributed Systems Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
326.095 (2021S) |
Special Topics symbolic computation
Special Functions and Symbolic Summation II Further information |
Register | VL | 2,0 | Silviu Radu | Weekly |
326.133 (2021S) |
Special Topics symbolic computation
Tropical Geometry Further information |
Register | VL | 1,0 | Sebastian Falkensteiner | Weekly |
326.00D (2021S) |
Special Topics symbolic computation
Special Functions and Symbolic Summation II |
Register | UE | 1,0 | Nicolas Smoot | Weekly |
326.114 (2021S) | Overview of Mathematics I | Register | VL | 1,0 | Josef Schicho | Weekly |
326.115 (2021S) | Overview of Mathematics II | Register | VL | 1,0 | Josef Schicho | Weekly |
326.116 (2021S) | Overview of Mathematics III | Register | VL | 2,0 | Josef Schicho | Weekly |
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |