Courses

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

Courses

Course Id Title Registration Type Hours Teachers Rhythm
326.001 (2024S) Algortithmic Combinatorics
Further information
Register VL 2,0 Silviu Radu Weekly
326.002 (2024S) Algortithmic Combinatorics Register UE 1,0 Koustav Banerjee Weekly
326.003 (2024S) Algorithmic methods Register KV 2,0 Wolfgang Windsteiger Weekly
326.012 (2024S) Bachelor Seminar with Bachelor Thesis Register SE 2,0 Carsten Schneider Weekly
326.055 (2024S) Computability theory
Computability theory
Further information
Register VL 2,0 Nikolaj Popov Weekly
326.046 (2024S) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,0 Carsten Schneider Weekly
326.047 (2024S) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,0 Silviu Radu

Koustav Banerjee
Weekly
326.718 (2024S) Formal Foundations in Business Informatics Register UE 1,0 Günter Landsmann Weekly
326.712 (2024S) Formal Foundations in Business Informatics Register VL 3,0 Nikolaj Popov Weekly
326.703 (2024S) Formal Foundations in Business Informatics Register UE 1,0 Günter Landsmann Weekly
326.714 (2024S) Formal Foundations in Business Informatics Register UE 1,0 Nikolaj Popov Weekly
326.715 (2024S) Formal Foundations in Business Informatics Register UE 1,0 Nikolaj Popov Weekly
326.006 (2024S) Formal Modelling
Further information
Register VL 2,0 Wolfgang Schreiner

Carsten Schneider
Wolfgang Windsteiger
Weekly
326.007 (2024S) Formal Modelling
Further information
Register PS 2,0 Wolfgang Windsteiger

Carsten Schneider
Wolfgang Schreiner
Weekly
326.081 (2024S) Introduction to parallel and distributed computing
Introduction to parallel and distriputed computing
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.113 (2024S) Master’s Thesis Seminar II Register SE 2,0 Carsten Schneider Weekly
326.019 (2024S) Mathematical Logic
Further information
Register VL 2,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
326.021 (2024S) Mathematical logic
Further information
Register UE 1,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
326.300 (2024S) Mathematics for Social and Economic Science
Further information
Register KS 2,0 Wolfgang Windsteiger

Philipp Langgruber
Weekly
326.295 (2024S) Parallel Computing
Further information
Register KV 3,0 Wolfgang Schreiner

Alois Zoitl
Weekly
326.062 (2024S) Practical in Symbolic Computation
Programming in Mathematica
Further information
Register KV 2,0 Ralf Hemmecke Weekly
326.054 (2024S) Practical in Symbolic Computation
Functional programming
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
326.005 (2024S) Programming 2
Further information
Register KV 2,0 Wolfgang Schreiner Weekly
326.0AD (2024S) Special Topics
Introduction to Parallel and Distributed Computing
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.087 (2024S) Special Topics
Functional Programming
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.0UF (2024S) Special Topics
Unification Theory
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.0VR (2024S) Special Topics
Formal Specification of Abstract Datatypes
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.0MM (2024S) Special Topics
Programming in Mathematica
Further information
Register KV 2,0 Ralf Hemmecke Weekly
326.090 (2024S) Special Topics
Mathematical Logic
Further information
Register VL 2,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
326.069 (2024S) Special Topics symbolic computation
Abelian Categories - Spectral Sequences and Applications
Register VL 2,0 Günter Landsmann Weekly
326.076 (2024S) Special Topics symbolic computation
Formal Specification of Abstract Datatypes
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.097 (2024S) Special Topics symbolic computation
Unification Theory
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.0SR (2024S) Special Topics symbolic computation
Mathematical Methods in Kinematics
Further information
Register VL 2,0 Josef Schicho Weekly
326.0CA (2024S) Symbolic Computation
Computer algebra II
Further information
Register SE 2,0 Carsten Schneider

Koustav Banerjee
Silviu Radu
Weekly
326.099 (2024S) Symbolic Computation
Project seminar Formal Methods and Automated Reasoning II
Further information
Register SE 2,0 Wolfgang Schreiner

Teimuraz Kutsia
Wolfgang Windsteiger
Weekly
326.060 (2024S) Symbolic Computation
History and Philosophy of Mathematics
Register SE 2,0 Josef Schicho Weekly
326.116 (2024S) Overview of Mathematics: Analysis Register KV 2,0 Günter Landsmann Weekly
326.114 (2024S) Overview of Mathematics: Linear algebra Register KV 2,0 Niels Lubbes Weekly
326.121 (2024S) Overview of Mathematics: Probability theory Register KV 2,0 Josef Schicho Weekly
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail

Past Courses

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