Find below the list of courses offered by RISC-Linz as of 24.1.2025.
| Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
|
326.102 (2024W)
|
Algorithms and data structures
Further information
|
Register
|
VL |
2,0 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 03.10.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 10.10.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 24.10.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 31.10.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 07.11.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 14.11.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 21.11.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 28.11.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 05.12.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 12.12.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 19.12.2024 |
08:30 - 10:00
|
HS 11 |
|
| Do. 16.01.2025 |
08:30 - 10:00
|
HS 11 |
|
| Do. 23.01.2025 |
08:30 - 10:00
|
HS 11 |
|
| Do. 30.01.2025 |
08:30 - 11:00
|
BA 9910 |
|
|
|
|
|
326.103 (2024W)
|
Algorithms and data structures
Further information
|
Register
|
UE |
1,0 |
Ioana Cleopatra Pau
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 03.10.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 10.10.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 17.10.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 24.10.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 31.10.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 07.11.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 14.11.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 21.11.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 28.11.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 05.12.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 12.12.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 19.12.2024 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 09.01.2025 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 16.01.2025 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 23.01.2025 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 30.01.2025 |
13:45 - 14:30
|
T 406/1 |
|
| Do. 30.01.2025 |
13:45 - 16:15
|
S2 046 |
|
|
|
|
|
326.0AR (2024W)
|
Automated Reasoning
Further information
|
Register
|
VL |
3,0 |
Teimuraz Kutsia
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 07.10.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 14.10.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 21.10.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 28.10.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 04.11.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 11.11.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 18.11.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 25.11.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 02.12.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 09.12.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 16.12.2024 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 13.01.2025 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 20.01.2025 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 27.01.2025 |
15:30 - 18:00
|
HS 6 |
|
| Mo. 03.02.2025 |
13:45 - 15:15
|
MZ 112B |
|
|
|
|
|
326.012 (2024W)
|
Bachelor Seminar with Bachelor Thesis
|
Register
|
SE |
2,0 |
Carsten Schneider
|
Weekly
|
| |
|
|
|
326.010 (2024W)
|
Computational Logic
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 07.10.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 14.10.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 21.10.2024 |
08:30 - 10:00
|
S2 219 |
|
| Mo. 28.10.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 04.11.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 11.11.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 18.11.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 25.11.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 02.12.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 09.12.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 16.12.2024 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 13.01.2025 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 20.01.2025 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 27.01.2025 |
15:30 - 17:00
|
S2 053 |
|
| Mo. 03.02.2025 |
15:30 - 17:00
|
S2 053 |
|
|
|
|
|
326.011 (2024W)
|
Computational Logic
|
Register
|
UE |
1,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 07.10.2024 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 14.10.2024 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 21.10.2024 |
17:15 - 18:00
|
S2 Z74 |
|
| Mo. 04.11.2024 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 11.11.2024 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 18.11.2024 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 25.11.2024 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 02.12.2024 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 09.12.2024 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 16.12.2024 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 13.01.2025 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 20.01.2025 |
17:15 - 18:00
|
S2 053 |
|
| Mo. 27.01.2025 |
17:15 - 18:00
|
S2 053 |
|
|
|
|
|
326.031 (2024W)
|
Computer Algebra
Further information
|
Register
|
UE |
1,0 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 08.10.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 15.10.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 22.10.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 29.10.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 05.11.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 12.11.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 19.11.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 26.11.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 03.12.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 10.12.2024 |
15:30 - 16:15
|
T 405 |
|
| Di. 17.12.2024 |
15:30 - 16:15
|
HS 19 |
|
| Di. 07.01.2025 |
15:30 - 16:15
|
T 405 |
|
| Di. 14.01.2025 |
15:30 - 16:15
|
HS 19 |
|
| Di. 21.01.2025 |
15:30 - 16:15
|
T 405 |
|
| Di. 28.01.2025 |
15:30 - 16:15
|
HS 19 |
|
|
|
|
|
326.105 (2024W)
|
Computer Algebra
Further information
|
Register
|
VL |
2,0 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 01.10.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 08.10.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 22.10.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 29.10.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 05.11.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 12.11.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 19.11.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 26.11.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 03.12.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 10.12.2024 |
16:15 - 18:00
|
S3 055 |
|
| Di. 17.12.2024 |
16:15 - 18:00
|
HS 19 |
|
| Di. 07.01.2025 |
16:15 - 18:00
|
K 001A |
|
| Di. 14.01.2025 |
16:15 - 18:00
|
HS 19 |
|
| Di. 21.01.2025 |
16:15 - 18:00
|
S3 055 |
|
| Di. 28.01.2025 |
16:15 - 18:00
|
HS 19 |
|
|
|
|
|
326.013 (2024W)
|
Formal Methods in Software Development
Further information
|
Register
|
KV |
3,0 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr. 04.10.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 11.10.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 18.10.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 25.10.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 08.11.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 15.11.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 22.11.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 29.11.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 06.12.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 13.12.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 20.12.2024 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 10.01.2025 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 17.01.2025 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 24.01.2025 |
08:30 - 11:00
|
MT 226 |
|
| Fr. 31.01.2025 |
08:30 - 11:00
|
HS 18 |
|
|
|
|
|
326.106 (2024W)
|
Ordinary differential equations and dynamical systems
Further information
|
Register
|
VL |
3,0 |
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 07.10.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 08.10.2024 |
08:30 - 09:15
|
K 269D |
|
| Mo. 14.10.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 15.10.2024 |
08:30 - 09:15
|
K 269D |
|
| Mo. 21.10.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 22.10.2024 |
08:30 - 09:15
|
K 269D |
|
| Mo. 04.11.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 05.11.2024 |
08:30 - 09:15
|
K 269D |
|
| Mo. 11.11.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 12.11.2024 |
08:30 - 09:15
|
K 269D |
|
| Mo. 18.11.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 19.11.2024 |
08:30 - 09:15
|
K 269D |
|
| Mo. 25.11.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 26.11.2024 |
08:30 - 09:15
|
K 269D |
|
| Mo. 02.12.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 03.12.2024 |
08:30 - 09:15
|
K 269D |
|
| Mo. 09.12.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 10.12.2024 |
08:30 - 09:15
|
K 269D |
|
| Mo. 16.12.2024 |
10:15 - 11:45
|
S4 025 |
|
| Di. 17.12.2024 |
08:30 - 09:15
|
K 269D |
|
| Di. 07.01.2025 |
08:30 - 09:15
|
K 269D |
|
| Mo. 13.01.2025 |
10:15 - 11:45
|
S4 025 |
|
| Di. 14.01.2025 |
08:30 - 09:15
|
K 269D |
|
| Mo. 20.01.2025 |
10:15 - 11:45
|
S4 025 |
|
| Di. 21.01.2025 |
08:30 - 09:15
|
K 269D |
|
| Mo. 27.01.2025 |
10:15 - 11:45
|
S4 025 |
|
| Di. 28.01.2025 |
08:30 - 09:15
|
K 269D |
|
|
|
|
|
326.107 (2024W)
|
Ordinary differential equations and dynamical systems
Further information
|
Register
|
UE |
1,0 |
Josef Schicho
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 08.10.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 15.10.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 22.10.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 29.10.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 05.11.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 12.11.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 19.11.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 26.11.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 03.12.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 10.12.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 17.12.2024 |
09:15 - 10:00
|
K 269D |
|
| Di. 07.01.2025 |
09:15 - 10:00
|
K 269D |
|
| Di. 14.01.2025 |
09:15 - 10:00
|
K 269D |
|
| Di. 21.01.2025 |
09:15 - 10:00
|
K 269D |
|
| Di. 28.01.2025 |
09:15 - 10:00
|
K 269D |
|
|
|
|
|
326.048 (2024W)
|
Logic as a working language
Further information
|
Register
|
KV |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 01.10.2024 |
12:00 - 13:30
|
S2 048 |
Einführung |
| Di. 15.10.2024 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Di. 22.10.2024 |
12:00 - 13:30
|
S2 048 |
Sprache |
| Di. 29.10.2024 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Di. 29.10.2024 |
12:00 - 13:30
|
S2 048 |
Sprache |
| Di. 05.11.2024 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Di. 05.11.2024 |
12:00 - 13:30
|
S2 048 |
Sprache |
| Di. 12.11.2024 |
11:00 - 11:45
|
S2 054 |
Tutorium |
| Di. 12.11.2024 |
12:00 - 13:30
|
S2 048 |
Übung |
| Di. 19.11.2024 |
11:00 - 11:45
|
S5 102 |
Tutorium |
| Di. 26.11.2024 |
11:00 - 11:45
|
S5 102 |
Tutorium |
| Di. 03.12.2024 |
11:00 - 11:45
|
S5 102 |
Tutorium |
| Di. 03.12.2024 |
12:00 - 13:30
|
S2 048 |
Definitionen / Übung |
| Di. 10.12.2024 |
11:00 - 11:45
|
S5 102 |
Tutorium |
| Di. 17.12.2024 |
12:00 - 13:30
|
S2 048 |
Beweisen |
| Di. 07.01.2025 |
12:00 - 13:30
|
S2 048 |
Übung |
| Di. 14.01.2025 |
12:00 - 13:30
|
S2 048 |
Übung |
| Di. 28.01.2025 |
12:00 - 13:30
|
S2 048 |
Klausur |
|
|
|
|
326.0XX (2024W)
|
Master’s Thesis Seminar I
|
Register
|
SE |
2,0 |
Carsten Schneider
|
Weekly
|
| |
|
|
|
326.300 (2024W)
|
Mathematics for Social and Economic Science
|
Register
|
KS |
2,0 |
Wolfgang Windsteiger
Philipp Langgruber
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 03.10.2024 |
17:15 - 19:45
|
HS 1 |
Erklärung LVA-Modus |
| Mi. 16.10.2024 |
17:15 - 18:00
|
online Zoom |
Online Fragestunde |
| Do. 17.10.2024 |
17:15 - 18:00
|
HS 1 |
Modul-Klausur K1 (Prüfungsmodus A) |
| Mi. 30.10.2024 |
17:15 - 18:00
|
online Zoom |
Online Fragestunde |
| Do. 31.10.2024 |
17:15 - 18:00
|
HS 1 |
Modul-Klausur K2 (Prüfungsmodus A) |
| Mi. 06.11.2024 |
17:15 - 18:00
|
online Zoom |
Online Fragestunde |
| Do. 07.11.2024 |
17:15 - 18:00
|
HS 1 |
Modul-Klausur K3 (Prüfungsmodus A) |
| Mi. 13.11.2024 |
17:15 - 18:00
|
online Zoom |
Online Fragestunde |
| Do. 14.11.2024 |
17:15 - 18:00
|
HS 1 |
Modul-Klausur K4 (Prüfungsmodus A) |
| Mi. 20.11.2024 |
17:15 - 18:00
|
online Zoom |
Online Fragestunde |
| Do. 21.11.2024 |
17:15 - 18:00
|
HS 1 |
Modul-Klausur K5 (Prüfungsmodus A) |
| Mi. 27.11.2024 |
17:15 - 18:00
|
online Zoom |
Online Fragestunde |
| Do. 28.11.2024 |
17:15 - 18:00
|
HS 1 |
Modul-Klausur K6 (Prüfungsmodus A) |
| Mi. 04.12.2024 |
17:15 - 18:00
|
online Zoom |
Online Fragestunde |
| Do. 05.12.2024 |
17:15 - 19:45
|
HS 1 |
Wiederholung Modul-Klausur Kw (Prüfungsmodus A) / Modul-Klausur K1-K6 (Prüfungsmodus B) |
| Mi. 11.12.2024 |
17:15 - 18:00
|
online Zoom |
Online Fragestunde |
| Do. 12.12.2024 |
17:15 - 19:45
|
HS 1 |
Nachklausur K1-K6 (Prüfungsmodus A/B) |
|
|
|
|
326.700 (2024W)
|
Mathematics and Logic
|
Register
|
KV |
4,0 |
Wolfgang Windsteiger
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 01.10.2024 |
16:15 - 17:00
|
HS 9 |
Erklärung Modus und Ablauf der LVA |
| Fr. 11.10.2024 |
13:45 - 14:45
|
online Zoom |
|
| Di. 15.10.2024 |
16:15 - 17:00
|
HS 9 |
Modul 1 |
| Di. 15.10.2024 |
18:00 - 18:45
|
HS 19 |
|
| Di. 15.10.2024 |
18:00 - 18:45
|
HS 18 |
|
| Fr. 18.10.2024 |
13:45 - 14:45
|
online Zoom |
|
| Di. 22.10.2024 |
16:15 - 17:00
|
HS 9 |
Modul 2 |
| Di. 22.10.2024 |
18:00 - 18:45
|
HS 19 |
Kurztest Modul 2 L-Z |
| Di. 22.10.2024 |
18:00 - 18:45
|
HS 18 |
Kurztest Modul 2 A-K |
| Fr. 25.10.2024 |
13:45 - 14:45
|
online Zoom |
|
| Di. 29.10.2024 |
16:15 - 17:00
|
HS 9 |
Modul 3 |
| Di. 29.10.2024 |
18:00 - 18:45
|
HS 16 |
Kurztest Modul 3 A-Z |
| Fr. 08.11.2024 |
13:45 - 14:45
|
online Zoom |
|
| Di. 12.11.2024 |
16:15 - 17:00
|
HS 9 |
Modul 4 |
| Di. 12.11.2024 |
18:00 - 18:45
|
HS 19 |
Kurztest Modul 4 L-Z |
| Di. 12.11.2024 |
18:00 - 18:45
|
HS 18 |
Kurztest Modul 4 A-K |
| Fr. 15.11.2024 |
13:45 - 14:45
|
online Zoom |
|
| Di. 19.11.2024 |
16:15 - 17:00
|
HS 9 |
Modul 5 |
| Di. 19.11.2024 |
18:00 - 18:45
|
HS 19 |
Kurztest Modul 5 L-Z |
| Di. 19.11.2024 |
18:00 - 18:45
|
HS 18 |
Kurztest Modul 5 A-K |
| Fr. 22.11.2024 |
13:45 - 14:45
|
online Zoom |
|
| Di. 26.11.2024 |
16:15 - 17:00
|
HS 9 |
Modul 6 |
| Di. 26.11.2024 |
18:00 - 18:45
|
HS 19 |
Kurztest Modul 6 L-Z |
| Di. 26.11.2024 |
18:00 - 18:45
|
HS 18 |
Kurztest Modul 6 A-K |
| Fr. 29.11.2024 |
13:45 - 14:45
|
online Zoom |
|
| Di. 03.12.2024 |
16:15 - 17:00
|
HS 9 |
Modul 7 |
| Di. 03.12.2024 |
18:00 - 18:45
|
HS 19 |
Kurztest Modul 7 L-Z |
| Di. 03.12.2024 |
18:00 - 18:45
|
HS 18 |
Kurztest Modul 7 A-K |
| Fr. 06.12.2024 |
13:45 - 14:45
|
online Zoom |
|
| Di. 10.12.2024 |
16:15 - 17:00
|
HS 9 |
Modul 8 |
| Di. 10.12.2024 |
18:00 - 18:45
|
HS 9 |
Kurztest Modul 8 A-Z |
| Fr. 13.12.2024 |
13:45 - 14:45
|
online Zoom |
|
| Di. 17.12.2024 |
16:15 - 17:00
|
HS 9 |
Modul 9 |
| Di. 17.12.2024 |
18:00 - 18:45
|
HS 19 |
Kurztest Modul 9 L-Z |
| Di. 17.12.2024 |
18:00 - 18:45
|
HS 18 |
Kurztest Modul 9 A-K |
| Fr. 10.01.2025 |
13:45 - 14:45
|
online Zoom |
|
| Di. 14.01.2025 |
16:15 - 17:00
|
HS 9 |
Modul 10 |
| Di. 14.01.2025 |
18:00 - 18:45
|
HS 19 |
Kurztest Modul 10 L-Z |
| Di. 14.01.2025 |
18:00 - 18:45
|
HS 18 |
Kurztest Modul 10 A-K |
| Fr. 17.01.2025 |
13:45 - 14:45
|
online Zoom |
|
| Di. 21.01.2025 |
16:15 - 17:00
|
HS 9 |
Modul 11 |
| Di. 21.01.2025 |
18:00 - 18:45
|
BA 9911 |
Kurztest Modul 11 A-K |
| Di. 21.01.2025 |
18:00 - 18:45
|
T 405 |
Kurztest Modul 11 L-Z |
| Fr. 24.01.2025 |
13:45 - 14:45
|
online Zoom |
|
| Di. 28.01.2025 |
16:15 - 17:00
|
HS 9 |
Modul 12 |
| Di. 28.01.2025 |
18:00 - 18:45
|
HS 19 |
Kurztest Modul 12 L-Z |
| Di. 28.01.2025 |
18:00 - 18:45
|
HS 18 |
Kurztest Modul 12 A-K |
| Fr. 31.01.2025 |
13:45 - 16:15
|
HS 7 |
Klausur / Nachholen oder Wiederholen eines Kurztests |
| Fr. 07.02.2025 |
13:45 - 16:15
|
HS 10 |
Nachklausur |
|
|
|
|
326.122 (2024W)
|
Special Topics
Logic Programming
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 02.10.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 09.10.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 16.10.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 23.10.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 30.10.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 06.11.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 13.11.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 20.11.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 27.11.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 04.12.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 11.12.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 18.12.2024 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 08.01.2025 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 15.01.2025 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 22.01.2025 |
16:15 - 18:00
|
S4 025 |
|
| Mi. 29.01.2025 |
16:15 - 18:00
|
S4 025 |
|
|
|
|
|
326.025 (2024W)
|
Special Topics Symbolic Computation
Decidable logical theories
Further information
|
Register
|
VL |
2,0 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do. 10.10.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 17.10.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 24.10.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 07.11.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 14.11.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 21.11.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 28.11.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 05.12.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 12.12.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 19.12.2024 |
10:15 - 11:45
|
HT 177F |
|
| Do. 09.01.2025 |
10:15 - 11:45
|
HT 177F |
|
| Do. 16.01.2025 |
10:15 - 11:45
|
HT 177F |
|
| Do. 23.01.2025 |
10:15 - 11:45
|
HT 177F |
|
| Do. 30.01.2025 |
10:15 - 11:45
|
HT 177F |
|
|
|
|
|
326.057 (2024W)
|
Special Topics Symbolic Computation
Thinking, Speaking, Writing: Understanding and Creating Mathematical Proofs
|
Register
|
VL |
2,0 |
Silviu Radu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 01.10.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 08.10.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 15.10.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 22.10.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 29.10.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 05.11.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 12.11.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 19.11.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 26.11.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 03.12.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 10.12.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 17.12.2024 |
08:30 - 10:00
|
MT 327 |
|
| Di. 07.01.2025 |
08:30 - 10:00
|
MT 327 |
|
| Di. 14.01.2025 |
08:30 - 10:00
|
MT 327 |
|
| Di. 21.01.2025 |
08:30 - 10:00
|
MT 327 |
|
| Di. 28.01.2025 |
08:30 - 10:00
|
MT 327 |
|
|
|
|
|
326.063 (2024W)
|
Symbolic Computation
Project seminar Formal Methods and Automated Reasoning
Further information
|
Register
|
SE |
2,0 |
Wolfgang Schreiner
Teimuraz Kutsia
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 01.10.2024 |
16:15 - 18:00
|
T 406/1 |
|
| Di. 05.11.2024 |
16:15 - 18:00
|
T 406/1 |
|
| Di. 03.12.2024 |
16:15 - 18:00
|
T 406/1 |
|
| Di. 14.01.2025 |
16:15 - 18:00
|
T 406/1 |
|
|
|
|
|
326.CA1 (2024W)
|
Symbolic Computation
Computer Algebra and Applications
Further information
|
Register
|
SE |
2,0 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 02.10.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 09.10.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 16.10.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 23.10.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 30.10.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 06.11.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 13.11.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 20.11.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 27.11.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 04.12.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 11.12.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 18.12.2024 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 08.01.2025 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 15.01.2025 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 22.01.2025 |
13:45 - 15:15
|
HA 105 |
|
| Mi. 29.01.2025 |
13:45 - 15:15
|
HA 105 |
|
|
|
|
|
326.999 (2024W)
|
Preparatory course mathematics for first-year students of Business Informatics
Further information
|
Register
|
VK |
2,0 |
Wolfgang Windsteiger
|
Block
|
| |
| Date |
Daytime |
Room |
Topic |
| Di. 24.09.2024 |
09:15 - 12:45
|
HS 11 |
|
| Do. 26.09.2024 |
09:15 - 12:45
|
HS 11 |
|
| Fr. 27.09.2024 |
09:15 - 12:45
|
HS 11 |
|
| Mo. 15.09.2025 |
09:15 - 12:30
|
MT 226/1 |
|
| Mi. 17.09.2025 |
09:15 - 12:30
|
MT 226/1 |
|
| Fr. 19.09.2025 |
09:15 - 12:30
|
MT 226/1 |
|
|
|
|
|
326.116 (2024W)
|
Overview of Mathematics: Analysis
|
Register
|
KV |
2,0 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo. 07.10.2024 |
15:30 - 17:00
|
KEP 3 |
|
| Mo. 14.10.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 21.10.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 28.10.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 04.11.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 11.11.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 18.11.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 25.11.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 02.12.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 09.12.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 16.12.2024 |
15:30 - 17:00
|
S2 Z74 |
|
| Mo. 13.01.2025 |
15:30 - 17:00
|
S4 025 |
|
| Mo. 20.01.2025 |
15:30 - 17:00
|
S4 025 |
|
| Mo. 27.01.2025 |
15:30 - 17:00
|
S4 025 |
|
|
|
|
|
326.114 (2024W)
|
Overview of Mathematics: Linear algebra
|
Register
|
KV |
2,0 |
Niels Lubbes
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi. 02.10.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 09.10.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 16.10.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 23.10.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 30.10.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 06.11.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 13.11.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 20.11.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 27.11.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 04.12.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 11.12.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 18.12.2024 |
15:30 - 17:00
|
T 405 |
|
| Mi. 08.01.2025 |
15:30 - 17:00
|
T 405 |
|
| Mi. 15.01.2025 |
15:30 - 17:00
|
T 405 |
|
| Mi. 22.01.2025 |
15:30 - 17:00
|
T 405 |
|
| Mi. 29.01.2025 |
15:30 - 17:00
|
T 405 |
|
|
|
|
