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

RISC Courses Winter Semester 2006

Find below the list of courses offered by RISC-Linz as of 31.1.2007.
LVA Nr. Titel Anmeldung Typ W.Std. LeiterInnen Rhythmus
326.011 (2006W) Algorithmen und Datenstrukturen
Weitere Infos
Anmelden KV 2,0 Carsten Schneider Wöchentlich
326.084 (2006W) Algorithmische Algebraische Geometrie
Weitere Infos
Anmelden VO 2,0 Josef Schicho Wöchentlich
326.002 (2006W) Algorithmische Methoden 1
Weitere Infos
Anmelden KV 2,0 Wolfgang Windsteiger Wöchentlich
326.012 (2006W) Analytische Kombinatorik
Weitere Infos
Anmelden VO 2,0 Peter Paule Wöchentlich
326.042 (2006W) Analytische Kombinatorik
Weitere Infos
Anmelden UE 1,0 Carsten Schneider Wöchentlich
326.017 (2006W) Computeralgebra
Weitere Infos
Anmelden KV 3,0 Franz Winkler

Günter Landsmann
Wöchentlich
326.025 (2006W) Entscheidbare logische Theorien
Weitere Infos
Anmelden VO 2,0 Heinrich Rolletschek Wöchentlich
326.026 (2006W) Entwurf und Analyse von Algorithmen
Weitere Infos
Anmelden VO 2,0 Heinrich Rolletschek Wöchentlich
357.203 (2006W) Formale Grundlagen 1
Weitere Infos
Anmelden UE 2,0 Wolfgang Windsteiger Wöchentlich
326.933 (2006W) Formale Grundlagen 2
Weitere Infos
Anmelden VO 2,0 Wolfgang Schreiner Wöchentlich
326.943 (2006W) Formale Grundlagen 2
Weitere Infos
Anmelden UE 1,0 Ralf Hemmecke Wöchentlich
326.945 (2006W) Formale Grundlagen 2
Weitere Infos
Anmelden UE 1,0 Ralf Hemmecke Wöchentlich
326.947 (2006W) Formale Grundlagen 2
Weitere Infos
Anmelden UE 1,0 Christoph Koutschan Wöchentlich
326.027 (2006W) Formale Semantik von Programmiersprachen
Weitere Infos
Anmelden VO 2,0 Wolfgang Schreiner Wöchentlich
326.015 (2006W) Informationssysteme
Weitere Infos
Anmelden KV 2,0 Gabor Bodnar Wöchentlich
326.006 (2006W) Lineare Algebra und Analytische Geometrie 1
Weitere Infos
Anmelden VO 5,0 Franz Winkler Wöchentlich
326.020 (2006W) Lineare Algebra und Analytische Geometrie 1
Weitere Infos
Anmelden UE 2,0 Marcel Oliver Widi Wöchentlich
326.071 (2006W) Lineare Algebra und Analytische Geometrie 1
Weitere Infos
Anmelden UE 2,0 Gerhard Wendt Wöchentlich
326.072 (2006W) Lineare Algebra und Analytische Geometrie 1
Weitere Infos
Anmelden UE 2,0 Günter Landsmann Wöchentlich
326.073 (2006W) Lineare Algebra und Analytische Geometrie 1
Weitere Infos
Anmelden UE 2,0 Carsten Schneider Wöchentlich
326.074 (2006W) Lineare Algebra und Analytische Geometrie 1
Weitere Infos
Anmelden KO 2,0 Günter Landsmann Wöchentlich
326.028 (2006W) Logisches Programmieren
Weitere Infos
Anmelden KV 2,0 Teimuraz Kutsia Wöchentlich
326.082 (2006W) Magister- und Dissertantenseminar
Winter 2006/07
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.083 (2006W) Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Weitere Infos
Anmelden SE 2,0 Peter Paule Wöchentlich
326.086 (2006W) Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Winter 2006/07
Weitere Infos
Anmelden SE 2,0 Bruno Buchberger Wöchentlich
326.019 (2006W) Mathematische Logik 1
Weitere Infos
Anmelden VO 4,0 Tudor Jebelean Wöchentlich
326.021 (2006W) Mathematische Logik 1
Weitere Infos
Anmelden UE 1,0 Tudor Jebelean Wöchentlich
326.000 (2006W) Mathematische Logik und logikorientierte Programmiersprachen
Weitere Infos
Anmelden UE 1,0 Tudor Jebelean Wöchentlich
326.111 (2006W) Mathematische Logik und logikorientierte Programmiersprachen
Weitere Infos
Anmelden VO 2,0 Tudor Jebelean Wöchentlich
326.018 (2006W) Praktische Softwaretechnologie
Weitere Infos
Anmelden KV 4,0 Martin Giese Wöchentlich
326.049 (2006W) Programmierprojekt Symbolisches Rechnen
Computer-Algebra
Weitere Infos
Anmelden KV 2,0 Ralf Hemmecke Wöchentlich
326.048 (2006W) Projektpraktikum
Computermathematik
Anmelden PR 10,0 Franz Winkler Wöchentlich
326.078 (2006W) Projektseminar
Computer-Algebra I (Winter 2006/07)
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.079 (2006W) Projektseminar (mit semesterweise wechselndem Inhalt)
Algorithmische Kombinatorik I
Weitere Infos
Anmelden SE 2,0 Peter Paule Wöchentlich
326.080 (2006W) Projektseminar (mit semesterweise wechselndem Inhalt)
Automatisches Beweisen I: Theorema: Automated Reasoning in Natural Style
Weitere Infos
Anmelden SE 2,0 Tudor Jebelean

Bruno Buchberger
Wöchentlich
326.081 (2006W) Projektseminar (mit semesterweise wechselndem Inhalt)
Formale Methoden I
Weitere Infos
Anmelden SE 2,0 Wolfgang Schreiner

Franz Lichtenberger
Wöchentlich
326.085 (2006W) Seminar
Computer-Algebra I (Winter 2006/07)
Weitere Infos
Anmelden SE 2,0 Franz Winkler Wöchentlich
326.091 (2006W) Seminar
Mathematik-Training durch E-Learning (im Rahmen eines Forschungsprojekts)
Weitere Infos
Anmelden SE 2,0 Bruno Buchberger

Günter Pilz
Wolfgang Windsteiger
Erich Klement
Blocktermin
326.077 (2006W) Seminar (mit semesterweise wechselndem Inhalt)
Computability and Complexity I
Weitere Infos
Anmelden SE 2,0 Heinrich Rolletschek Wöchentlich
326.087 (2006W) Seminar (mit semesterweise wechselndem Inhalt)
Selected Algorithms
Weitere Infos
Anmelden SE 2,0 Manuel Kauers

Teimuraz Kutsia
Wöchentlich
326.030 (2006W) Spezialvorlesung
Fine-grained parallel computing
Weitere Infos
Anmelden VO 2,0 Tudor Jebelean Wöchentlich
326.032 (2006W) Spezialvorlesung
Homologische Algebra
Weitere Infos
Anmelden VO 2,0 Günter Landsmann Wöchentlich
326.075 (2006W) Spezialvorlesung
Special Functions I
Weitere Infos
Anmelden VO 2,0 Peter Paule Wöchentlich
326.076 (2006W) Spezialvorlesung
Formale Modelle paralleler und verteilter Systeme
Weitere Infos
Anmelden VO 2,0 Wolfgang Schreiner Wöchentlich
326.088 (2006W) Spezialvorlesung
Computer algebra methods for the solution of Diophantine equations
Anmelden VO 2,0 Attila Pethö Blocktermin
326.089 (2006W) Spezialvorlesung
Algebraic methods for solving nonlinear PDEs
Weitere Infos
Anmelden VO 2,0 Elena Kartaschova Wöchentlich
326.090 (2006W) Spezialvorlesung
Mannigfaltigkeiten und Differentialgleichungen: abstrakt und algorithmisch
Weitere Infos
Anmelden VO 2,0 Markus Rosenkranz

Georg Regensburger
Wöchentlich
326.057 (2006W) Thinking, Speaking, Writing
Understanding and creating mathematical proofs
Weitere Infos
Anmelden VO 2,0 Tudor Jebelean Wöchentlich
326.066 (2006W) Thinking, Speaking, Writing
Communication of scientific results
Weitere Infos
Anmelden VO 2,0 Tudor Jebelean Wöchentlich
326.045 (2006W) Vortragsreihe Symbolisches Rechnen
Weitere Infos
Anmelden VO 1,0 Franz Winkler Wöchentlich
KUSSS  Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail