Find below the list of courses offered by RISC-Linz as of 31.1.2022.
Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
326.101 (2021W)
|
Algebraic combinatorics
Further information
|
Register
|
UE |
1,0 |
Koustav Banerjee
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
13:45 - 14:30
|
HS 13 |
|
Di. 12.10.2021 |
13:45 - 14:30
|
HS 13 |
|
Di. 19.10.2021 |
13:45 - 14:30
|
HS 13 |
|
Di. 09.11.2021 |
13:45 - 14:30
|
HS 13 |
|
Di. 16.11.2021 |
13:45 - 14:30
|
HS 13 |
|
Di. 23.11.2021 |
13:45 - 14:30
|
HS 13 |
|
Di. 30.11.2021 |
13:45 - 14:30
|
HS 13 |
|
Di. 07.12.2021 |
13:45 - 14:30
|
HS 13 |
|
Di. 14.12.2021 |
13:45 - 14:30
|
HS 13 |
|
Di. 11.01.2022 |
13:45 - 14:30
|
HS 13 |
|
Di. 18.01.2022 |
13:45 - 14:30
|
HS 13 |
|
Di. 25.01.2022 |
13:45 - 14:30
|
HS 13 |
|
|
|
|
326.030 (2021W)
|
Algebraic combinatorics
Further information
|
Register
|
VL |
2,0 |
Silviu Radu
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
12:00 - 13:30
|
HS 13 |
|
Di. 12.10.2021 |
12:00 - 13:30
|
HS 13 |
|
Di. 19.10.2021 |
12:00 - 13:30
|
HS 13 |
|
Di. 09.11.2021 |
12:00 - 13:30
|
HS 13 |
|
Di. 16.11.2021 |
12:00 - 13:30
|
HS 13 |
|
Di. 23.11.2021 |
12:00 - 13:30
|
HS 13 |
|
Di. 30.11.2021 |
12:00 - 13:30
|
HS 13 |
|
Di. 07.12.2021 |
12:00 - 13:30
|
HS 13 |
|
Di. 14.12.2021 |
12:00 - 13:30
|
HS 13 |
|
Di. 11.01.2022 |
12:00 - 13:30
|
HS 13 |
|
Di. 18.01.2022 |
12:00 - 13:30
|
HS 13 |
|
Di. 25.01.2022 |
12:00 - 13:30
|
HS 13 |
|
|
|
|
326.102 (2021W)
|
Algorithms and data structures
Further information
|
Register
|
VL |
2,0 |
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 07.10.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 14.10.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 21.10.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 28.10.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 04.11.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 11.11.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 18.11.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 25.11.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 02.12.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 09.12.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 16.12.2021 |
08:30 - 10:00
|
HS 13 |
|
Do. 13.01.2022 |
08:30 - 10:00
|
HS 13 |
|
Do. 20.01.2022 |
08:30 - 10:00
|
HS 13 |
|
Do. 27.01.2022 |
08:30 - 10:00
|
HS 13 |
|
|
|
|
326.103 (2021W)
|
Algorithms and data structures
Further information
|
Register
|
UE |
1,0 |
Ioana Cleopatra Pau
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 07.10.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 14.10.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 21.10.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 28.10.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 04.11.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 11.11.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 18.11.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 25.11.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 02.12.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 09.12.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 16.12.2021 |
13:45 - 14:30
|
S2 044 |
|
Do. 13.01.2022 |
13:45 - 14:30
|
S2 044 |
|
Do. 20.01.2022 |
13:45 - 14:30
|
S2 044 |
|
Do. 27.01.2022 |
13:45 - 14:30
|
S2 044 |
|
|
|
|
326.022 (2021W)
|
Analysis
Further information
|
Register
|
VO |
2,0 |
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 08.10.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 15.10.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 22.10.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 29.10.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 05.11.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 12.11.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 19.11.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 26.11.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 03.12.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 10.12.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 17.12.2021 |
08:30 - 10:00
|
HS 7 |
|
Fr. 14.01.2022 |
08:30 - 10:00
|
Zoom |
|
Fr. 21.01.2022 |
08:30 - 10:00
|
Zoom |
|
Fr. 28.01.2022 |
08:30 - 10:00
|
Zoom |
|
Mo. 07.02.2022 |
12:00 - 15:15
|
HS 10 |
|
|
|
|
326.055 (2021W)
|
Analysis
Further information
|
Register
|
UE |
2,0 |
Sebastian Falkensteiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 14.10.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 21.10.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 28.10.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 04.11.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 11.11.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 18.11.2021 |
15:30 - 17:00
|
-- |
Online Termin |
Do. 25.11.2021 |
15:30 - 17:00
|
-- |
|
Do. 02.12.2021 |
15:30 - 17:00
|
-- |
|
Do. 09.12.2021 |
15:30 - 17:00
|
-- |
|
Do. 16.12.2021 |
15:30 - 17:00
|
-- |
Klausur |
Do. 13.01.2022 |
15:30 - 17:00
|
-- |
|
Do. 20.01.2022 |
15:30 - 17:00
|
-- |
|
Do. 27.01.2022 |
15:30 - 17:00
|
-- |
|
|
|
|
326.056 (2021W)
|
Analysis
Further information
|
Register
|
UE |
2,0 |
Nicolas Smoot
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 14.10.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 21.10.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 28.10.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 04.11.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 11.11.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 18.11.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 25.11.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 02.12.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 09.12.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 16.12.2021 |
15:30 - 17:00
|
S2 219 |
|
Do. 13.01.2022 |
15:30 - 17:00
|
S2 219 |
|
Do. 20.01.2022 |
15:30 - 17:00
|
S2 219 |
|
Do. 27.01.2022 |
15:30 - 17:00
|
S2 219 |
|
|
|
|
326.029 (2021W)
|
Analysis
Further information
|
Register
|
UE |
2,0 |
Veronika Elisabeth Pillwein
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 14.10.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 21.10.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 28.10.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 04.11.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 11.11.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 18.11.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 25.11.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 02.12.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 09.12.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 16.12.2021 |
15:30 - 17:00
|
HS 12 |
|
Do. 13.01.2022 |
15:30 - 17:00
|
HS 12 |
|
Do. 20.01.2022 |
15:30 - 17:00
|
HS 12 |
|
Do. 27.01.2022 |
15:30 - 17:00
|
HS 12 |
|
|
|
|
326.027 (2021W)
|
Analysis
Further information
|
Register
|
UE |
2,0 |
Günter Landsmann
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 14.10.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 21.10.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 28.10.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 04.11.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 11.11.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 18.11.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 25.11.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 02.12.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 09.12.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 16.12.2021 |
15:30 - 17:00
|
HS 11 |
|
Do. 13.01.2022 |
15:30 - 17:00
|
HS 11 |
|
Do. 20.01.2022 |
15:30 - 17:00
|
HS 11 |
|
Do. 27.01.2022 |
15:30 - 17:00
|
HS 11 |
|
|
|
|
326.109 (2021W)
|
Automated Reasoning
Further information
|
Register
|
UE |
1,0 |
Teimuraz Kutsia
Tudor Jebelean
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 18.10.2021 |
15:30 - 16:15
|
Moodle/Zoom |
|
Mo. 25.10.2021 |
15:30 - 16:15
|
Moodle/Zoom |
|
Mo. 08.11.2021 |
15:30 - 16:15
|
Zoom/Moodle |
|
Mo. 15.11.2021 |
15:30 - 16:15
|
Zoom/Moodle |
|
Mo. 22.11.2021 |
14:45 - 16:15
|
Zoom/Moodle |
|
Mi. 24.11.2021 |
15:30 - 16:15
|
Zoom/Moodle |
|
Mi. 01.12.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Mi. 15.12.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Mi. 12.01.2022 |
13:45 - 14:30
|
HS 15 |
|
Mi. 19.01.2022 |
13:45 - 14:30
|
HS 15 |
|
Mi. 26.01.2022 |
13:45 - 14:30
|
HS 15 |
|
|
|
|
326.0AR (2021W)
|
Automated Reasoning
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
Tudor Jebelean
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
12:00 - 13:30
|
Moodle/Zoom |
|
Di. 12.10.2021 |
12:00 - 13:30
|
Moodle/Zoom |
|
Di. 19.10.2021 |
12:00 - 13:30
|
Moodle/Zoom |
|
Di. 09.11.2021 |
12:00 - 13:30
|
Moodle/Zoom |
|
Di. 16.11.2021 |
12:00 - 13:30
|
Moodle/Zoom |
|
Di. 23.11.2021 |
12:00 - 13:30
|
Moodle/Zoom |
|
Di. 30.11.2021 |
12:00 - 13:30
|
Moodle/Zoom |
|
Di. 07.12.2021 |
12:00 - 13:30
|
Moodle/Zoom |
|
Di. 14.12.2021 |
12:00 - 13:30
|
Moodle/Zoom |
|
Di. 11.01.2022 |
12:00 - 13:30
|
HS 5 |
|
Di. 18.01.2022 |
12:00 - 13:30
|
HS 5 |
|
Di. 25.01.2022 |
12:00 - 13:30
|
HS 5 |
|
|
|
|
326.012 (2021W)
|
Bachelor Seminar with Bachelor Thesis
|
Register
|
SE |
2,0 |
Peter Paule
Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Günter Landsmann
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
|
Weekly
|
|
|
|
326.0UK (2021W)
|
Commutative algebra and algebraic geometry
|
Register
|
UE |
1,0 |
Josef Schicho
Mehdi Makhul
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 07.10.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 14.10.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 21.10.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 28.10.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 04.11.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 11.11.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 18.11.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 25.11.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 02.12.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 09.12.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 16.12.2021 |
14:30 - 15:15
|
S2 044 |
|
Do. 13.01.2022 |
14:30 - 15:15
|
S2 044 |
|
Do. 20.01.2022 |
14:30 - 15:15
|
S2 044 |
|
Do. 27.01.2022 |
14:30 - 15:15
|
S2 044 |
|
|
|
|
326.0KA (2021W)
|
Commutative algebra and algebraic geometry
Further information
|
Register
|
VL |
2,0 |
Matteo Gallet
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
08:30 - 10:00
|
S2 054 |
|
Di. 12.10.2021 |
08:30 - 10:00
|
S2 054 |
|
Di. 19.10.2021 |
08:30 - 10:00
|
S2 054 |
|
Di. 09.11.2021 |
08:30 - 10:00
|
S2 054 |
|
Di. 16.11.2021 |
08:30 - 10:00
|
S2 054 |
|
Di. 23.11.2021 |
08:30 - 10:00
|
S2 054 |
|
Di. 30.11.2021 |
08:30 - 10:00
|
S2 054 |
|
Di. 07.12.2021 |
08:30 - 10:00
|
S2 054 |
|
Di. 14.12.2021 |
08:30 - 10:00
|
S2 054 |
|
Di. 11.01.2022 |
08:30 - 10:00
|
S2 054 |
|
Di. 18.01.2022 |
08:30 - 10:00
|
S2 054 |
|
Di. 25.01.2022 |
08:30 - 10:00
|
S2 054 |
|
|
|
|
326.010 (2021W)
|
Computational Logic
Further information
|
Register
|
VL |
2,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 04.10.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 11.10.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 18.10.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 25.10.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 08.11.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 15.11.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 22.11.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 29.11.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 06.12.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 13.12.2021 |
15:30 - 17:00
|
S2 046 |
|
Mo. 10.01.2022 |
15:30 - 17:00
|
S2 046 |
|
Mo. 17.01.2022 |
15:30 - 17:00
|
S2 046 |
|
Mo. 24.01.2022 |
15:30 - 17:00
|
S2 046 |
|
Mo. 31.01.2022 |
15:30 - 17:00
|
S2 046 |
|
|
|
|
326.011 (2021W)
|
Computational Logic
Further information
|
Register
|
UE |
1,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 04.10.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 11.10.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 18.10.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 25.10.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 08.11.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 15.11.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 22.11.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 29.11.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 06.12.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 13.12.2021 |
17:15 - 18:00
|
S2 046 |
|
Mo. 10.01.2022 |
17:15 - 18:00
|
S2 046 |
|
Mo. 17.01.2022 |
17:15 - 18:00
|
S2 046 |
|
Mo. 24.01.2022 |
17:15 - 18:00
|
S2 046 |
|
Mo. 31.01.2022 |
17:15 - 18:00
|
S2 046 |
|
|
|
|
326.223 (2021W)
|
Computational Logics for AI
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 04.10.2021 |
08:30 - 10:00
|
HS 2 |
|
Mo. 11.10.2021 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 18.10.2021 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 25.10.2021 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 08.11.2021 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 15.11.2021 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 22.11.2021 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 29.11.2021 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 06.12.2021 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 13.12.2021 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 10.01.2022 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 17.01.2022 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 24.01.2022 |
08:30 - 10:00
|
Zoom/Moodle |
|
Mo. 31.01.2022 |
08:30 - 10:00
|
Zoom/Moodle |
|
|
|
|
326.224 (2021W)
|
Computational Logics for AI
|
Register
|
UE |
1,0 |
Ioana Cleopatra Pau
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 04.10.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 11.10.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 18.10.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 25.10.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 08.11.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 15.11.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 22.11.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 29.11.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 06.12.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 13.12.2021 |
10:15 - 11:00
|
HS 2 |
|
Mo. 10.01.2022 |
10:15 - 11:00
|
HS 2 |
|
Mo. 17.01.2022 |
10:15 - 11:00
|
HS 2 |
|
Mo. 24.01.2022 |
10:15 - 11:00
|
HS 2 |
|
Mo. 31.01.2022 |
10:15 - 11:00
|
HS 2 |
|
|
|
|
326.031 (2021W)
|
Computer Algebra
Further information
|
Register
|
UE |
1,0 |
Johann Mitteramskogler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 12.10.2021 |
15:30 - 16:15
|
T 405 |
|
Di. 19.10.2021 |
15:30 - 16:15
|
T 405 |
|
Di. 09.11.2021 |
15:30 - 16:15
|
T 405 |
|
Di. 16.11.2021 |
15:30 - 16:15
|
T 405 |
|
Di. 23.11.2021 |
15:30 - 16:15
|
Zoom |
|
Di. 30.11.2021 |
15:30 - 16:15
|
Zoom |
|
Di. 07.12.2021 |
15:30 - 16:15
|
T 405 |
|
Di. 14.12.2021 |
15:30 - 16:15
|
Zoom |
|
Di. 11.01.2022 |
15:30 - 16:15
|
Zoom |
|
Di. 18.01.2022 |
15:30 - 16:15
|
Zoom |
|
|
|
|
326.105 (2021W)
|
Computer Algebra
Further information
|
Register
|
VL |
2,0 |
Franz Winkler
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
16:15 - 18:00
|
T 405 |
|
Di. 12.10.2021 |
16:15 - 18:00
|
T 405 |
|
Di. 19.10.2021 |
16:15 - 18:00
|
T 405 |
|
Di. 09.11.2021 |
16:15 - 18:00
|
T 405 |
|
Di. 16.11.2021 |
16:15 - 18:00
|
T 405 |
|
Di. 23.11.2021 |
16:15 - 18:00
|
T 405 |
|
Di. 30.11.2021 |
16:15 - 18:00
|
T 405 |
|
Di. 07.12.2021 |
16:15 - 18:00
|
T 405 |
|
Di. 14.12.2021 |
16:15 - 18:00
|
T 405 |
|
Di. 11.01.2022 |
16:15 - 18:00
|
T 405 |
|
Di. 18.01.2022 |
16:15 - 18:00
|
T 405 |
|
Di. 25.01.2022 |
16:15 - 18:00
|
T 405 |
|
|
|
|
326.013 (2021W)
|
Formal Methods in Software Development
Further information
|
Register
|
KV |
3,0 |
Wolfgang Schreiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 08.10.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 15.10.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 22.10.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 29.10.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 05.11.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 12.11.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 19.11.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 26.11.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 03.12.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 10.12.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 17.12.2021 |
08:30 - 11:00
|
S2 048 |
|
Fr. 07.01.2022 |
08:30 - 11:00
|
S2 048 |
|
Fr. 14.01.2022 |
08:30 - 11:00
|
S2 048 |
|
Fr. 21.01.2022 |
08:30 - 11:00
|
S2 048 |
|
Fr. 28.01.2022 |
08:30 - 11:00
|
S2 048 |
|
|
|
|
326.106 (2021W)
|
Ordinary differential equations and dynamical systems
Further information
|
Register
|
VL |
3,0 |
Josef Schicho
Sebastian Falkensteiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 11.10.2021 |
08:30 - 10:00
|
BA 9911 |
|
Di. 12.10.2021 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 18.10.2021 |
08:30 - 10:00
|
BA 9911 |
|
Di. 19.10.2021 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 25.10.2021 |
08:30 - 10:00
|
BA 9911 |
|
Mo. 08.11.2021 |
08:30 - 10:00
|
BA 9911 |
|
Di. 09.11.2021 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 15.11.2021 |
08:30 - 10:00
|
BA 9911 |
|
Di. 16.11.2021 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 22.11.2021 |
08:30 - 10:00
|
BA 9911 |
|
Di. 23.11.2021 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 29.11.2021 |
08:30 - 10:00
|
BA 9911 |
|
Di. 30.11.2021 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 06.12.2021 |
08:30 - 10:00
|
BA 9911 |
|
Di. 07.12.2021 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 13.12.2021 |
08:30 - 10:00
|
BA 9911 |
|
Di. 14.12.2021 |
08:30 - 09:15
|
BA 9910 |
Übungsklausur |
Mo. 10.01.2022 |
08:30 - 10:00
|
BA 9911 |
|
Di. 11.01.2022 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 17.01.2022 |
08:30 - 10:00
|
BA 9911 |
|
Di. 18.01.2022 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 24.01.2022 |
08:30 - 10:00
|
BA 9911 |
|
Di. 25.01.2022 |
08:30 - 09:15
|
BA 9910 |
|
Mo. 31.01.2022 |
08:30 - 10:00
|
BA 9911 |
Vorlesungsklausur |
|
|
|
326.107 (2021W)
|
Ordinary differential equations and dynamical systems
Further information
|
Register
|
UE |
1,0 |
Sebastian Falkensteiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 12.10.2021 |
09:15 - 10:00
|
BA 9910 |
|
Di. 19.10.2021 |
09:15 - 10:00
|
BA 9910 |
|
Di. 09.11.2021 |
09:15 - 10:00
|
BA 9910 |
|
Di. 16.11.2021 |
09:15 - 10:00
|
BA 9910 |
|
Di. 23.11.2021 |
09:15 - 10:00
|
-- |
|
Di. 30.11.2021 |
09:15 - 10:00
|
-- |
|
Di. 07.12.2021 |
09:15 - 10:00
|
-- |
|
Di. 14.12.2021 |
09:15 - 10:00
|
-- |
Übungsklausur |
Di. 11.01.2022 |
09:15 - 10:00
|
-- |
|
Di. 18.01.2022 |
09:15 - 10:00
|
-- |
|
Di. 25.01.2022 |
09:15 - 10:00
|
-- |
|
Di. 01.02.2022 |
08:30 - 10:00
|
-- |
Nachklausur |
|
|
|
326.048 (2021W)
|
Logic as a working language
Further information
|
Register
|
KV |
2,0 |
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 12.10.2021 |
12:00 - 13:30
|
S2 053 |
|
Di. 19.10.2021 |
12:00 - 13:30
|
S2 053 |
|
Do. 21.10.2021 |
12:45 - 13:30
|
S2 054 |
|
Mo. 25.10.2021 |
12:00 - 12:45
|
S3 047 |
|
Do. 28.10.2021 |
12:45 - 13:30
|
S2 054 |
|
Do. 04.11.2021 |
12:45 - 13:30
|
S2 054 |
|
Mo. 08.11.2021 |
12:00 - 12:45
|
S3 047 |
|
Di. 09.11.2021 |
12:00 - 13:30
|
S2 053 |
|
Do. 11.11.2021 |
12:45 - 13:30
|
S2 054 |
|
Di. 16.11.2021 |
12:00 - 13:30
|
S2 053 |
|
Do. 18.11.2021 |
12:45 - 13:30
|
S2 054 |
|
Mo. 22.11.2021 |
12:00 - 12:45
|
S3 047 |
|
Do. 25.11.2021 |
12:45 - 13:30
|
S2 054 |
|
Mo. 29.11.2021 |
12:00 - 12:45
|
S3 047 |
|
Di. 30.11.2021 |
12:00 - 13:30
|
Zoom |
|
Do. 02.12.2021 |
12:45 - 13:30
|
Zoom |
|
Mo. 06.12.2021 |
12:00 - 12:45
|
Zoom |
|
Di. 07.12.2021 |
12:00 - 13:30
|
Zoom |
|
Do. 09.12.2021 |
12:45 - 13:30
|
Zoom |
|
Di. 14.12.2021 |
12:00 - 13:30
|
Zoom |
|
Do. 16.12.2021 |
12:45 - 13:30
|
Zoom |
|
Mo. 10.01.2022 |
12:00 - 12:45
|
S3 047 |
|
Di. 11.01.2022 |
12:00 - 13:30
|
S2 053 |
|
|
|
|
326.0XX (2021W)
|
Master's Thesis Seminar I
|
Register
|
SE |
2,0 |
Peter Paule
Bruno Buchberger
Ralf Hemmecke
Tudor Jebelean
Teimuraz Kutsia
Günter Landsmann
Josef Schicho
Carsten Schneider
Wolfgang Schreiner
Wolfgang Windsteiger
Franz Winkler
|
Weekly
|
|
|
|
326.019 (2021W)
|
Mathematical logic 1
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
Tudor Jebelean
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
14:45 - 16:15
|
Moodle/Zoom |
|
Di. 12.10.2021 |
14:45 - 16:15
|
Moodle/Zoom |
|
Di. 19.10.2021 |
14:45 - 16:15
|
Moodle/Zoom |
|
Di. 09.11.2021 |
14:30 - 16:15
|
Moodle/Zoom |
|
Di. 16.11.2021 |
14:30 - 16:15
|
Moodle/Zoom |
|
Di. 23.11.2021 |
14:30 - 16:15
|
Moodle/Zoom |
|
Di. 30.11.2021 |
14:30 - 16:15
|
Moodle/Zoom |
|
Di. 07.12.2021 |
14:30 - 16:15
|
Moodle/Zoom |
|
Di. 14.12.2021 |
14:30 - 16:15
|
Moodle/Zoom |
|
Di. 11.01.2022 |
14:30 - 16:15
|
K 012D |
|
Di. 18.01.2022 |
14:30 - 16:15
|
K 012D |
|
Di. 25.01.2022 |
14:30 - 16:15
|
K 012D |
|
|
|
|
326.021 (2021W)
|
Mathematical logic 1
Further information
|
Register
|
UE |
1,0 |
Teimuraz Kutsia
Tudor Jebelean
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 12.10.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Di. 19.10.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Di. 09.11.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Di. 16.11.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Mo. 22.11.2021 |
16:15 - 17:00
|
Zoom/Moodle |
|
Di. 23.11.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Di. 30.11.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Di. 07.12.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Di. 14.12.2021 |
13:45 - 14:30
|
Moodle/Zoom |
|
Di. 11.01.2022 |
13:45 - 14:30
|
K 012D |
|
Di. 18.01.2022 |
13:45 - 14:30
|
K 012D |
|
Di. 25.01.2022 |
13:45 - 14:30
|
K 012D |
|
|
|
|
326.701 (2021W)
|
Mathematics and Logic
Further information
|
Register
|
UE |
1,0 |
Sebastian Falkensteiner
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 12.10.2021 |
16:15 - 17:00
|
HS 10 |
|
Di. 12.10.2021 |
18:00 - 18:45
|
S2 Z74 |
|
Di. 12.10.2021 |
18:00 - 18:45
|
S2 046 |
|
Di. 19.10.2021 |
16:15 - 17:00
|
HS 10 |
|
Di. 19.10.2021 |
18:00 - 18:45
|
S2 Z74 |
|
Di. 19.10.2021 |
18:00 - 18:45
|
S2 046 |
|
Di. 09.11.2021 |
16:15 - 17:00
|
HS 10 |
|
Di. 09.11.2021 |
18:00 - 18:45
|
S2 Z74 |
|
Di. 09.11.2021 |
18:00 - 18:45
|
S2 046 |
|
Di. 16.11.2021 |
16:15 - 17:00
|
HS 10 |
|
Di. 16.11.2021 |
18:00 - 18:45
|
S2 Z74 |
|
Di. 16.11.2021 |
18:00 - 18:45
|
S2 046 |
|
Di. 23.11.2021 |
16:15 - 17:00
|
-- |
|
Di. 23.11.2021 |
18:00 - 18:45
|
-- |
|
Di. 23.11.2021 |
18:00 - 18:45
|
-- |
|
Di. 30.11.2021 |
16:15 - 17:00
|
-- |
|
Di. 30.11.2021 |
18:00 - 18:45
|
-- |
|
Di. 30.11.2021 |
18:00 - 18:45
|
-- |
|
Di. 07.12.2021 |
16:15 - 17:00
|
-- |
|
Di. 07.12.2021 |
18:00 - 18:45
|
-- |
|
Di. 07.12.2021 |
18:00 - 18:45
|
-- |
|
Di. 14.12.2021 |
16:15 - 17:00
|
-- |
|
Di. 14.12.2021 |
18:00 - 18:45
|
-- |
|
Di. 14.12.2021 |
18:00 - 18:45
|
-- |
|
Di. 11.01.2022 |
16:15 - 17:00
|
-- |
|
Di. 11.01.2022 |
18:00 - 18:45
|
-- |
|
Di. 11.01.2022 |
18:00 - 18:45
|
-- |
|
Di. 18.01.2022 |
16:15 - 17:00
|
HS 10 |
|
Di. 18.01.2022 |
18:00 - 18:45
|
S2 Z74 |
|
Di. 18.01.2022 |
18:00 - 18:45
|
S2 046 |
|
Di. 25.01.2022 |
16:15 - 17:00
|
-- |
|
Di. 25.01.2022 |
18:00 - 18:45
|
-- |
|
Di. 25.01.2022 |
18:00 - 18:45
|
-- |
|
|
|
|
326.700 (2021W)
|
Mathematics and Logic
Further information
|
Register
|
VL |
3,0 |
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Fr. 08.10.2021 |
13:45 - 15:15
|
HS 7 |
1. Präsenzphase |
Di. 12.10.2021 |
18:00 - 18:45
|
S2 Z74 |
Kurztest Modul 1 |
Di. 12.10.2021 |
18:00 - 18:45
|
S2 046 |
Kurztest Modul 1 |
Fr. 15.10.2021 |
13:45 - 15:15
|
HS 7 |
2. Präsenzphase |
Di. 19.10.2021 |
18:00 - 18:45
|
S2 Z74 |
Kurztest Modul 2 |
Di. 19.10.2021 |
18:00 - 18:45
|
S2 046 |
Kurztest Modul 2 |
Fr. 22.10.2021 |
13:45 - 15:15
|
HS 7 |
3. Präsenzphase |
Fr. 05.11.2021 |
13:45 - 15:15
|
HS 7 |
4. Präsenzphase |
Di. 09.11.2021 |
18:00 - 18:45
|
S2 Z74 |
Kurztest Module 3 und 4 |
Di. 09.11.2021 |
18:00 - 18:45
|
S2 046 |
Kurztest Module 3 und 4 |
Fr. 12.11.2021 |
13:45 - 15:15
|
HS 7 |
5. Präsenzphase |
Di. 16.11.2021 |
18:00 - 18:45
|
S2 Z74 |
Kurztest Modul 5 |
Di. 16.11.2021 |
18:00 - 18:45
|
S2 046 |
Kurztest Modul 5 |
Fr. 19.11.2021 |
13:45 - 15:15
|
HS 18 |
|
Di. 23.11.2021 |
18:00 - 18:45
|
S2 Z74 |
Kurztest Modul 6 |
Di. 23.11.2021 |
18:00 - 18:45
|
S2 046 |
Kurztest Modul 6 |
Fr. 26.11.2021 |
13:45 - 15:15
|
Zoom |
7. Präsenzphase |
Di. 30.11.2021 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 7 |
Di. 30.11.2021 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 7 |
Fr. 03.12.2021 |
13:45 - 15:15
|
Zoom |
8. Präsenzphase |
Di. 07.12.2021 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 8 |
Di. 07.12.2021 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 8 |
Fr. 10.12.2021 |
13:45 - 15:15
|
Zoom |
9. Präsenzphase |
Di. 14.12.2021 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 9 |
Di. 14.12.2021 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 9 |
Fr. 17.12.2021 |
13:45 - 15:15
|
Zoom |
10. Präsenzphase |
Fr. 07.01.2022 |
13:45 - 15:15
|
HS 7 |
11. Präsenzphase |
Di. 11.01.2022 |
18:00 - 18:45
|
S2 Z74 |
Kurztest Module 10 und 11 |
Di. 11.01.2022 |
18:00 - 18:45
|
S2 046 |
Kurztest Module 10 und 11 |
Fr. 14.01.2022 |
13:45 - 15:15
|
Zoom |
12. Präsenzphase |
Di. 18.01.2022 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 12 |
Di. 18.01.2022 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 12 |
Fr. 21.01.2022 |
13:45 - 15:15
|
Zoom |
13. Präsenzphase |
Di. 25.01.2022 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 13 |
Di. 25.01.2022 |
18:00 - 18:45
|
Zoom |
Kurztest Modul 13 |
|
|
|
326.121 (2021W)
|
Practical in Logic and Software Design
Logic programming
Further information
|
Register
|
KV |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 06.10.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 13.10.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 20.10.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 27.10.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 03.11.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 10.11.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 17.11.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 24.11.2021 |
16:15 - 18:00
|
Moodle/Zoom |
|
Mi. 01.12.2021 |
16:15 - 18:00
|
Moodle/Zoom |
|
Mi. 15.12.2021 |
16:15 - 18:00
|
Moodle/Zoom |
|
Mi. 12.01.2022 |
16:15 - 18:00
|
S2 054 |
|
Mi. 19.01.2022 |
16:15 - 18:00
|
S2 054 |
|
Mi. 26.01.2022 |
16:15 - 18:00
|
S2 054 |
|
|
|
|
326.063 (2021W)
|
Seminar logic and software design
Project seminar Formal Methods and automated Reasoning I
Further information
|
Register
|
SE |
2,0 |
Wolfgang Schreiner
Teimuraz Kutsia
Wolfgang Windsteiger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
16:15 - 18:00
|
S2 120 |
|
Di. 12.10.2021 |
16:15 - 18:00
|
S2 120 |
|
Di. 19.10.2021 |
16:15 - 18:00
|
S2 120 |
|
Di. 09.11.2021 |
16:15 - 18:00
|
S2 120 |
|
Di. 16.11.2021 |
16:15 - 18:00
|
S2 120 |
|
Di. 23.11.2021 |
16:15 - 18:00
|
S2 120 |
|
Di. 30.11.2021 |
16:15 - 18:00
|
S2 120 |
|
Di. 07.12.2021 |
16:15 - 18:00
|
S2 120 |
|
Di. 14.12.2021 |
16:15 - 18:00
|
S2 120 |
|
Di. 11.01.2022 |
16:15 - 18:00
|
S2 120 |
|
Di. 18.01.2022 |
16:15 - 18:00
|
S2 120 |
|
Di. 25.01.2022 |
16:15 - 18:00
|
S2 120 |
|
|
|
|
326.060 (2021W)
|
Seminar symbolic computation
Research Topics in Algebra and Combinatorics
|
Register
|
SE |
2,0 |
Josef Schicho
Christoph Koutschan
N.N. N.N.
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Do. 14.10.2021 |
12:45 - 14:30
|
K 012D |
|
|
|
|
326.AK1 (2021W)
|
Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
|
Register
|
SE |
2,0 |
Peter Paule
Carsten Schneider
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 06.10.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 13.10.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 20.10.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 27.10.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 03.11.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 10.11.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 17.11.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 24.11.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 01.12.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 15.12.2021 |
13:45 - 16:15
|
HA 105 |
|
Mi. 12.01.2022 |
13:45 - 16:15
|
HA 105 |
|
Mi. 19.01.2022 |
13:45 - 16:15
|
HA 105 |
|
Mi. 26.01.2022 |
13:45 - 16:15
|
HA 105 |
|
|
|
|
326.015 (2021W)
|
Seminar symbolic computation
Computational Mathematics in Numerical Analysis and Symbolic Computation
Further information
|
Register
|
SE |
2,0 |
Veronika Elisabeth Pillwein
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
12:00 - 13:30
|
S3 048 |
|
Di. 12.10.2021 |
12:00 - 13:30
|
S3 048 |
|
Di. 19.10.2021 |
12:00 - 13:30
|
S3 048 |
|
Di. 09.11.2021 |
12:00 - 13:30
|
S3 048 |
|
Di. 16.11.2021 |
12:00 - 13:30
|
S3 048 |
|
Di. 23.11.2021 |
12:00 - 13:30
|
S3 048 |
|
Di. 30.11.2021 |
12:00 - 13:30
|
S3 048 |
|
Di. 07.12.2021 |
12:00 - 13:30
|
S3 048 |
|
Di. 14.12.2021 |
12:00 - 13:30
|
S3 048 |
|
Di. 11.01.2022 |
12:00 - 13:30
|
S3 048 |
|
Di. 18.01.2022 |
12:00 - 13:30
|
S3 048 |
|
Di. 25.01.2022 |
12:00 - 13:30
|
S3 048 |
|
|
|
|
326.054 (2021W)
|
Special Functions and Symbolic Summation
Further information
|
Register
|
VL |
2,0 |
Silviu Radu
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 06.10.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 13.10.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 20.10.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 27.10.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 03.11.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 10.11.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 17.11.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 24.11.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 01.12.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 15.12.2021 |
16:15 - 18:00
|
HA 105 |
|
Mi. 12.01.2022 |
16:15 - 18:00
|
HA 105 |
|
Mi. 19.01.2022 |
16:15 - 18:00
|
HA 105 |
|
Mi. 26.01.2022 |
16:15 - 18:00
|
HA 105 |
|
|
|
|
326.122 (2021W)
|
Special Topics
Logic Programming
Further information
|
Register
|
VL |
2,0 |
Teimuraz Kutsia
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mi. 06.10.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 13.10.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 20.10.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 27.10.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 03.11.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 10.11.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 17.11.2021 |
16:15 - 18:00
|
S2 054 |
|
Mi. 24.11.2021 |
16:15 - 18:00
|
Moodle/Zoom |
|
Mi. 01.12.2021 |
16:15 - 18:00
|
Moodle/Zoom |
|
Mi. 15.12.2021 |
16:15 - 18:00
|
Moodle/Zoom |
|
Mi. 12.01.2022 |
16:15 - 18:00
|
S2 054 |
|
Mi. 19.01.2022 |
16:15 - 18:00
|
S2 054 |
|
Mi. 26.01.2022 |
16:15 - 18:00
|
S2 054 |
|
|
|
|
326.057 (2021W)
|
Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
|
Register
|
VO |
2,0 |
Tudor Jebelean
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Mo. 04.10.2021 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 11.10.2021 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 18.10.2021 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 25.10.2021 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 08.11.2021 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 15.11.2021 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 22.11.2021 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 29.11.2021 |
08:15 - 09:45
|
Moodle/Zoom |
|
Mo. 06.12.2021 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 13.12.2021 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 10.01.2022 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 17.01.2022 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 24.01.2022 |
08:30 - 10:00
|
Moodle/Zoom |
|
Mo. 31.01.2022 |
08:30 - 10:00
|
Moodle/Zoom |
|
|
|
|
326.114 (2021W)
|
Overview of Mathematics I
Schülergruppe
|
Register
|
VL |
1,0 |
Georg Grasegger
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
15:30 - 17:00
|
S2 219 |
|
Di. 12.10.2021 |
15:30 - 17:00
|
MZ 005A |
online |
Di. 19.10.2021 |
15:30 - 17:00
|
T 406/1 |
|
Di. 09.11.2021 |
15:30 - 17:00
|
MZ 005B |
|
Di. 16.11.2021 |
15:30 - 17:00
|
K 001A |
|
Di. 23.11.2021 |
15:30 - 17:00
|
Online |
|
Di. 30.11.2021 |
15:30 - 17:00
|
Online |
|
Di. 07.12.2021 |
15:30 - 17:00
|
Online |
|
Di. 14.12.2021 |
15:30 - 17:00
|
Online |
|
Di. 11.01.2022 |
15:30 - 17:00
|
Online |
|
Di. 18.01.2022 |
15:30 - 17:00
|
Online |
Prüfung |
|
|
|
326.116 (2021W)
|
Overview of Mathematics III
|
Register
|
VL |
2,0 |
Georg Grasegger
Niels Lubbes
|
Weekly
|
|
Date |
Daytime |
Room |
Topic |
Di. 05.10.2021 |
15:30 - 17:00
|
S2 046 |
|
Di. 12.10.2021 |
15:30 - 17:00
|
MZ 005B |
|
Di. 19.10.2021 |
15:30 - 17:00
|
MT 327 |
|
Di. 09.11.2021 |
15:30 - 17:00
|
S2 219 |
|
Di. 16.11.2021 |
15:30 - 17:00
|
S2 219 |
|
Di. 23.11.2021 |
15:30 - 17:00
|
S2 219 |
|
Di. 30.11.2021 |
15:30 - 17:00
|
S2 219 |
|
Di. 07.12.2021 |
15:30 - 17:00
|
S2 046 |
|
Di. 14.12.2021 |
15:30 - 17:00
|
S2 219 |
|
Di. 11.01.2022 |
15:30 - 17:00
|
MZ 005B |
|
Di. 18.01.2022 |
15:30 - 17:00
|
MZ 005B |
|
Di. 25.01.2022 |
15:30 - 17:00
|
S3 057 |
|
|
|
|
326.999 (2021W)
|
Preparatory course mathematics for first-year students of Business Informatics
Further information
|
Register
|
VK |
2,0 |
Wolfgang Windsteiger
|
Block
|
|
Date |
Daytime |
Room |
Topic |
Mo. 20.09.2021 |
10:15 - 12:45
|
HS 11 |
|
Mi. 22.09.2021 |
10:15 - 12:45
|
HS 11 |
|
Fr. 24.09.2021 |
10:15 - 12:45
|
HS 11 |
|
Mo. 19.09.2022 |
08:30 - 15:15
|
BA 9910 |
|
Di. 20.09.2022 |
08:30 - 15:15
|
BA 9910 |
|
Mi. 21.09.2022 |
08:30 - 15:15
|
BA 9910 |
|
Do. 22.09.2022 |
08:30 - 15:15
|
BA 9910 |
|
Fr. 23.09.2022 |
08:30 - 11:45
|
BA 9910 |
|
|
|
|