Courses

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

Courses

This page shows the provisional list of RISC courses planned for Winter Semester 2024/25.

The final valid list will be published on this page in a few days.

LVA-NrTitleSubtitleTypeHrsLecturerTime
326??? Algorithms and Datastructures VO 2
Carsten SCHNEIDER
Thu08:30-10:00
326??? Algorithms and Datastructures UE 1
Ioana-Cleopatra PAU
??????
3260AR Automated Reasoning VO 3
Teimuraz KUTSIA
Tudor JEBELEAN
Tue10:15-11:45
326012 Bachelorseminar mit Bachelorarbeit SE 2
Carsten SCHNEIDER
??????
326010 Computational Logic VO 2
Wolfgang SCHREINER
Mon15:30-17:00
326011 Computational Logic UE 1
Nikolaj POPOV
Mon17:15-18:00
326??? Computer Algebra VO 2
Carsten SCHNEIDER
Tue16:15-18:00
326031 Computer Algebra UE 1
Guenter LANDSMANN
Tue15:30-16:15
326013 Formal Methods in Software Development KV 3
Wolfgang SCHREINER
Fri08:30-11:00
326??? Gewöhnliche Differentialgleichungen und Dynamische Systeme VO 3
Josef SCHICHO
Mon10:15-11:45
Tue08:30-09:15
326??? Gewöhnliche Differentialgleichungen und Dynamische Systeme UE 1
Tue09:15-10:00
326048 Logik als Arbeitssprache KV 2
Wolfgang WINDSTEIGER
Tue12:00-13:30
342208 Logic for computer science VO 2
Wolfgang SCHREINER
Wolfgang WINDSTEIGER
??????
342209 Logic for computer science UE 1
Wolfgang SCHREINER
Wolfgang WINDSTEIGER
??????
326??? Master's Thesis Seminar I SE 2
Carsten SCHNEIDER
??????
326300 Mathematik für Sozial- und Wirtschaftswissenschaften KS 2
Wolfgang WINDSTEIGER
Thu17:15-19:45
326700 Mathematik und Logik KV 4
Wolfgang WINDSTEIGER
Nikolaj POPOV
Tue16:15-17:00
Tue18:00-18:45
Fri13:45-15:15
326032 Practical in Symbolic Computation Computer algebra systems KV 2
Ralf HEMMECKE
??????
326??? Practical in Symbolic Computation Logic Programming KV 2
Teimuraz KUTSIA
Wed16:15-18:00
326??? Special Topics Logic Programming KV 2
Teimuraz KUTSIA
??????
326057 Special Topics in Symbolic Computation Thinking, Speaking, Writing: Understanding and Creating Mathematical Proofs VO 2
Cristian-Silviu RADU
Tue08:30-10:00
32600B Special Topics in Symbolic Computation Fixpoint Theory of Functional Programs VO 2
Nikolaj POPOV
??????
326032 Special Topics in Symbolic Computation Homological Algebra VO 2
Guenter LANDSMANN
??????
326025 Special Topics in Symbolic Computation Decidable logical theories VO 2
Nikolaj POPOV
Thu10:15-11:45
326063 Symbolic Computation Project seminar Formal Methods and Automated Reasoning SE 2
Wolfgang SCHREINER
Teimuraz KUTSIA
Wolfgang WINDSTEIGER
Tue16:15-17:45
326060 Symbolic Computation Research Topics in Algebra and Combinatorics SE 2
Josef SCHICHO
Tue13:45-15:15
326CA1 Symbolic Computation Computer-Algebra and Applications SE 2
Carsten SCHNEIDER
??????
326999 Vorbereitungskurs Mathematik für Studienanfänger/innen der Wirtschaftsinformatik VK 2
Wolfgang WINDSTEIGER
Block
326114 Überblick Mathematik I KV 2
Niels LUBBES
Wed15:30-17:00
326116 Überblick Mathematik III KV 2
Guenter LANDSMANN
Tue15:30-17:00

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