Alle Kurse | JKU Moodle

Startseite Alle Kurse

JavaScript ist in Ihrem Browser deaktiviert.
Viele Funktionen in Moodle können nicht verwendet werden oder scheinen fehlerhaft zu sein.
Aktivieren Sie bitte JavaScript, um Moodle in vollem Umfang nutzen zu können.

326.714, UE Formale Grundlagen der Wirtschaftsinformatik, Nikolaj Popov, 2020S

326.712, VL Formale Grundlagen der Wirtschaftsinformatik, Nikolaj Popov, 2020S

326.703, UE Formale Grundlagen der Wirtschaftsinformatik, Günter Landsmann, 2020S

326.097, VL Spezialvorlesung Logik und Softwaredesign, Teimuraz Kutsia, 2020S

326.062, KV Programmieren in Mathematica, Teimuraz Kutsia, 2020S

326.054, KV Funktionales Programmieren, Teimuraz Kutsia, 2020S

326.009, UE Einführungsübungen Mathematik, Josef Schicho, 2020S

326.007, PS Formales Modellieren, Wolfgang Schreiner / Josef Schicho / Wolfgang Windsteiger, 2020S

326.006, VL Formales Modellieren, Wolfgang Schreiner / Josef Schicho / Wolfgang Windsteiger, 2020S

326.005, KV Programmierung 2, Wolfgang Schreiner, 2020S

326.003, KV Algorithmische Methoden, Wolfgang Windsteiger, 2020S

326.700, VL Mathematik und Logik, Wolfgang Windsteiger, 2019W

326.105, VL Computer Algebra, Franz Winkler, 2019W

326.053, KV Formale Methoden in der Software-Entwicklung, Wolfgang Schreiner / Janos Sztrik, 2019W

326.048, KV Logik als Arbeitssprache, Wolfgang Windsteiger, 2019W

326.031/112, UE Computer Algebra, Günter Landsmann / Johann Mitteramskogler, 2019W

326.028, KV Logisches Programmieren, Teimuraz Kutsia, 2019W

326.023, VO Berechenbarkeit und Komplexität, Wolfgang Schreiner, 2019W

326.013, KV Formal Methods in Software Development, Wolfgang Schreiner, 2019W

326.714, UE Formale Grundlagen der Wirtschaftsinformatik, Nikolaj Popov, 2019S

Johannes Kepler Universität Linz