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 Winter Semester 2011

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

LVA Nr. Titel Anmeldung Typ W.Std. LeiterInnen Rhythmus
326.011 (2011W) Algorithmen und Datenstrukturen
Weitere Infos
Anmelden KV 2,00 Carsten Schneider Wöchentlich
326.002 (2011W) Algorithmische Methoden 1
Weitere Infos
Anmelden KV 2,00 Wolfgang Windsteiger Wöchentlich
326.022 (2011W) Analysis
Weitere Infos
Anmelden VO 2,00 Manuel Kauers Wöchentlich
326.027 (2011W) Analysis
Weitere Infos
Anmelden UE 2,00 Veronika Elisabeth Pillwein Wöchentlich
326.055 (2011W) Analysis
Weitere Infos
Anmelden UE 2,00 Manuela Wiesinger-Widi Wöchentlich
326.056 (2011W) Analysis
Weitere Infos
Anmelden UE 2,00 Maximilian Thomas Jaroschek Wöchentlich
326.012 (2011W) Analytische Kombinatorik
Weitere Infos
Anmelden VO 2,00 Veronika Elisabeth Pillwein Wöchentlich
326.042 (2011W) Analytische Kombinatorik
Weitere Infos
Anmelden UE 1,00 Silviu Radu Wöchentlich
326.062 (2011W) Berechenbarkeitstheorie
Weitere Infos
Anmelden VO 2,00 Heinrich Rolletschek Wöchentlich
326.004 (2011W) Berechenbarkeit und Komplexität
Weitere Infos
Anmelden UE 1,00 Burkhard Zimmermann Wöchentlich
326.016 (2011W) Berechenbarkeit und Komplexität
Weitere Infos
Anmelden UE 1,00 Ralf Hemmecke Wöchentlich
326.023 (2011W) Berechenbarkeit und Komplexität
Weitere Infos
Anmelden VO 2,00 Wolfgang Schreiner Wöchentlich
326.050 (2011W) Berechenbarkeit und Komplexität
Weitere Infos
Anmelden UE 1,00 Ralf Hemmecke Wöchentlich
326.017 (2011W) Computeralgebra
Weitere Infos
Anmelden KV 3,00 Franz Winkler

Günter Landsmann
Wöchentlich
326.008 (2011W) Computer-Based Working Environments
Weitere Infos
Anmelden KV 1,00 Károly Erdei

Wolfgang Windsteiger
Ralf Hemmecke
Blocktermin
326.053 (2011W) Formale Methoden in der Software-Entwicklung
Weitere Infos
Anmelden KV 4,00 Wolfgang Schreiner Wöchentlich
326.013 (2011W) Formal Methods in Software Development
Weitere Infos
Anmelden KV 3,00 Wolfgang Schreiner Wöchentlich
326.003 (2011W) Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 11
Weitere Infos
Anmelden KV 2,00 Peter Paule

Walter Zulehner
Ronny Ramlau
Franz Winkler
Josef Schicho
Bert Jüttler
Bruno Buchberger
Ulrich Langer
Manuel Kauers
Wöchentlich
326.005 (2011W) Gewöhnliche Differentialgleichungen und Dynamische Systeme 1 Anmelden KV 5,00 Josef Schicho

Christian Eckhardt Dönch
Veronika Elisabeth Pillwein
Wöchentlich
326.015 (2011W) Informationssysteme
Weitere Infos
Anmelden KV 2,00 Nikolaj Popov Wöchentlich
368.109 (2011W) Lineare Algebra und Analytische Geometrie 1
Weitere Infos
Anmelden UE 2,00 Anja Korporal Wöchentlich
368.111 (2011W) Lineare Algebra und Analytische Geometrie 1
Weitere Infos
Anmelden UE 2,00 Burkhard Zimmermann Wöchentlich
326.028 (2011W) Logisches Programmieren
Weitere Infos
Anmelden KV 2,00 Teimuraz Kutsia Wöchentlich
326.0MD (2011W) Magister- und Dissertantenseminar
Winter Semester 11
Weitere Infos
Anmelden SE 2,00 Franz Winkler Wöchentlich
326.000 (2011W) Magister- und Dissertantenseminar
Winter Semester 11
Anmelden SE 2,00 Bruno Buchberger

Tudor Jebelean
Wöchentlich
326.0XX (2011W) Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Wintersemester 2011/12
Anmelden SE 2,00 Peter Paule Wöchentlich
357.201 (2011W) Mathematische Grundlagen
Weitere Infos
Anmelden UE 2,00 Wolfgang Windsteiger Wöchentlich
326.019 (2011W) Mathematische Logik 1
Weitere Infos
Anmelden VO 4,00 Tudor Jebelean Wöchentlich
326.021 (2011W) Mathematische Logik 1
Weitere Infos
Anmelden UE 1,00 Tudor Jebelean Wöchentlich
326.049 (2011W) Programmierprojekt Symbolisches Rechnen
Computeralgebra, Logik und Softwaredesign I
Weitere Infos
Anmelden KV 2,00 Ralf Hemmecke Wöchentlich
326.0AB (2011W) Projektseminar
Automatisches Beweisen I: Theorema: Automated Reasoning in Natural Style (WS 11)
Weitere Infos
Anmelden SE 2,00 Bruno Buchberger

Tudor Jebelean
Wöchentlich
326.035 (2011W) Projektseminar
Computer-Algebra I (Winter Semester 11)
Weitere Infos
Anmelden SE 2,00 Franz Winkler Wöchentlich
326.038 (2011W) Projektseminar
Formale Methoden I (Winter Semester 11)
Weitere Infos
Anmelden SE 2,00 Franz Lichtenberger

Wolfgang Schreiner
Wöchentlich
326.051 (2011W) Projektseminar
Algorithmische Kombinatorik I (Winter Semester 11)
Weitere Infos
Anmelden SE 2,00 Peter Paule Wöchentlich
326.0SS (2011W) Seminar
Symbolische Summation in der Teilchenphysik
Anmelden SE 2,00 Carsten Schneider Wöchentlich
326.067 (2011W) Seminar
Computer-Algebra I (Winter Semester 11)
Weitere Infos
Anmelden SE 2,00 Franz Winkler Wöchentlich
326.014 (2011W) Special Functions I
Symbolische Summation und Spezielle Funktionen
Anmelden UE 1,00 Silviu Radu Wöchentlich
326.034 (2011W) Special Topics
Differential Algebra
Anmelden VO 2,00 Johannes Middeke Wöchentlich
326.SAZ (2011W) Spezialvorlesung
Algebraische Zahlentheorie
Weitere Infos
Anmelden VO 2,00 Günter Lettl Wöchentlich
326.00C (2011W) Spezialvorlesung
Fine-grained Parallel Computing
Weitere Infos
Anmelden VO 2,00 Tudor Jebelean Wöchentlich
326.00G (2011W) Spezialvorlesung
Schachprogrammierung
Weitere Infos
Anmelden VO 2,00 Heinrich Rolletschek

Stephan Winkler
14-tägig
326.00J (2011W) Spezialvorlesung
Formale Sprachen und formale Grammatiken II
Weitere Infos
Anmelden VO 2,00 Nikolaj Popov Wöchentlich
326.024 (2011W) Spezialvorlesung
Programmieren in Haskell
Weitere Infos
Anmelden VO 2,00 Johannes Middeke Wöchentlich
326.032 (2011W) Spezialvorlesung
Homologische Algebra
Weitere Infos
Anmelden VO 2,00 Günter Landsmann Wöchentlich
326.054 (2011W) Spezialvorlesung
Symbolische Summation und Spezielle Funktionen I (Winter Semester 11)
Weitere Infos
Anmelden VO 2,00 Carsten Schneider Wöchentlich
326.064 (2011W) Spezialvorlesung
Automatisches Beweisen I
Weitere Infos
Anmelden VO 2,00 Tudor Jebelean Wöchentlich
326.I00 (2011W) Spezielle Kapitel aus Informatik
Schachprogrammierung
Weitere Infos
Anmelden VO 2,00 Heinrich Rolletschek

Stephan Winkler
14-tägig
326.I02 (2011W) Spezielle Kapitel aus Informatik
Mathematische Logik I
Weitere Infos
Anmelden KV 3,00 Tudor Jebelean Wöchentlich
326.00I (2011W) Spezielle Kapitel aus Informatik
Computeralgebra
Weitere Infos
Anmelden KV 3,00 Franz Winkler

Günter Landsmann
Wöchentlich
326.901 (2011W) Spezielle Kapitel aus Informatik
Formale Sprachen und formale Grammatiken II
Weitere Infos
Anmelden VO 2,00 Nikolaj Popov Wöchentlich
326.057 (2011W) Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Weitere Infos
Anmelden VO 2,00 Tudor Jebelean Wöchentlich
326.066 (2011W) Thinking, Speaking, Writing
Communication of Scientific Results
Weitere Infos
Anmelden VO 2,00 Tudor Jebelean Wöchentlich
326.999 (2011W) Vorbereitungskurs Mathematik für Stud.anfänger/innen der Wirtschaftsinformatik
Weitere Infos
Anmelden VK 2,00 Veronika Elisabeth Pillwein Blocktermin
KUSSS  Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail