|
|
|
|
|
| LVA Nr. | Titel | Anmeldung | Typ | W.Std. | LeiterInnen | Rhythmus |
|---|---|---|---|---|---|---|
| 326.011 (2007W) |
Algorithmen und Datenstrukturen
Weitere Infos |
Anmelden | KV | 2,0 | Carsten Schneider | Wöchentlich |
| 326.002 (2007W) |
Algorithmische Methoden 1
Weitere Infos |
Anmelden | KV | 2,0 | Wolfgang Windsteiger | Wöchentlich |
| 326.012 (2007W) |
Analytische Kombinatorik
Weitere Infos |
Anmelden | VO | 2,0 | Peter Paule | Wöchentlich |
| 326.042 (2007W) |
Analytische Kombinatorik
Weitere Infos |
Anmelden | UE | 1,0 | Carsten Schneider | Wöchentlich |
| 326.062 (2007W) |
Berechenbarkeitstheorie
Weitere Infos |
Anmelden | VO | 2,0 | Heinrich Rolletschek | Wöchentlich |
| 326.023 (2007W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | VO | 2,0 | Wolfgang Schreiner | Wöchentlich |
| 326.050 (2007W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | UE | 1,0 | Ralf Hemmecke | Wöchentlich |
| 326.304 (2007W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | UE | 1,0 | Ralf Hemmecke | Wöchentlich |
| 326.305 (2007W) |
Berechenbarkeit und Komplexität
Weitere Infos |
Anmelden | UE | 1,0 | Christoph Koutschan | Wöchentlich |
| 326.017 (2007W) |
Computeralgebra
Weitere Infos |
Anmelden | KV | 3,0 |
Franz Winkler
Günter Landsmann |
Wöchentlich |
| 326.009 (2007W) |
Formale Methoden in der Software-Entwicklung
Weitere Infos |
Anmelden | KV | 4,0 | Wolfgang Schreiner | Wöchentlich |
| 326.013 (2007W) |
Formal Methods in Software Development
Weitere Infos |
Anmelden | KV | 3,0 | Wolfgang Schreiner | Wöchentlich |
| 326.015 (2007W) |
Informationssysteme
Weitere Infos |
Anmelden | KV | 2,0 | Teimuraz Kutsia | Wöchentlich |
| 326.006 (2007W) |
Lineare Algebra und Analytische Geometrie 1
Weitere Infos |
Anmelden | VO | 5,0 | Franz Winkler | Wöchentlich |
| 326.020 (2007W) |
Lineare Algebra und Analytische Geometrie 1
Weitere Infos |
Anmelden | UE | 2,0 | Marcel Oliver Widi | Wöchentlich |
| 326.071 (2007W) |
Lineare Algebra und Analytische Geometrie 1
Weitere Infos |
Anmelden | UE | 2,0 | Christian Aistleitner | Wöchentlich |
| 326.072 (2007W) |
Lineare Algebra und Analytische Geometrie 1
Weitere Infos |
Anmelden | UE | 2,0 | Günter Landsmann | Wöchentlich |
| 326.073 (2007W) |
Lineare Algebra und Analytische Geometrie 1
Weitere Infos |
Anmelden | UE | 2,0 | Carsten Schneider | Wöchentlich |
| 326.074 (2007W) |
Lineare Algebra und Analytische Geometrie 1
Weitere Infos |
Anmelden | KO | 2,0 | Günter Landsmann | Wöchentlich |
| 326.028 (2007W) |
Logisches Programmieren
Weitere Infos |
Anmelden | KV | 2,0 | Teimuraz Kutsia | Wöchentlich |
| 326.005 (2007W) |
Magister- und Dissertantenseminar
Wintersemester 07 |
Anmelden | SE | 2,0 | Bruno Buchberger | Wöchentlich |
| 326.082 (2007W) |
Magister- und Dissertantenseminar
Winter 2007 |
Anmelden | SE | 2,0 | Franz Winkler | Wöchentlich |
| 326.083 (2007W) |
Magister- und Dissertantenseminar (mit semesterweise wechselndem Inhalt)
Weitere Infos |
Anmelden | SE | 2,0 | Peter Paule | Wöchentlich |
| 326.061 (2007W) |
Mathematik lernen und lehren mit Computeralgebra-Systemen
(mit TI-Nspire, Voyage200, Derive) |
Anmelden | KV | 2,0 |
Bernhard Kutzler
Vlasta Kokol-Voljc |
Blocktermin |
| 357.203 (2007W) |
Mathematische Grundlagen
Weitere Infos |
Anmelden | UE | 2,0 | Wolfgang Windsteiger | Wöchentlich |
| 326.019 (2007W) |
Mathematische Logik 1
Weitere Infos |
Anmelden | VO | 4,0 | Tudor Jebelean | Wöchentlich |
| 326.021 (2007W) |
Mathematische Logik 1
Weitere Infos |
Anmelden | UE | 1,0 | Tudor Jebelean | Wöchentlich |
| 326.049 (2007W) |
Programmierprojekt Symbolisches Rechnen
Computer-Algebra Weitere Infos |
Anmelden | KV | 2,0 | Ralf Hemmecke | Wöchentlich |
| 326.037 (2007W) |
Projektseminar
Automatisches Beweisen I (Theorema-Projekt) Weitere Infos |
Anmelden | SE | 2,0 |
Bruno Buchberger
Tudor Jebelean |
Wöchentlich |
| 326.078 (2007W) |
Projektseminar
Computer-Algebra I (Winter 2007/08) Weitere Infos |
Anmelden | SE | 2,0 | Franz Winkler | Wöchentlich |
| 326.079 (2007W) |
Projektseminar (mit semesterweise wechselndem Inhalt)
Algorithmische Kombinatorik I Weitere Infos |
Anmelden | SE | 2,0 | Peter Paule | Wöchentlich |
| 326.081 (2007W) |
Projektseminar (mit semesterweise wechselndem Inhalt)
Formale Methoden I Weitere Infos |
Anmelden | SE | 2,0 |
Wolfgang Schreiner
Franz Lichtenberger |
Wöchentlich |
| 326.085 (2007W) |
Seminar
Computer-Algebra I (Winter 2007/08) Weitere Infos |
Anmelden | SE | 2,0 | Franz Winkler | Wöchentlich |
| 326.077 (2007W) |
Seminar (mit semesterweise wechselndem Inhalt)
Computability and Complexity I Weitere Infos |
Anmelden | SE | 2,0 | Heinrich Rolletschek | Wöchentlich |
| 326.087 (2007W) |
Seminar (mit semesterweise wechselndem Inhalt)
Selected Algorithms Weitere Infos |
Anmelden | SE | 2,0 |
Manuel Kauers
Teimuraz Kutsia |
Wöchentlich |
| 326.032 (2007W) |
Spezialvorlesung
Homologische Algebra Weitere Infos |
Anmelden | VO | 2,0 | Günter Landsmann | Wöchentlich |
| 326.044 (2007W) |
Spezialvorlesung
D-Modul Theorie I |
Anmelden | VO | 2,0 | Markus Rosenkranz | Wöchentlich |
| 326.054 (2007W) |
Spezialvorlesung
Symbolische Summation I Weitere Infos |
Anmelden | VO | 2,0 | Peter Paule | Wöchentlich |
| 326.064 (2007W) |
Spezialvorlesung
Automatisches Beweisen I Weitere Infos |
Anmelden | VO | 2,0 | Tudor Jebelean | Wöchentlich |
| 326.089 (2007W) |
Spezialvorlesung
Algebraic methods for solving nonlinear PDEs Weitere Infos |
Anmelden | VO | 2,0 | Elena Kartaschova | Wöchentlich |
| 326.057 (2007W) |
Thinking, Speaking, Writing
Understanding and creating mathematical proofs Weitere Infos |
Anmelden | VO | 2,0 | Tudor Jebelean | Wöchentlich |
| 326.066 (2007W) |
Thinking, Speaking, Writing
Communication of scientific results Weitere Infos |
Anmelden | VO | 2,0 | Tudor Jebelean | Wöchentlich |
| 326.045 (2007W) | Vortragsreihe Symbolisches Rechnen | Anmelden | VO | 1,0 | Franz Winkler | Wöchentlich |
|
Inhalte zur Verfügung gestellt von KUSSS, Johannes Kepler Universität Linz | E-Mail |