RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  

RISC Courses Summer Semester 2005

Find below the list of courses offered by RISC-Linz as of 31.8.2005.
LVA Nr. Titel Anmeldung Typ W.Std. LeiterInnen Rhythmus
326.246 (2005S) Algorithmische Kombinatorik
Weitere Infos
Anmelden VO 2,0 Peter Paule Wöchentlich
326.248 (2005S) Algorithmische Kombinatorik
Weitere Infos
Anmelden UE 1,0 Carsten Schneider Wöchentlich
327.031 (2005S) Anwendungen der Mathematik Anmelden KV 2,0 Walter Zulehner
Josef Synka
Franz Lichtenberger
Martin Aigner
Wöchentlich
326.052 (2005S) Computersysteme
Weitere Infos
Anmelden KV 2,0 Wolfgang Schreiner Wöchentlich
326.060 (2005S) Diplomanden- und Dissertantenseminar Anmelden SE 2,0 Bruno Buchberger Wöchentlich
326.703 (2005S) Diplomanden- und Dissertantenseminar Anmelden SE 2,0 Franz Winkler Wöchentlich
326.711 (2005S) Diplomanden- und Dissertantenseminar
Weitere Infos
Anmelden SE 2,0 Peter Paule Wöchentlich
326.053 (2005S) Formale Methoden in der Software-Entwicklung
Weitere Infos
Anmelden KV 4,0 Wolfgang Schreiner Wöchentlich
326.516 (2005S) Funktionales Programmieren
Weitere Infos
Anmelden KV 2,0 Tudor Jebelean Wöchentlich
326.212 (2005S) Kommutative Algebra und Algebraische Geometrie
Weitere Infos
Anmelden VO 4,0 Franz Winkler Wöchentlich
326.214 (2005S) Kommutative Algebra und Algebraische Geometrie
Weitere Infos
Anmelden UE 1,0 Franz Winkler Wöchentlich
368.110 (2005S) Lineare Algebra und Analytische Geometrie 2
Weitere Infos
Anmelden UE 2,0 Axel Riese Wöchentlich
326.014 (2005S) Logik als Arbeitssprache
Weitere Infos
Anmelden KV 2,0 Wolfgang Windsteiger Wöchentlich
326.055 (2005S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Jana Pilnikova Wöchentlich
326.056 (2005S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Tobias Beck Wöchentlich
326.915 (2005S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden VO 3,0 Günter Landsmann Wöchentlich
326.925 (2005S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Günter Landsmann Wöchentlich
326.927 (2005S) Mathematik 1 (Analysis)
Weitere Infos
Anmelden UE 2,0 Gabor Bodnar Wöchentlich
326.059 (2005S) Mathematische Logik 2
Weitere Infos
Anmelden VO 2,0 Heinrich Rolletschek Wöchentlich
326.258 (2005S) Programmieren in Mathematica
Weitere Infos
Anmelden KV 2,0 Wolfgang Windsteiger Wöchentlich
326.049 (2005S) Programmierprojekt Symbolisches Rechnen
Logik und Softwaredesign
Anmelden KV 2,0 Franz Winkler Wöchentlich
326.792 (2005S) Projektpraktikum
Computermathematik
Anmelden PR 10,0 Franz Winkler Wöchentlich
326.008 (2005S) Projektseminar
Computer-Algebra
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.038 (2005S) Projektseminar
Formale Methoden
Weitere Infos
Anmelden SE 2,0 Wolfgang Schreiner
Franz Lichtenberger
Wöchentlich
326.051 (2005S) Projektseminar
Algorithmische Kombinatorik
Weitere Infos
Anmelden SE 2,0 Peter Paule Wöchentlich
326.828 (2005S) Projektseminar
Automatisches Beweisen (Theorema-Projekt)
Weitere Infos
Anmelden SE 2,0 Tudor Jebelean
Bruno Buchberger
Wöchentlich
326.058 (2005S) Seminar
Set Theory and Logical Foundations
Weitere Infos
Anmelden SE 2,0 Heinrich Rolletschek Wöchentlich
326.753 (2005S) Seminar
Computer-Algebra II
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.016 (2005S) Software Engineering
Weitere Infos
Anmelden KV 2,0 Ralf Hemmecke Wöchentlich
326.043 (2005S) Spezialvorlesung
Beweistheorie
Anmelden VO 2,0 Mathias Baaz Blocktermin
326.054 (2005S) Spezialvorlesung
Symbolische Summation I
Anmelden VO 2,0 Peter Paule
Carsten Schneider
Wöchentlich
326.057 (2005S) Thinking, Speaking, Writing
Allgemeine Arbeitstechnik für Mathematiker und Informatiker
Anmelden VO 2,0 Tudor Jebelean Wöchentlich
326.045 (2005S) Vortragsreihe Symbolisches Rechnen Anmelden VO 1,0 Franz Winkler Wöchentlich
KUSSS  Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail