RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
Details Past courses Course calendar (entire semester) View calendar (current week)

RISC Courses Summer Semester 2014

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

Course Id Title Registration Type Hours Teachers Rhythm
368.191 (2014S) Algebra
Further information
Register UE 2,00 Wolfgang Windsteiger Weekly
326.007 (2014S) Algebraic and Discrete Methods for Biology
Further information
Register KV 2,00 Nikolaj Popov

Stephan Dreiseitl
Tudor Jebelean
Weekly
326.046 (2014S) Computer Algebra for Concrete Mathematics
Further information
Register VL 2,00 Peter Paule Weekly
326.047 (2014S) Computer Algebra for Concrete Mathematics
Further information
Register UE 1,00 Peter Paule Weekly
326.079 (2014S) Computer analysis
Further information
Register VO 2,00 Manuel Kauers Weekly
326.052 (2014S) Computer systems
Further information
Register KV 2,00 Wolfgang Schreiner Weekly
326.081 (2014S) Introduction to parallel and distributed computing
Further information
Register VO 2,00 Wolfgang Schreiner Weekly
326.008 (2014S) Decidibility and complexity classes
Further information
Register VO 2,00 Heinrich Rolletschek Weekly
326.703 (2014S) Formal Foundations in Business Informatics
Further information
Register UE 1,00 Maximilian Thomas Jaroschek Weekly
326.712 (2014S) Formal Foundations in Business Informatics
Further information
Register VO 3,00 Veronika Elisabeth Pillwein Weekly
326.714 (2014S) Formal Foundations in Business Informatics
Further information
Register UE 1,00 Veronika Elisabeth Pillwein Weekly
326.003 (2014S) Fundamentals of Numerical Analysis and Symbolic Computation
Sommer Semester 14
Register KV 2,00 Sergiy Pereverzyev

Sergiy Pereverzyev
Weekly
326.054 (2014S) Functional programming
Further information
Register KV 2,00 Nikolaj Popov Weekly
326.035 (2014S) Linear algebra for physicists II
Further information
Register UE 1,00 Burkhard Zimmermann Weekly
326.037 (2014S) Linear algebra for physicists II
Further information
Register UE 1,00 Wolfgang Leeb Weekly
326.038 (2014S) Linear algebra for physicists II
Further information
Register VO 2,00 Franz Winkler Weekly
326.018 (2014S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Georg Grasegger Weekly
326.024 (2014S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Franz Binder Weekly
326.034 (2014S) Linear algebra and analytic geometry 2
Further information
Register UE 2,00 Günter Landsmann

Franz Winkler
Weekly
326.040 (2014S) Linear algebra and analytic geometry 2
Further information
Register VO 5,00 Franz Winkler Weekly
326.044 (2014S) Linear algebra and analytic geometry 2
Further information
Register KO 2,00 Günter Landsmann

Franz Winkler
Weekly
326.026 (2014S) Seminar for graduate and doctoral students
Summer Semester 14
Further information
Register SE 2,00 Franz Winkler Weekly
326.030 (2014S) Seminar for graduate and doctoral students
Summer Semester 14
Further information
Register SE 2,00 Peter Paule Weekly
326.033 (2014S) Seminar for graduate and doctoral students
Summer Semester 14
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
326.041 (2014S) Practical software technology
Further information
Register KV 4,00 Karoly Bosa Weekly
326.062 (2014S) Programming in Mathematica
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
326.098 (2014S) Seminar logic and software design
Project seminar Automated theorem proving II: Theorema Mathematical Theory Exploration
Further information
Register SE 2,00 Bruno Buchberger

Tudor Jebelean
Weekly
326.001 (2014S) Seminar symbolic computation
Computer-Algebra II (Summer Semester 14)
Register SE 2,00 Franz Winkler Weekly
326.060 (2014S) Seminar symbolic computation
Algorithmic Algebra
Register SE 2,00 Josef Schicho Weekly
326.064 (2014S) Seminar symbolic computation
Project seminar Algorithmic Combinatorics II
Further information
Register SE 2,00 Peter Paule

Carsten Schneider
Manuel Kauers
Weekly
326.0CA (2014S) Seminar symbolic computation
Project Seminar Computer algebra II
Register SE 2,00 Franz Winkler Weekly
326.068 (2014S) Software engineering
Further information
Register KV 2,00 Petru Pau Weekly
326.088 (2014S) Special Topics
Gödel's Incompleteness Theorems
Further information
Register VL 2,00 Nikolaj Popov Weekly
326.0FP (2014S) Special Topics
Functional Programming
Further information
Register KV 2,00 Nikolaj Popov Weekly
326.0UF (2014S) Special Topics
Unification Theory
Further information
Register VL 2,00 Teimuraz Kutsia Weekly
326.0VR (2014S) Special Topics
Introduction to Parallel and Distributed Computing
Further information
Register VL 2,00 Wolfgang Schreiner Weekly
326.MM0 (2014S) Special Topics
Programming in Mathematica
Further information
Register KV 2,00 Wolfgang Windsteiger Weekly
326.076 (2014S) Special topics logic and software design
Formal Specification of Abstract Datatypes
Further information
Register VL 2,00 Wolfgang Schreiner Weekly
326.086 (2014S) Special topics logic and software design
Gödel's Incompleteness Theorems
Further information
Register VL 2,00 Nikolaj Popov Weekly
326.097 (2014S) Special topics logic and software design
Unification theory
Further information
Register VL 2,00 Teimuraz Kutsia Weekly
326.0SF (2014S) Special Topics symbolic computation
Symbolic Summation and Special Functions II
Register VL 2,00 Carsten Schneider Weekly
KUSSS  Content provided by KUSSS, Johannes Kepler University Linz | E-Mail