Details | Past courses | Course calendar (entire semester) | View calendar (current week) |
Course Id | Title | Registration | Type | Hours | Teachers | Rhythm |
---|---|---|---|---|---|---|
326.006 (2018W) |
Algorithms and data structures
Further information |
Register | UE | 1,0 | Ioana Cleopatra Pau | Weekly |
326.005 (2018W) |
Algorithms and data structures
Further information |
Register | VL | 2,0 | Carsten Schneider | Weekly |
326.022 (2018W) |
Analysis
Further information |
Register | VO | 2,0 | Carsten Schneider | Weekly |
326.027 (2018W) |
Analysis
Further information |
Register | UE | 2,0 | Alexander Maletzky | Weekly |
326.029 (2018W) |
Analysis
Further information |
Register | UE | 2,0 | Günter Landsmann | Weekly |
326.056 (2018W) |
Analysis
Further information |
Register | UE | 2,0 | Johannes Middeke | Weekly |
326.055 (2018W) |
Analysis
Further information |
Register | UE | 2,0 | Jakob Ablinger | Weekly |
326.012 (2018W) | Bachelor Seminar with Bachelor Thesis | Register | SE | 2,0 | Peter Paule | Weekly |
326.050 (2018W) |
Computability and Complexity
Further information |
Register | UE | 1,0 | Ralf Hemmecke | Weekly |
326.016 (2018W) |
Computability and Complexity
Further information |
Register | UE | 1,0 | Ralf Hemmecke | Weekly |
326.023 (2018W) |
Computability and Complexity
Further information |
Register | VO | 2,0 | Wolfgang Schreiner | Weekly |
326.004 (2018W) |
Computability and Complexity
Further information |
Register | UE | 1,0 | Nikolaj Popov | Weekly |
326.018 (2018W) |
Computability and Complexity
Further information |
Register | UE | 1,0 | Nikolaj Popov | Weekly |
326.010 (2018W) |
Computational Logic
Further information |
Register | VL | 2,0 | Tudor Jebelean | Weekly |
326.011 (2018W) |
Computational Logic
Further information |
Register | UE | 1,0 | Tudor Jebelean | Weekly |
326.007 (2018W) |
Computer Algebra
Further information |
Register | VL | 2,0 | Franz Winkler | Weekly |
326.031 (2018W) |
Computer Algebra
Further information |
Register | UE | 1,0 | Günter Landsmann | Weekly |
326.0D1 (2018W) | Design and Analysis of Algorithms | Register | VL | 2,0 | Teimuraz Kutsia | Weekly |
326.025 (2018W) |
Decidable logical theories
Further information |
Register | VO | 2,0 | Heinrich Rolletschek | Weekly |
326.053 (2018W) |
Formal methods in software development
Further information |
Register | KV | 4,0 |
Wolfgang Schreiner
Janos Sztrik |
Weekly |
326.013 (2018W) |
Formal Methods in Software Development
Further information |
Register | KV | 3,0 | Wolfgang Schreiner | Weekly |
326.003 (2018W) |
Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 2018/19 Further information |
Register | KV | 2,0 |
Veronika Elisabeth Pillwein
Evelyn Buckwar Diego Dominici Bert Jüttler Manuel Kauers Ulrich Langer Peter Paule Ronny Ramlau Josef Schicho |
Weekly |
326.008 (2018W) | Ordinary differential equations and dynamical systems | Register | VL | 3,0 | Josef Schicho | Weekly |
326.009 (2018W) | Ordinary differential equations and dynamical systems | Register | UE | 1,0 | Josef Schicho | Weekly |
326.071 (2018W) |
Linear algebra for physicists
Further information |
Register | UE | 2,0 | Günter Landsmann | Weekly |
326.017 (2018W) |
Linear algebra for physicists
Further information |
Register | VL | 4,0 | Franz Winkler | Weekly |
326.067 (2018W) |
Linear algebra for physicists
Further information |
Register | UE | 2,0 | Sebastian Falkensteiner | Weekly |
326.048 (2018W) | Logic as a working language | Register | KV | 2,0 | Wolfgang Windsteiger | Weekly |
326.028 (2018W) |
Logic programming
Further information |
Register | KV | 2,0 | Teimuraz Kutsia | Weekly |
326.0XX (2018W) |
Seminar for graduate and doctoral students
Winter Semester 2018/19 Further information |
Register | SE | 2,0 | Peter Paule | Weekly |
326.0YY (2018W) |
Seminar for graduate and doctoral students
Winter Semester 2018/19 |
Register | SE | 2,0 |
Bruno Buchberger
Tudor Jebelean |
Weekly |
326.0ZZ (2018W) |
Seminar for graduate and doctoral students
Winter Semester 2018/19 Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
326.705 (2018W) | Mathematics and Logic | Register | UE | 1,0 | Sebastian Falkensteiner | Weekly |
326.702 (2018W) | Mathematics and Logic | Register | UE | 1,0 | Nikolaj Popov | Weekly |
326.704 (2018W) | Mathematics and Logic | Register | UE | 1,0 | Alexander Maletzky | Weekly |
326.701 (2018W) | Mathematics and Logic | Register | UE | 1,0 | Nikolaj Popov | Weekly |
326.700 (2018W) | Mathematics and Logic | Register | VL | 3,0 | Wolfgang Windsteiger | Weekly |
326.021 (2018W) |
Mathematical logic 1
Further information |
Register | UE | 1,0 | Tudor Jebelean | Weekly |
326.019 (2018W) |
Mathematical logic 1
Further information |
Register | VO | 4,0 | Tudor Jebelean | Weekly |
326.049 (2018W) |
Programming project symbolic computation
Computeralgebra, Logic and Softwaredesign I Further information |
Register | KV | 2,0 | Ralf Hemmecke | Weekly |
326.061 (2018W) |
Seminar logic and software design
Automated theorem proving I: Theorema: Autom. Reasoning in Natural Style Further information |
Register | SE | 2,0 |
Bruno Buchberger
Tudor Jebelean Teimuraz Kutsia Wolfgang Windsteiger |
Weekly |
326.077 (2018W) |
Seminar logic and software design
Natural Language Processing and Automated Reasoning in Python and Mathematica |
Register | SE | 2,0 | Bruno Buchberger | Weekly |
326.063 (2018W) |
Seminar logic and software design
Project seminar Formal Methods I Further information |
Register | SE | 2,0 | Wolfgang Schreiner | Weekly |
326.060 (2018W) |
Seminar symbolic computation
History and Philosophy of Mathematics Further information |
Register | SE | 2,0 | Josef Schicho | Weekly |
326.AK1 (2018W) |
Seminar symbolic computation
Project seminar Algorithmic Combinatorics I Further information |
Register | SE | 2,0 |
Peter Paule
Carsten Schneider |
Weekly |
326.015 (2018W) |
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation Further information |
Register | SE | 2,0 | Veronika Elisabeth Pillwein | Weekly |
326.CA1 (2018W) |
Seminar symbolic computation
Computer-algebra I Further information |
Register | SE | 2,0 | Franz Winkler | Weekly |
326.090 (2018W) |
Special Topics
Mathemtical Logic I Further information |
Register | KV | 3,0 | Tudor Jebelean | Weekly |
326.082 (2018W) |
Special Topics symbolic computation
Algorithmic Number Theory Further information |
Register | VL | 2,0 | Jose Capco | Weekly |
326.026 (2018W) |
Special Topics symbolic computation
Algebraic and other nice power series It's about power series from five diff. perspectives:Algebraic, Algorithmic, Arithmetic, Analytic, Asymptotic; combine techniques: combinatorics, commutative and computational algebra, complex analysis, function theory.No special prior knowledge required Further information |
Register | VL | 2,0 | Herwig Hauser | Block |
326.020 (2018W) |
Special Topics symbolic computation
A Gentle Introduction to Analytic Combinatorics in Several Variables |
Register | VL | 1,0 | Marni Mishna | Weekly |
326.032 (2018W) |
Special Topics symbolic computation
Computer algebra systems Further information |
Register | VL | 2,0 | Johannes Middeke | Weekly |
326.075 (2018W) |
Special Topics symbolic computation
Symbolic Summation and Special Functions I Further information |
Register | VL | 2,0 | Silviu Radu | Weekly |
326.999 (2018W) |
Preparatory course mathematics for first-year students of Business Informatics
Further information |
Register | VK | 2,0 | Wolfgang Windsteiger | Block |
Content provided by KUSSS, Johannes Kepler University Linz | E-Mail |