|
|
|
|
|
| Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
| Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
|---|---|---|---|---|---|---|
| 326.007 (2013S) |
Algebraic and Discrete Methods for Biology
Further information |
Register | KV | 2,00 |
Nikolaj Popov
Stephan Dreiseitl Tudor Jebelean |
Weekly |
| 326.009 (2013S) |
Algorithmic combinatorics
Further information |
Register | VO | 2,00 | Carsten Schneider | Weekly |
| 326.043 (2013S) |
Algorithmic combinatorics
Further information |
Register | UE | 1,00 | Silviu Radu | Weekly |
| 326.052 (2013S) |
Computer systems
Further information |
Register | KV | 2,00 | Wolfgang Schreiner | Weekly |
| 326.058 (2013S) |
Elimination theory
Further information |
Register | VO | 2,00 | Günter Landsmann | Weekly |
| 326.703 (2013S) | Formal Foundations in Business Informatics | Register | UE | 1,00 | Richard Lechner | Weekly |
| 326.712 (2013S) |
Formal Foundations in Business Informatics
Further information |
Register | VO | 3,00 | Veronika Elisabeth Pillwein | Weekly |
| 326.714 (2013S) |
Formal Foundations in Business Informatics
Further information |
Register | UE | 1,00 | Veronika Elisabeth Pillwein | Weekly |
| 326.027 (2013S) |
Formal semantics of programming languages
Further information |
Register | VO | 2,00 | Wolfgang Schreiner | Weekly |
| 326.003 (2013S) |
Fundamentals of Numerical Analysis and Symbolic Computation
Summer Semester 13 Further information |
Register | KV | 2,00 |
Bruno Buchberger
Manuel Kauers Walter Zulehner Bert Jüttler Peter Paule Josef Schicho Ronny Ramlau |
Weekly |
| 326.054 (2013S) |
Functional programming
Further information |
Register | KV | 2,00 | Nikolaj Popov | Weekly |
| 326.035 (2013S) |
Linear algebra for physicists II
Further information |
Register | UE | 1,00 | Manuela Wiesinger-Widi | Weekly |
| 326.037 (2013S) |
Linear algebra for physicists II
Further information |
Register | UE | 1,00 | Christian Irrgeher | Weekly |
| 326.038 (2013S) |
Linear algebra for physicists II
Further information |
Register | VO | 2,00 | Peter Paule | Weekly |
| 326.018 (2013S) |
Linear algebra and analytic geometry 2
Further information |
Register | UE | 2,00 | Burkhard Zimmermann | Weekly |
| 326.024 (2013S) |
Linear algebra and analytic geometry 2
Further information |
Register | UE | 2,00 | Peter Mayr | Weekly |
| 326.034 (2013S) |
Linear algebra and analytic geometry 2
Further information |
Register | UE | 2,00 | Georg Grasegger | Weekly |
| 326.040 (2013S) |
Linear algebra and analytic geometry 2
Further information |
Register | VO | 5,00 | Peter Paule | Weekly |
| 326.044 (2013S) |
Linear algebra and analytic geometry 2
Further information |
Register | KO | 2,00 | Franz Binder | Weekly |
| 326.048 (2013S) |
Logic as a working language
Further information |
Register | KV | 2,00 | Wolfgang Windsteiger | Weekly |
| 326.0XX (2013S) |
Seminar for graduate and doctoral students
Summer Semester 13 Further information |
Register | SE | 2,00 | Peter Paule | Weekly |
| 326.0YY (2013S) |
Seminar for graduate and doctoral students
Summer Semester 13 |
Register | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Weekly |
| 326.0ZZ (2013S) |
Seminar for graduate and doctoral students
Summer Semester 13 Further information |
Register | SE | 2,00 | Franz Winkler | Weekly |
| 326.059 (2013S) |
Mathematical logic 2
Further information |
Register | VO | 2,00 | Heinrich Rolletschek | Weekly |
| 326.041 (2013S) |
Practical software technology
Further information |
Register | KV | 4,00 | Karoly Bosa | Weekly |
| 326.062 (2013S) |
Programming in Mathematica
Further information |
Register | KV | 2,00 | Wolfgang Windsteiger | Weekly |
| 326.049 (2013S) |
Programming project symbolic computation
Computer algebra, Logic, and Software design II Further information |
Register | KV | 2,00 | Ralf Hemmecke | Weekly |
| 326.065 (2013S) |
Rewriting in computer science and logic
Further information |
Register | VO | 2,00 | Teimuraz Kutsia | Weekly |
| 326.020 (2013S) |
Seminar logic and software design
Set Theory and Logical Foundations II (Summer semester 13) Further information |
Register | SE | 2,00 | Heinrich Rolletschek | Weekly |
| 326.098 (2013S) |
Seminar logic and software design
Project seminar Automated theorem proving II: Theorema (Summer semester 13) Further information |
Register | SE | 2,00 |
Bruno Buchberger
Tudor Jebelean |
Weekly |
| 326.099 (2013S) |
Seminar logic and software design
Project seminar Formal Methods II (Summer semester 13) Further information |
Register | SE | 2,00 |
Wolfgang Schreiner
Franz Lichtenberger |
Weekly |
| 326.001 (2013S) |
Seminar symbolic computation
Computer-Algebra II (Summer Semester 13) Further information |
Register | SE | 2,00 |
Franz Winkler
Günter Landsmann |
Weekly |
| 326.060 (2013S) |
Seminar symbolic computation
Algorithmic Algebra (Summer semester 13) |
Register | SE | 2,00 | Josef Schicho | Weekly |
| 326.096 (2013S) |
Seminar symbolic computation
Project seminar Algorithmic combinatorics II (Summer semester 13) Further information |
Register | SE | 2,00 | Peter Paule | Weekly |
| 326.0UU (2013S) |
Seminar symbolic computation
Project Seminar Computer algebra II (Summer semester 13) |
Register | SE | 2,00 | Franz Winkler | Weekly |
| 326.068 (2013S) |
Software engineering
Further information |
Register | KV | 2,00 | Petru Pau | Weekly |
| 326.077 (2013S) |
Special course Analysis
Artin Approximation and Solutions to Recursion Equations Further information |
Register | VL | 1,00 | Herwig Hauser | Block |
| 326.00E (2013S) |
Special topics logic and software design
Formal Languages and Formal Grammars Further information |
Register | VL | 2,00 | Nikolaj Popov | Weekly |
| 326.097 (2013S) |
Special topics logic and software design
Unification theory Further information |
Register | VL | 2,00 | Teimuraz Kutsia | Weekly |
| 326.039 (2013S) |
Special Topics symbolic computation
Computer algebra II: Groebner bases Further information |
Register | VL | 2,00 | Manuel Kauers | Weekly |
| 326.080 (2013S) |
Special Topics symbolic computation
Symbolic Linear Algebra |
Register | VL | 2,00 | Carsten Schneider | Weekly |
| 326.017 (2013S) |
Special Topics in Computer Science
Predicate Logic as a Working Language Further information |
Register | KV | 2,00 | Wolfgang Windsteiger | Weekly |
| 326.I06 (2013S) |
Special Topics in Computer Science
Programming in Mathematica Further information |
Register | KV | 2,00 | Wolfgang Windsteiger | Weekly |
| 326.I07 (2013S) |
Special Topics in Computer Science
Functional Programming Further information |
Register | KV | 2,00 | Nikolaj Popov | Weekly |
|
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |