|
|
|
|
|
| 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 |
|
Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail |