Courses

See the list of courses offered at RISC in the current semester (there is also a list of past courses).

Courses

Course IdTitleRegistrationTypeHoursTeachersRhythm
326.006 (2018W) Algorithms and data structures
Further information
RegisterUE 1,0 Ioana Cleopatra PauWeekly
326.005 (2018W) Algorithms and data structures
Further information
RegisterVL 2,0 Carsten SchneiderWeekly
326.022 (2018W) Analysis
Further information
RegisterVO 2,0 Carsten SchneiderWeekly
326.027 (2018W) Analysis
Further information
RegisterUE 2,0 Alexander MaletzkyWeekly
326.029 (2018W) Analysis
Further information
RegisterUE 2,0 Günter LandsmannWeekly
326.056 (2018W) Analysis
Further information
RegisterUE 2,0 Johannes MiddekeWeekly
326.055 (2018W) Analysis
Further information
RegisterUE 2,0 Jakob AblingerWeekly
326.012 (2018W) Bachelor Seminar with Bachelor Thesis RegisterSE 2,0 Peter PauleWeekly
326.050 (2018W) Computability and Complexity
Further information
RegisterUE 1,0 Ralf HemmeckeWeekly
326.016 (2018W) Computability and Complexity
Further information
RegisterUE 1,0 Ralf HemmeckeWeekly
326.023 (2018W) Computability and Complexity
Further information
RegisterVO 2,0 Wolfgang SchreinerWeekly
326.004 (2018W) Computability and Complexity
Further information
RegisterUE 1,0 Nikolaj PopovWeekly
326.018 (2018W) Computability and Complexity
Further information
RegisterUE 1,0 Nikolaj PopovWeekly
326.010 (2018W) Computational Logic
Further information
RegisterVL 2,0 Tudor JebeleanWeekly
326.011 (2018W) Computational Logic
Further information
RegisterUE 1,0 Tudor JebeleanWeekly
326.007 (2018W) Computer Algebra
Further information
RegisterVL 2,0 Franz WinklerWeekly
326.031 (2018W) Computer Algebra
Further information
RegisterUE 1,0 Günter LandsmannWeekly
326.0D1 (2018W) Design and Analysis of Algorithms RegisterVL 2,0 Teimuraz KutsiaWeekly
326.025 (2018W) Decidable logical theories
Further information
RegisterVO 2,0 Heinrich RolletschekWeekly
326.053 (2018W) Formal methods in software development
Further information
RegisterKV 4,0 Wolfgang Schreiner

Janos Sztrik
Weekly
326.013 (2018W) Formal Methods in Software Development
Further information
RegisterKV 3,0 Wolfgang SchreinerWeekly
326.003 (2018W) Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 2018/19
Further information
RegisterKV 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 RegisterVL 3,0 Josef SchichoWeekly
326.009 (2018W) Ordinary differential equations and dynamical systems RegisterUE 1,0 Josef SchichoWeekly
326.071 (2018W) Linear algebra for physicists
Further information
RegisterUE 2,0 Günter LandsmannWeekly
326.017 (2018W) Linear algebra for physicists
Further information
RegisterVL 4,0 Franz WinklerWeekly
326.067 (2018W) Linear algebra for physicists
Further information
RegisterUE 2,0 Sebastian FalkensteinerWeekly
326.048 (2018W) Logic as a working language RegisterKV 2,0 Wolfgang WindsteigerWeekly
326.028 (2018W) Logic programming
Further information
RegisterKV 2,0 Teimuraz KutsiaWeekly
326.0XX (2018W) Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
RegisterSE 2,0 Peter PauleWeekly
326.0YY (2018W) Seminar for graduate and doctoral students
Winter Semester 2018/19
RegisterSE 2,0 Bruno Buchberger

Tudor Jebelean
Weekly
326.0ZZ (2018W) Seminar for graduate and doctoral students
Winter Semester 2018/19
Further information
RegisterSE 2,0 Franz WinklerWeekly
326.705 (2018W) Mathematics and Logic RegisterUE 1,0 Sebastian FalkensteinerWeekly
326.702 (2018W) Mathematics and Logic RegisterUE 1,0 Nikolaj PopovWeekly
326.704 (2018W) Mathematics and Logic RegisterUE 1,0 Alexander MaletzkyWeekly
326.701 (2018W) Mathematics and Logic RegisterUE 1,0 Nikolaj PopovWeekly
326.700 (2018W) Mathematics and Logic RegisterVL 3,0 Wolfgang WindsteigerWeekly
326.021 (2018W) Mathematical logic 1
Further information
RegisterUE 1,0 Tudor JebeleanWeekly
326.019 (2018W) Mathematical logic 1
Further information
RegisterVO 4,0 Tudor JebeleanWeekly
326.049 (2018W) Programming project symbolic computation
Computeralgebra, Logic and Softwaredesign I
Further information
RegisterKV 2,0 Ralf HemmeckeWeekly
326.061 (2018W) Seminar logic and software design
Automated theorem proving I: Theorema: Autom. Reasoning in Natural Style
Further information
RegisterSE 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
RegisterSE 2,0 Bruno BuchbergerWeekly
326.063 (2018W) Seminar logic and software design
Project seminar Formal Methods I
Further information
RegisterSE 2,0 Wolfgang SchreinerWeekly
326.060 (2018W) Seminar symbolic computation
History and Philosophy of Mathematics
Further information
RegisterSE 2,0 Josef SchichoWeekly
326.AK1 (2018W) Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
RegisterSE 2,0 Peter Paule

Carsten Schneider
Weekly
326.015 (2018W) Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
RegisterSE 2,0 Veronika Elisabeth PillweinWeekly
326.CA1 (2018W) Seminar symbolic computation
Computer-algebra I
Further information
RegisterSE 2,0 Franz WinklerWeekly
326.090 (2018W) Special Topics
Mathemtical Logic I
Further information
RegisterKV 3,0 Tudor JebeleanWeekly
326.082 (2018W) Special Topics symbolic computation
Algorithmic Number Theory
Further information
RegisterVL 2,0 Jose CapcoWeekly
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
RegisterVL 2,0 Herwig HauserBlock
326.020 (2018W) Special Topics symbolic computation
A Gentle Introduction to Analytic Combinatorics in Several Variables
RegisterVL 1,0 Marni MishnaWeekly
326.032 (2018W) Special Topics symbolic computation
Computer algebra systems
Further information
RegisterVL 2,0 Johannes MiddekeWeekly
326.075 (2018W) Special Topics symbolic computation
Symbolic Summation and Special Functions I
Further information
RegisterVL 2,0 Silviu RaduWeekly
326.999 (2018W) Preparatory course mathematics for first-year students of Business Informatics
Further information
RegisterVK 2,0 Wolfgang WindsteigerBlock
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail

Past Courses

Winter SemesterSummer Semester
Academic Year 2018/2019Winter Semester 2018Summer Semester 2019
Academic Year 2017/2018Winter Semester 2017Summer Semester 2018
Academic Year 2016/2017Winter Semester 2016Summer Semester 2017
Academic Year 2015/2016Winter Semester 2015Summer Semester 2016
Academic Year 2014/2015Winter Semester 2014Summer Semester 2015
Academic Year 2013/2014Winter Semester 2013Summer Semester 2014
Academic Year 2012/2013Winter Semester 2012Summer Semester 2013
Academic Year 2011/2012Winter Semester 2011Summer Semester 2012
Academic Year 2010/2011Winter Semester 2010Summer Semester 2011
Academic Year 2009/2010Winter Semester 2009Summer Semester 2010
Academic Year 2008/2009Winter Semester 2008Summer Semester 2009
Academic Year 2007/2008Winter Semester 2007Summer Semester 2008
Academic Year 2006/2007Winter Semester 2006Summer Semester 2007
Academic Year 2005/2006Winter Semester 2005Summer Semester 2006
Academic Year 2004/2005Winter Semester 2004Summer Semester 2005
Academic Year 2003/2004Winter Semester 2003Summer Semester 2004
Academic Year 2002/2003Winter Semester 2002Summer Semester 2003
Academic Year 2001/2002Winter Semester 2001Summer Semester 2002
Academic Year 2000/2001Winter Semester 2000Summer Semester 2001
Academic Year 1999/2000Winter Semester 1999Summer Semester 2000
Academic Year 1998/1999Winter Semester 1998Summer Semester 1999
Academic Year 1997/1998Winter Semester 1997Summer Semester 1998
Academic Year 1996/1997Winter Semester 1996Summer Semester 1997
Academic Year 1995/1996Winter Semester 1995Summer Semester 1996