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.001 (2018W) Algebraic combinatorics
Further information
RegisterVL 2,0 Silviu RaduWeekly
326.002 (2018W) Algebraic combinatorics
Further information
RegisterUE 1,0 Silviu RaduWeekly
326.005 (2018W) Algorithms and data structures
Further information
RegisterVL 2,0 Carsten SchneiderWeekly
326.006 (2018W) Algorithms and data structures RegisterUE 1,0 Ioana Cleopatra PauWeekly
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.055 (2018W) Analysis
Further information
RegisterUE 2,0 Jakob AblingerWeekly
326.056 (2018W) Analysis
Further information
RegisterUE 2,0 Johannes MiddekeWeekly
326.012 (2018W) Bachelor Seminar with Bachelor Thesis RegisterSE 2,0 Peter PauleWeekly
326.004 (2018W) Computability and Complexity
Further information
RegisterUE 1,0 Nikolaj PopovWeekly
326.016 (2018W) Computability and Complexity
Further information
RegisterUE 1,0 Ralf HemmeckeWeekly
326.018 (2018W) Computability and Complexity
Further information
RegisterUE 1,0 Nikolaj PopovWeekly
326.023 (2018W) Computability and Complexity
Further information
RegisterVO 2,0 Wolfgang SchreinerWeekly
326.050 (2018W) Computability and Complexity
Further information
RegisterUE 1,0 Ralf HemmeckeWeekly
326.010 (2018W) Computational Logic RegisterVL 2,0 Tudor JebeleanWeekly
326.011 (2018W) Computational Logic 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.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.071 (2018W) Linear algebra for physicists
Further information
RegisterUE 2,0 Günter LandsmannWeekly
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.700 (2018W) Mathematics and Logic RegisterVL 3,0 Wolfgang WindsteigerWeekly
326.701 (2018W) Mathematics and Logic RegisterUE 1,0 Nikolaj PopovWeekly
326.702 (2018W) Mathematics and Logic RegisterUE 1,0 Nikolaj PopovWeekly
326.704 (2018W) Mathematics and Logic RegisterUE 1,0 Alexander MaletzkyWeekly
326.705 (2018W) Mathematics and Logic RegisterUE 1,0 Sebastian FalkensteinerWeekly
326.019 (2018W) Mathematical logic 1
Further information
RegisterVO 4,0 Tudor JebeleanWeekly
326.021 (2018W) Mathematical logic 1
Further information
RegisterUE 1,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.063 (2018W) Seminar logic and software design
Project seminar Formal Methods I
Further information
RegisterSE 2,0 Wolfgang SchreinerWeekly
326.077 (2018W) Seminar logic and software design
Natural Language Processing and Automated Reasoning in Python and Mathematica
RegisterSE 2,0 Bruno BuchbergerWeekly
326.015 (2018W) Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
RegisterSE 2,0 Veronika Elisabeth PillweinWeekly
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.CA1 (2018W) Seminar symbolic computation
Computer-algebra I
Further information
RegisterSE 2,0 Franz WinklerWeekly
326.014 (2018W) Special Functions I
Symbolic Summation and Special Functions
RegisterUE 1,0 Silviu RaduWeekly
326.090 (2018W) Special Topics
Mathemtical Logic I
Further information
RegisterKV 3,0 Tudor JebeleanWeekly
326.070 (2018W) Special topics logic and software design
Advanced Automated Reasoning
Further information
RegisterVL 2,0 Tudor Jebelean

Teimuraz Kutsia
Weekly
326.0A2 (2018W) Special topics logic and software design
Advanced Automated Reasoning
RegisterUE 1,0 Tudor Jebelean

Teimuraz Kutsia
Weekly
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.082 (2018W) Special Topics symbolic computation
Algorithmic Number Theory
Further information
RegisterVL 2,0 Jose CapcoWeekly
326.057 (2018W) Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
RegisterVO 2,0 Tudor JebeleanWeekly
326.066 (2018W) Thinking, Speaking, Writing
Communication of Scientific Results
Further information
RegisterVO 2,0 Tudor JebeleanWeekly
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