RISC JKU
Details Past courses Course calendar (entire semester) View calendar (current week)

RISC Courses Winter Semester 2021

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

Course Id Title Registration Type Hours Teachers Rhythm
326.101 (2021W) Algebraic combinatorics
Further information
Register UE 1,0 Koustav Banerjee Weekly
326.030 (2021W) Algebraic combinatorics
Further information
Register VL 2,0 Silviu Radu Weekly
326.102 (2021W) Algorithms and data structures
Further information
Register VL 2,0 Carsten Schneider Weekly
326.103 (2021W) Algorithms and data structures
Further information
Register UE 1,0 Ioana Cleopatra Pau Weekly
326.022 (2021W) Analysis
Further information
Register VO 2,0 Carsten Schneider Weekly
326.055 (2021W) Analysis
Further information
Register UE 2,0 Sebastian Falkensteiner Weekly
326.056 (2021W) Analysis
Further information
Register UE 2,0 Nicolas Smoot Weekly
326.029 (2021W) Analysis
Further information
Register UE 2,0 Veronika Elisabeth Pillwein Weekly
326.027 (2021W) Analysis
Further information
Register UE 2,0 Günter Landsmann Weekly
326.109 (2021W) Automated Reasoning
Further information
Register UE 1,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
326.0AR (2021W) Automated Reasoning
Further information
Register VL 2,0 Teimuraz Kutsia

Tudor Jebelean
Weekly
326.012 (2021W) Bachelor Seminar with Bachelor Thesis Register SE 2,0 Peter Paule

Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Günter Landsmann
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
Weekly
326.0UK (2021W) Commutative algebra and algebraic geometry Register UE 1,0 Josef Schicho

Mehdi Makhul
Weekly
326.0KA (2021W) Commutative algebra and algebraic geometry
Further information
Register VL 2,0 Matteo Gallet Weekly
326.010 (2021W) Computational Logic
Further information
Register VL 2,0 Wolfgang Schreiner Weekly
326.011 (2021W) Computational Logic
Further information
Register UE 1,0 Wolfgang Schreiner Weekly
326.223 (2021W) Computational Logics for AI
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.224 (2021W) Computational Logics for AI Register UE 1,0 Ioana Cleopatra Pau Weekly
326.031 (2021W) Computer Algebra
Further information
Register UE 1,0 Johann Mitteramskogler Weekly
326.105 (2021W) Computer Algebra
Further information
Register VL 2,0 Franz Winkler Weekly
326.013 (2021W) Formal Methods in Software Development
Further information
Register KV 3,0 Wolfgang Schreiner Weekly
326.106 (2021W) Ordinary differential equations and dynamical systems
Further information
Register VL 3,0 Josef Schicho

Sebastian Falkensteiner
Weekly
326.107 (2021W) Ordinary differential equations and dynamical systems
Further information
Register UE 1,0 Sebastian Falkensteiner Weekly
326.048 (2021W) Logic as a working language
Further information
Register KV 2,0 Wolfgang Windsteiger Weekly
326.0XX (2021W) Master's Thesis Seminar I Register SE 2,0 Peter Paule

Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Günter Landsmann
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
Weekly
326.019 (2021W) Mathematical logic 1
Further information
Register VL 2,0 Teimuraz Kutsia

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

Tudor Jebelean
Weekly
326.701 (2021W) Mathematics and Logic
Further information
Register UE 1,0 Sebastian Falkensteiner Weekly
326.700 (2021W) Mathematics and Logic
Further information
Register VL 3,0 Wolfgang Windsteiger Weekly
326.121 (2021W) Practical in Logic and Software Design
Logic programming
Further information
Register KV 2,0 Teimuraz Kutsia Weekly
326.063 (2021W) Seminar logic and software design
Project seminar Formal Methods and automated Reasoning I
Further information
Register SE 2,0 Wolfgang Schreiner

Teimuraz Kutsia
Wolfgang Windsteiger
Weekly
326.060 (2021W) Seminar symbolic computation
Research Topics in Algebra and Combinatorics
Register SE 2,0 Josef Schicho

Christoph Koutschan
N.N. N.N.
Weekly
326.AK1 (2021W) Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
Register SE 2,0 Peter Paule

Carsten Schneider
Weekly
326.015 (2021W) Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
Register SE 2,0 Veronika Elisabeth Pillwein Weekly
326.054 (2021W) Special Functions and Symbolic Summation
Further information
Register VL 2,0 Silviu Radu Weekly
326.122 (2021W) Special Topics
Logic Programming
Further information
Register VL 2,0 Teimuraz Kutsia Weekly
326.057 (2021W) Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
Register VO 2,0 Tudor Jebelean Weekly
326.114 (2021W) Overview of Mathematics I
Schülergruppe
Register VL 1,0 Georg Grasegger Weekly
326.116 (2021W) Overview of Mathematics III Register VL 2,0 Georg Grasegger

Niels Lubbes
Weekly
326.999 (2021W) 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