08:30-10:00 VL Gewöhnliche Differentialgleichungen und Dynamische Systeme / Josef Schicho / (326106/2025W)

15:30-17:00 VL Computational Logic / Wolfgang Schreiner / (326010/2025W)

15:30-17:00 KV Überblick Mathematik: Analysis / Günter Landsmann / (326116/2025W)

17:15-18:00 UE Computational Logic / Nikolaj Popov / (326011/2025W)

17:15-18:45 KO Mathematics for AI III / Jan-Michael Holzinger / (326513/2025W)

17:15-18:45 KV Mathematik (VLG - Teil 1 - Analysis) / Günter Landsmann / (500902/2025W)

08:30-09:15 VL Gewöhnliche Differentialgleichungen und Dynamische Systeme / Josef Schicho / (326106/2025W)

08:30-10:00 VL Special Topics Symbolic Computation - Thinking, Speaking, Writing: Understanding and Creating Mathematical Proofs / Silviu Radu / (326057/2025W)

09:15-10:00 UE Gewöhnliche Differentialgleichungen und Dynamische Systeme / Josef Schicho / (326107/2025W)

10:15-11:45 VL Mathematics for AI III / Niels Lubbes / (326500/2025W)

12:00-13:30 KV Logik als Arbeitssprache / Wolfgang Windsteiger / (326048/2025W)

7. Präsenztermin: Übung

13:45-14:30 UE Mathematical logic / Teimuraz Kutsia / (326021/2025W)

13:45-16:15 VL Special Topics - Mathematische Logik / Teimuraz Kutsia / (326090/2025W)

14:30-16:15 VL Mathematical Logic / Teimuraz Kutsia / (326019/2025W)

15:30-16:15 KV Mathematik und Logik / Wolfgang Windsteiger / (326700/2025W)

Kurztest Modul 10

15:30-17:00 KV Überblick Mathematik: Wahrscheinlichkeitstheorie / Josef Schicho / (326115/2025W)

16:15-17:00 KV Mathematik und Logik / Wolfgang Windsteiger / (326700/2025W)

Übung Modul 11

16:15-18:00 SE Symbolic Computation - Projektseminar Formale Methoden und Automatisches Beweisen / Teimuraz Kutsia / (326063/2025W)

10:15-11:45 VL Mathematics for AI III / Niels Lubbes / (326500/2025W)

12:00-13:30 UE Mathematics for AI III / Josef Schicho / (326501/2025W)

12:00-13:30 UE Mathematics for AI III / Wolfgang Windsteiger / (326502/2025W)

12:00-13:30 UE Mathematics for AI III / Jan-Michael Holzinger / (326503/2025W)

12:00-13:30 UE Mathematics for AI III / Jose Capco / (326504/2025W)

12:00-13:30 UE Mathematics for AI III / Robert Vajda / (326505/2025W)

12:00-13:30 UE Mathematics for AI III / Michalis Kokkinos / (326506/2025W)

12:00-13:30 UE Mathematics for AI III / Waseem Alass / (326507/2025W)

12:00-13:30 UE Mathematics for AI III / Nikolaj Popov / (326508/2025W)

12:00-13:30 UE Mathematics for AI III / Tereso Del Rio Almajano / (326510/2025W)

13:45-15:15 UE Mathematics for AI III / Wolfgang Windsteiger / (326502/2025W)

13:45-15:15 UE Mathematics for AI III / Jan-Michael Holzinger / (326503/2025W)

13:45-15:15 UE Mathematics for AI III / Jose Capco / (326504/2025W)

13:45-15:15 UE Mathematics for AI III / Robert Vajda / (326505/2025W)

13:45-15:15 UE Mathematics for AI III / Michalis Kokkinos / (326506/2025W)

13:45-15:15 UE Mathematics for AI III / Waseem Alass / (326507/2025W)

13:45-15:15 UE Mathematics for AI III / Nikolaj Popov / (326508/2025W)

13:45-15:15 UE Mathematics for AI III / Tereso Del Rio Almajano / (326510/2025W)

13:45-16:15 SE Symbolic Computation - Computer Algebra and Applications / Carsten Schneider / (326CA1/2025W)

15:30-17:00 VL Formales Modellieren / Carsten Schneider / (326006/2025W)

15:30-17:00 KV Überblick Mathematik: Lineare Algebra / Niels Lubbes / (326114/2025W)

16:15-18:00 KV Practical in Symbolic Computation - Logic programming / Teimuraz Kutsia / (326121/2025W)

16:15-18:00 VL Special Topics - Logisches Programmieren / Teimuraz Kutsia / (326122/2025W)

17:15-18:45 PS Formales Modellieren / Carsten Schneider / (326007/2025W)

08:30-10:00 VL Algorithmen und Datenstrukturen / Carsten Schneider / (326102/2025W)

10:15-11:45 VL Computer Algebra / Carsten Schneider / (326105/2025W)

12:00-12:45 UE Computer Algebra / Günter Landsmann / (326031/2025W)

13:45-14:30 UE Algorithmen und Datenstrukturen / Ioana Cleopatra Pau / (326103/2025W)

13:45-15:15 VL Special Topics Symbolic Computation - Algebraische Topologie / Günter Landsmann / (3260AT/2025W)

14:30-16:15 VL Special Topics - Formale Sprachen und formale Grammatiken II / Nikolaj Popov / (326901/2025W)

14:30-16:15 VL Special Topics Symbolic Computation - Formale Sprachen und formale Grammatiken II / Nikolaj Popov / (32600J/2025W)

14:30-16:15 VL Special Topics Symbolic Computation - Design and analysis of algorithms / Ioana Cleopatra Pau / (3260D1/2025W)

15:30-18:00 VL Special Topics symbolic computation - Kommutative Algebra-Techniken für Wissenschaftler / Herwig Hauser / (326225/2025W)

08:30-11:00 KV Formal Methods in Software Development / Wolfgang Schreiner / (326013/2025W)

09:15-12:45 VL Special Topics symbolic computation - Kommutative Algebra-Techniken für Wissenschaftler / Herwig Hauser / (326225/2025W)

12:00-13:30 VL Special Topics - Symbolic Constraint Solving / Teimuraz Kutsia / (3260UF/2025W)

12:00-13:30 VL Special Topics Symbolic Computation - Symbolic Constraint Solving / Teimuraz Kutsia / (326097/2025W)