All courses | JKU Moodle

Home All courses

JavaScript is disabled in your browser.
Many features of Moodle will be not usable or will appear to be broken.
Please enable JavaScript for the full Moodle experience.

326.084, VL Special Topics symbolic computation, Günter Landsmann, 2023S

326.065, VL Rewriting in Computer Science and Logic, Teimuraz Kutsia, 2023S

326.062, KV Practical in Logic and Software Design, Ralf Hemmecke, 2023S

326.054/87, KV Functional Programming, Teimuraz Kutsia, 2023S

326.003, KV Algorithmische Methoden, Wolfgang Windsteiger, 2023S

326.700, KV Mathematik und Logik, Wolfgang Windsteiger / Nikolaj Popov, 2022W

326.300, KS Mathematik für Sozial- und Wirtschaftswissenschaften, Philipp Langgruber / Wolfgang Windsteiger, 2022W

326.057, VO Thinking, Speaking, Writing, Tudor Jebelean, 2022W

326.019/21/90, VO / UE Mathematical logic 1 and KV Special Topics, Teimuraz Kutsia / Tudor Jebelean, 2022W

326.0AR/94, VL / UE Automated Reasoning, Teimuraz Kutsia / Tudor Jebelean, 2022W

326.700/1/2/4/5, VO / UE Mathematik und Logik, Wolfgang Windsteiger et al., 2021W

326.019/21, VL/UE Mathematical logic 1, Teimuraz Kutsia / Tudor Jebelean, 2021W

326.0AR/109, VL/UE Automated Reasoning, Teimuraz Kutsia / Tudor Jebelean, 2021W

Johannes Kepler Universität Linz