|
|
|
|
|
| LVA Nr. | Titel | Anmeldung | Typ | W.Std. | LeiterInnen | Rhythmus |
|---|---|---|---|---|---|---|
| 326.011 (2005W) |
Algorithmen und Datenstrukturen
Weitere Infos |
Anmelden | KV | 2,0 | Carsten Schneider | Wöchentlich |
| 326.002 (2005W) |
Algorithmische Methoden 1
Weitere Infos |
Anmelden | KV | 2,0 | Wolfgang Windsteiger | Wöchentlich |
| 326.012 (2005W) |
Analytische Kombinatorik
Weitere Infos |
Anmelden | VO | 2,0 | Peter Paule | Wöchentlich |
| 326.042 (2005W) |
Analytische Kombinatorik
Weitere Infos |
Anmelden | UE | 1,0 | Carsten Schneider | Wöchentlich |
| 326.062 (2005W) |
Berechenbarkeitstheorie
Weitere Infos |
Anmelden | VO | 2,0 | Heinrich Rolletschek | Wöchentlich |
| 326.017 (2005W) |
Computeralgebra
Weitere Infos |
Anmelden | KV | 3,0 |
Franz Winkler
Günter Landsmann |
Wöchentlich |
| 326.039 (2005W) |
Diplomanden- und Dissertantenseminar
Weitere Infos |
Anmelden | SE | 2,0 | Franz Winkler | Wöchentlich |
| 326.040 (2005W) |
Diplomanden- und Dissertantenseminar
Weitere Infos |
Anmelden | SE | 2,0 | Peter Paule | Wöchentlich |
| 326.067 (2005W) | Diplomanden- und Dissertantenseminar | Anmelden | SE | 2,0 | Bruno Buchberger | Wöchentlich |
| 326.603 (2005W) |
Einführung in paralleles und verteiltes Rechnen
Weitere Infos |
Anmelden | VO | 2,0 | Wolfgang Schreiner | Wöchentlich |
| 357.203 (2005W) |
Formale Grundlagen 1
Weitere Infos |
Anmelden | UE | 2,0 | Wolfgang Windsteiger | Wöchentlich |
| 326.933 (2005W) |
Formale Grundlagen 2
Weitere Infos |
Anmelden | VO | 2,0 | Franz Winkler | Wöchentlich |
| 326.943 (2005W) |
Formale Grundlagen 2
Weitere Infos |
Anmelden | UE | 1,0 | Ralf Hemmecke | Wöchentlich |
| 326.945 (2005W) |
Formale Grundlagen 2
Weitere Infos |
Anmelden | UE | 1,0 | Ralf Hemmecke | Wöchentlich |
| 326.947 (2005W) |
Formale Grundlagen 2
Weitere Infos |
Anmelden | UE | 1,0 | Franz Winkler | Wöchentlich |
| 326.015 (2005W) |
Informationssysteme
Weitere Infos |
Anmelden | KV | 2,0 | Gabor Bodnar | Wöchentlich |
| 326.028 (2005W) |
Logisches Programmieren
Weitere Infos |
Anmelden | KV | 2,0 | Teimuraz Kutsia | Wöchentlich |
| 326.019 (2005W) |
Mathematische Logik 1
Weitere Infos |
Anmelden | VO | 4,0 | Tudor Jebelean | Wöchentlich |
| 326.021 (2005W) |
Mathematische Logik 1
Weitere Infos |
Anmelden | UE | 1,0 | Tudor Jebelean | Wöchentlich |
| 326.000 (2005W) |
Mathematische Logik und logikorientierte Programmiersprachen
Weitere Infos |
Anmelden | UE | 1,0 | Tudor Jebelean | Wöchentlich |
| 326.111 (2005W) |
Mathematische Logik und logikorientierte Programmiersprachen
Weitere Infos |
Anmelden | VO | 2,0 | Tudor Jebelean | Wöchentlich |
| 326.018 (2005W) |
Praktische Softwaretechnologie
Weitere Infos |
Anmelden | KV | 4,0 | Ralf Hemmecke | Wöchentlich |
| 326.049 (2005W) |
Programmierprojekt Symbolisches Rechnen
Computeralgebra Weitere Infos |
Anmelden | KV | 2,0 | Ralf Hemmecke | Wöchentlich |
| 326.048 (2005W) |
Projektpraktikum
Computermathematik |
Anmelden | PR | 10,0 | Franz Winkler | Wöchentlich |
| 326.035 (2005W) |
Projektseminar
Computer-Algebra I Weitere Infos |
Anmelden | SE | 2,0 | Franz Winkler | Wöchentlich |
| 326.037 (2005W) |
Projektseminar
Automatisches Beweisen I (Theorema-Projekt) Weitere Infos |
Anmelden | SE | 2,0 |
Bruno Buchberger
Tudor Jebelean |
Wöchentlich |
| 326.038 (2005W) |
Projektseminar
Formale Methoden I Weitere Infos |
Anmelden | SE | 2,0 |
Wolfgang Schreiner
Franz Lichtenberger |
Wöchentlich |
| 326.051 (2005W) |
Projektseminar
Algorithmische Kombinatorik I Weitere Infos |
Anmelden | SE | 2,0 | Peter Paule | Wöchentlich |
| 326.058 (2005W) |
Seminar
Set Theory and Logical Foundations I Weitere Infos |
Anmelden | SE | 2,0 | Heinrich Rolletschek | Wöchentlich |
| 326.753 (2005W) |
Seminar
Computer-Algebra I Weitere Infos |
Anmelden | SE | 2,0 | Franz Winkler | Wöchentlich |
| 326.032 (2005W) |
Spezialvorlesung
Homologische Algebra Weitere Infos |
Anmelden | VO | 2,0 | Günter Landsmann | Wöchentlich |
| 326.054 (2005W) |
Spezialvorlesung
Symbolische Summation I Weitere Infos |
Anmelden | VO | 2,0 | Peter Paule | Wöchentlich |
| 326.063 (2005W) |
Spezialvorlesung
Spezifikation Abstrakter Datentypen Weitere Infos |
Anmelden | VO | 2,0 | Wolfgang Schreiner | Wöchentlich |
| 326.064 (2005W) |
Spezialvorlesung
Automatisches Beweisen I Weitere Infos |
Anmelden | VO | 2,0 | Tudor Jebelean | Wöchentlich |
| 326.065 (2005W) |
Spezialvorlesung
Symbolic Computation Methods for Functional Analysis Weitere Infos |
Anmelden | VO | 2,0 | Markus Rosenkranz | Wöchentlich |
| 326.057 (2005W) |
Thinking, Speaking, Writing
Understanding and creating mathematical proofs Weitere Infos |
Anmelden | VO | 2,0 | Tudor Jebelean | Wöchentlich |
| 326.066 (2005W) |
Thinking, Speaking, Writing
Communication of scientific results Weitere Infos |
Anmelden | VO | 2,0 | Tudor Jebelean | Wöchentlich |
| 326.045 (2005W) |
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 |