|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| Course Id | Title | Registration | Type | .Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.0AM (2016S) |
Algebraic and Discrete Methods for Biology
Further information |
Register | KV | 2,0 |
Nikolaj Popov
Tudor Jebelean |
Weekly |
| 326.046 (2016S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
| 326.047 (2016S) |
Computer Algebra for Concrete Mathematics
Further information |
Register | UE | 1,0 | Silviu Radu | Weekly |
| 326.079 (2016S) |
Computer analysis
Further information |
Register | VO | 2,0 | Franz Winkler | Weekly |
| 326.052 (2016S) |
Computer systems
Further information |
Register | KV | 2,0 | Wolfgang Schreiner | Weekly |
| 326.081 (2016S) |
Introduction to parallel and distributed computing
Further information |
Register | VO | 2,0 | Wolfgang Schreiner | Weekly |
| 326.008 (2016S) |
Decidibility and complexity classes
Further information |
Register | VO | 2,0 | Heinrich Rolletschek | Weekly |
| 326.703 (2016S) |
Formal Foundations in Business Informatics
Further information |
Register | UE | 1,0 | Günter Landsmann | Weekly |
| 326.712 (2016S) |
Formal Foundations in Business Informatics
Further information |
Register | VL | 3,0 | Günter Landsmann | Weekly |
| 326.757 (2016S) | Formal Foundations in Business Informatics | Register | UE | 1,0 | Johannes Middeke | Weekly |
| 326.003 (2016S) |
Fundamentals of Numerical Analysis and Symbolic Computation
Further information |
Register | KV | 2,0 |
Peter Paule
Bruno Buchberger Evelyn Buckwar Bert Jüttler Manuel Kauers Ulrich Langer Martin Neumüller Ronny Ramlau Josef Schicho |
Weekly |
| 326.054 (2016S) |
Functional programming
Further information |
Register | KV | 2,0 | Nikolaj Popov | Weekly |
| 326.0KA (2016S) |
Commutative algebra and algebraic geometry
Further information |
Register | VO | 4,0 | Franz Winkler | Weekly |
| 326.0UK (2016S) |
Commutative algebra and algebraic geometry
Further information |
Register | UE | 1,0 | Franz Winkler | Weekly |
| 326.048 (2016S) |
Logic as a working language
Further information |
Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.0XX (2016S) |
Seminar for graduate and doctoral students
Sommer Semester 16 Further information |
Register | SE | 2,0 | Peter Paule | Weekly |
| 326.0YY (2016S) |
Seminar for graduate and doctoral students
Summer Semester 16 |
Register | SE | 2,0 |
Tudor Jebelean
Bruno Buchberger |
Weekly |
| 326.0ZZ (2016S) |
Seminar for graduate and doctoral students
Summer Semester 16 Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
| 357.301 (2016S) |
Mathematics for Economists
Further information |
Register | KS | 2,0 | Wolfgang Windsteiger | Weekly |
| 326.0PC (2016S) |
Parallel Computing
Further information |
Register | KV | 3,0 | Wolfgang Schreiner | Weekly |
| 326.041 (2016S) |
Practical software technology
Further information |
Register | KV | 4,0 |
David Cerna
Ioana Cleopatra Pau |
Weekly |
| 326.062 (2016S) |
Programming in Mathematica
Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.098 (2016S) |
Seminar logic and software design
Project seminar Automated theorem proving II: Theorema Mathematical Theory Exploration Further information |
Register | SE | 2,0 |
Bruno Buchberger
Tudor Jebelean Teimuraz Kutsia Wolfgang Windsteiger |
Weekly |
| 326.001 (2016S) |
Seminar symbolic computation
Computer-Algebra II (Summer Semester 16) Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
| 326.060 (2016S) |
Seminar symbolic computation
Algorithmic Algebra |
Register | SE | 2,0 | Josef Schicho | Weekly |
| 326.096 (2016S) |
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 16) Further information |
Register | SE | 2,0 |
Peter Paule
Carsten Schneider |
Weekly |
| 326.0UU (2016S) |
Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 16) Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
| 326.068 (2016S) |
Software engineering
Further information |
Register | KV | 2,0 | Petru Pau | Weekly |
| 326.087 (2016S) |
Special Topics
Functional Programming Further information |
Register | VL | 2,0 |
Nikolaj Popov
Stephan Winkler |
Weekly |
| 326.088 (2016S) |
Special Topics
Gödel's Incompleteness Theorems Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.0AD (2016S) |
Special Topics
Introduction to Parallel and Distributed Computing Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.0MM (2016S) |
Special Topics
Programming in Mathematica Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
| 326.076 (2016S) |
Special topics logic and software design
Formal Specification of Abstract Datatypes Further information |
Register | VL | 2,0 | Wolfgang Schreiner | Weekly |
| 326.086 (2016S) |
Special topics logic and software design
Gödel's Incompleteness Theorems Further information |
Register | VL | 2,0 | Nikolaj Popov | Weekly |
| 326.0SR (2016S) |
Special Topics symbolic computation
Algebraic methods in kinematics Further information |
Register | VL | 2,0 | Josef Schicho | Weekly |
|
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |