|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.002 (2020S) | Algortithmic Combinatorics | Register | UE | 1,0 | Silviu Radu | Weekly |
| 326.001 (2020S) | Algortithmic Combinatorics | Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.003 (2020S) | Algorithmic methods | Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.012 (2020S) | 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.047 (2020S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | UE | 1,0 | Silviu Radu | Weekly |
| 326.046 (2020S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.081 (2020S) |
Introduction to parallel and distributed computing
Introduction to parallel and distriputed computing Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.009 (2020S) | Introductory Exercises in Mathematics | Register | UE | 2,0 | Josef Schicho | Weekly |
| 326.008 (2020S) |
Decidibility and complexity classes
Further information |
Register | VO | 2,0 | Heinrich Rolletschek | Weekly |
| 326.703 (2020S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.718 (2020S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.714 (2020S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.715 (2020S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Nikolaj Popov | Weekly |
| 326.712 (2020S) |
Formal Foundations in Business Informatics
Further information |
Register | VL | 3,0 | Nikolaj Popov | Weekly |
| 326.006 (2020S) |
Formal Modelling
Further information |
Register | VL | 2,0 |
Wolfgang Schreiner
Josef Schicho Wolfgang Windsteiger |
Weekly |
| 326.007 (2020S) |
Formal Modelling
Further information |
Register | PS | 2,0 |
Wolfgang Schreiner
Josef Schicho Wolfgang Windsteiger |
Weekly |
| 326.054 (2020S) |
Functional programming
Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.0UK (2020S) |
Commutative algebra and algebraic geometry
Further information |
Register | UE | 1,0 | Sebastian Falkensteiner | Weekly |
| 326.0KA (2020S) |
Commutative algebra and algebraic geometry
Further information |
Register | VO | 4,0 | Franz Winkler | Weekly |
| 326.0ZZ (2020S) |
Seminar for graduate and doctoral students
Summer Semester 2020 Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
| 326.0XX (2020S) |
Seminar for graduate and doctoral students
Summer Semester 2020 Further information |
Register | SE | 2,0 | Peter Paule | Weekly |
| 326.041 (2020S) |
Practical software technology
Further information |
Register | KV | 4,0 | Ioana Cleopatra Pau | Weekly |
| 326.062 (2020S) |
Programming in Mathematica
Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.005 (2020S) |
Programming 2
Further information |
Register | KV | 2,0 | Wolfgang Schreiner | Weekly |
| 326.099 (2020S) |
Seminar logic and software design
Project seminar Formal Methods II (Summer Semester 20) Further information |
Register | SE | 2,0 | Wolfgang Schreiner | Weekly |
| 326.096 (2020S) |
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 2020) Further information |
Register | SE | 2,0 |
Peter Paule
Carsten Schneider |
Weekly |
| 326.0CA (2020S) |
Seminar symbolic computation
Computer algebra II Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
| 326.015 (2020S) |
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation Further information |
Register | SE | 2,0 | Clemens Hofreither | Weekly |
| 326.060 (2020S) |
Seminar symbolic computation
Research Topics in Algebra and Combinatorics |
Register | SE | 2,0 | Josef Schicho | Weekly |
| 326.00D (2020S) |
Special Functions II
Symbolic Summation and Special Functions |
Register | UE | 1,0 | Silviu Radu | Weekly |
| 326.0MM (2020S) |
Special Topics
Programming in Mathematica Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.0AD (2020S) |
Special Topics
Introduction to Parallel and Distributed Computing Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.901 (2020S) |
Special Topics
Gödel's Incompleteness Theorems Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.0UF (2020S) |
Special Topics
Unification Theory Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.0DC (2020S) |
Special Topics
Decidability and Complexity Classes Further information |
Register | VL | 2,0 | Heinrich Rolletschek | Weekly |
| 326.0VR (2020S) |
Special Topics
Formal Specification of Abstract Datatypes Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.087 (2020S) |
Special Topics
Functional Programming Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.097 (2020S) |
Special topics logic and software design
Unification Theory Further information |
Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
| 326.0ST (2020S) |
Special topics logic and software design
Gödel's Incompleteness Theorems Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.076 (2020S) |
Special topics logic and software design
Formal Specification of Abstract Datatypes Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.069 (2020S) |
Special Topics symbolic computation
Category Theory for Symbolic Computation Further information |
Register | VL | 2,0 | Günter Landsmann | Weekly |
| 326.0AT (2020S) |
Special Topics symbolic computation
Algebraic Topology Further information |
Register | VL | 2,0 | Günter Landsmann | Weekly |
| 326.075 (2020S) |
Special Topics symbolic computation
Symbolic Summation and Special Functions II Further information |
Register | VL | 2,0 | Silviu Radu | Weekly |
| 326.0SR (2020S) |
Special Topics symbolic computation
Mathematical Methods in Kinematics Further information |
Register | VL | 2,0 | Josef Schicho | Weekly |
|
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |