RISC RISC Research Institute for Symbolic Computation  
Details Past courses Course calendar (entire semester) View calendar (current week)

RISC Courses Winter Semester 2018

Find below the list of courses offered by RISC-Linz as of 11.12.2018.

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.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.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
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail