Find below the list of courses offered by RISC-Linz as of 31.1.2014.
| Course Id |
Title |
Registration |
Type |
Hours |
Teachers |
Rhythm |
|
326.011 (2013W)
|
Algorithms and data structures
Further information
|
Register
|
KV |
2,00 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 03.10.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 08.10.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 09.10.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 10.10.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 15.10.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 16.10.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 17.10.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 22.10.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 23.10.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 24.10.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 29.10.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 30.10.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 31.10.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 05.11.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 06.11.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 07.11.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 12.11.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 13.11.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 14.11.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 19.11.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 20.11.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 21.11.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 26.11.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 27.11.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 28.11.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 03.12.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 04.12.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 05.12.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 10.12.2013 |
12:45 - 13:30
|
KG 712 |
|
| Mi 11.12.2013 |
09:15 - 10:00
|
K 009D |
|
| Do 12.12.2013 |
08:30 - 10:00
|
MT 128 |
|
| Di 07.01.2014 |
12:45 - 13:30
|
KG 712 |
|
| Mi 08.01.2014 |
09:15 - 10:00
|
K 009D |
|
| Do 09.01.2014 |
08:30 - 10:00
|
MT 128 |
|
| Di 14.01.2014 |
12:45 - 13:30
|
KG 712 |
|
| Mi 15.01.2014 |
09:15 - 10:00
|
K 009D |
|
| Do 16.01.2014 |
08:30 - 10:00
|
MT 128 |
|
| Di 21.01.2014 |
12:45 - 13:30
|
KG 712 |
|
| Mi 22.01.2014 |
09:15 - 10:00
|
K 009D |
|
| Do 23.01.2014 |
08:30 - 10:00
|
MT 128 |
|
| Di 28.01.2014 |
12:45 - 13:30
|
KG 712 |
|
| Mi 29.01.2014 |
09:15 - 10:00
|
K 009D |
|
| Do 30.01.2014 |
08:30 - 10:00
|
MT 128 |
|
| Mi 12.02.2014 |
10:00 - 12:00
|
HS 4 |
|
|
|
|
|
326.002 (2013W)
|
Algorithmic methods 1
Further information
|
Register
|
KV |
2,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 01.10.2013 |
12:00 - 13:30
|
S2 048 |
|
| Do 03.10.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 07.10.2013 |
12:00 - 12:45
|
S2 120 |
|
| Di 08.10.2013 |
12:00 - 13:30
|
S2 048 |
|
| Do 10.10.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 14.10.2013 |
12:00 - 12:45
|
S2 120 |
|
| Do 17.10.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 21.10.2013 |
12:00 - 12:45
|
S2 120 |
|
| Do 24.10.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 28.10.2013 |
12:00 - 12:45
|
S2 120 |
|
| Di 29.10.2013 |
12:00 - 13:30
|
S2 048 |
|
| Do 31.10.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 04.11.2013 |
12:00 - 12:45
|
S2 120 |
|
| Di 05.11.2013 |
12:00 - 13:30
|
S2 048 |
|
| Do 07.11.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 11.11.2013 |
12:00 - 12:45
|
S2 120 |
|
| Di 12.11.2013 |
12:00 - 13:30
|
S2 048 |
|
| Do 14.11.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 18.11.2013 |
12:00 - 12:45
|
S2 120 |
|
| Di 19.11.2013 |
12:00 - 13:30
|
S2 048 |
|
| Do 21.11.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 25.11.2013 |
12:00 - 12:45
|
S2 120 |
|
| Di 26.11.2013 |
12:00 - 13:30
|
S2 048 |
|
| Do 28.11.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 02.12.2013 |
12:00 - 12:45
|
S2 120 |
|
| Di 03.12.2013 |
12:00 - 13:30
|
S2 048 |
|
| Do 05.12.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 09.12.2013 |
12:00 - 12:45
|
S2 120 |
|
| Di 10.12.2013 |
12:00 - 13:30
|
S2 048 |
|
| Do 12.12.2013 |
12:00 - 12:45
|
S2 044 |
|
| Mo 16.12.2013 |
12:00 - 12:45
|
S2 120 |
|
| Di 07.01.2014 |
12:00 - 13:30
|
S2 048 |
|
| Do 09.01.2014 |
12:00 - 12:45
|
S2 044 |
|
| Mo 13.01.2014 |
12:00 - 12:45
|
S2 120 |
|
| Di 14.01.2014 |
12:00 - 13:30
|
S2 048 |
|
| Do 16.01.2014 |
12:00 - 12:45
|
S2 044 |
|
| Mo 20.01.2014 |
12:00 - 12:45
|
S2 120 |
|
| Di 21.01.2014 |
12:00 - 13:30
|
S2 048 |
|
| Do 23.01.2014 |
12:00 - 12:45
|
S2 044 |
|
| Mo 27.01.2014 |
12:00 - 12:45
|
S2 120 |
|
| Di 28.01.2014 |
12:00 - 13:30
|
S2 048 |
|
| Do 30.01.2014 |
12:00 - 12:45
|
S2 044 |
|
|
|
|
|
326.022 (2013W)
|
Analysis
Further information
|
Register
|
VO |
2,00 |
Manuel Kauers
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 04.10.2013 |
08:30 - 10:00
|
HS 7 |
|
| Fr 11.10.2013 |
08:30 - 10:00
|
HS 7 |
|
| Fr 18.10.2013 |
08:30 - 10:00
|
HS 7 |
|
| Fr 25.10.2013 |
08:30 - 10:00
|
HS 7 |
|
| Do 07.11.2013 |
17:15 - 18:45
|
HS 10 |
|
| Fr 08.11.2013 |
08:30 - 10:00
|
HS 7 |
|
| Fr 15.11.2013 |
08:30 - 10:00
|
HS 7 |
|
| Fr 22.11.2013 |
08:30 - 10:00
|
HS 7 |
|
| Fr 29.11.2013 |
08:30 - 10:00
|
HS 7 |
|
| Fr 06.12.2013 |
08:30 - 10:00
|
HS 7 |
|
| Fr 13.12.2013 |
08:30 - 10:00
|
HS 7 |
|
| Fr 10.01.2014 |
08:30 - 10:00
|
HS 7 |
|
| Fr 17.01.2014 |
08:30 - 10:00
|
HS 7 |
|
| Fr 24.01.2014 |
08:30 - 10:00
|
HS 7 |
|
| Fr 31.01.2014 |
08:30 - 10:00
|
HS 7 |
|
| Mi 12.02.2014 |
10:00 - 12:00
|
HS 8 |
|
|
|
|
|
326.027 (2013W)
|
Analysis
Further information
|
Register
|
UE |
2,00 |
Alexander Baumgartner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 03.10.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 10.10.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 17.10.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 24.10.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 31.10.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 14.11.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 21.11.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 28.11.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 05.12.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 12.12.2013 |
15:30 - 17:00
|
HS 12 |
|
| Do 09.01.2014 |
15:30 - 17:00
|
HS 12 |
|
| Do 16.01.2014 |
15:30 - 17:00
|
HS 12 |
|
| Do 23.01.2014 |
15:30 - 17:00
|
HS 12 |
|
| Do 30.01.2014 |
15:30 - 17:00
|
HS 12 |
|
|
|
|
|
326.029 (2013W)
|
Analysis
Further information
|
Register
|
UE |
2,00 |
Johanna Penteker
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 03.10.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 10.10.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 17.10.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 24.10.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 31.10.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 14.11.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 21.11.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 28.11.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 05.12.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 12.12.2013 |
15:30 - 17:00
|
BA 9910 |
|
| Do 09.01.2014 |
15:30 - 17:00
|
BA 9910 |
|
| Do 16.01.2014 |
15:30 - 17:00
|
BA 9910 |
|
| Do 23.01.2014 |
15:30 - 17:00
|
BA 9910 |
|
| Do 30.01.2014 |
15:30 - 17:00
|
BA 9910 |
|
|
|
|
|
326.056 (2013W)
|
Analysis
Further information
|
Register
|
UE |
2,00 |
Christoph Koutschan
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 03.10.2013 |
15:30 - 17:00
|
K 269D |
|
| Do 10.10.2013 |
15:30 - 17:00
|
HF 9901 |
|
| Do 17.10.2013 |
15:30 - 17:00
|
K 269D |
|
| Do 24.10.2013 |
15:30 - 17:00
|
K 269D |
|
| Do 31.10.2013 |
15:30 - 17:00
|
K 269D |
|
| Do 14.11.2013 |
15:30 - 17:00
|
K 269D |
|
| Do 21.11.2013 |
15:30 - 17:00
|
K 269D |
|
| Do 28.11.2013 |
15:30 - 17:00
|
K 269D |
|
| Do 05.12.2013 |
15:30 - 17:00
|
K 269D |
|
| Do 12.12.2013 |
15:30 - 17:00
|
K 269D |
|
| Do 09.01.2014 |
15:30 - 17:00
|
K 269D |
|
| Do 16.01.2014 |
15:30 - 17:00
|
K 269D |
|
| Do 23.01.2014 |
15:30 - 17:00
|
K 269D |
|
| Do 30.01.2014 |
15:30 - 17:00
|
K 269D |
|
|
|
|
|
326.094 (2013W)
|
Automated Reasoning
Further information
|
Register
|
UE |
1,00 |
Tudor Jebelean
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 26.11.2013 |
15:30 - 17:00
|
S2 219 |
|
| Di 03.12.2013 |
15:30 - 17:00
|
S2 219 |
|
| Di 10.12.2013 |
15:30 - 17:00
|
S2 219 |
|
| Di 07.01.2014 |
15:30 - 17:00
|
S2 219 |
|
| Di 14.01.2014 |
15:30 - 17:00
|
S2 219 |
|
| Di 21.01.2014 |
15:30 - 17:00
|
S2 219 |
|
| Di 28.01.2014 |
15:30 - 17:00
|
S2 219 |
|
|
|
|
|
326.0AR (2013W)
|
Automated Reasoning
Further information
|
Register
|
VL |
2,00 |
Tudor Jebelean
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 02.10.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 09.10.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 16.10.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 23.10.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 30.10.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 06.11.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 13.11.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 20.11.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 27.11.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 04.12.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 11.12.2013 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 08.01.2014 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 15.01.2014 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 22.01.2014 |
08:30 - 10:00
|
BA 9907 |
|
| Mi 29.01.2014 |
08:30 - 10:00
|
BA 9907 |
|
|
|
|
|
326.062 (2013W)
|
Computability theory
Further information
|
Register
|
VO |
2,00 |
Heinrich Rolletschek
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 03.10.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 10.10.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 17.10.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 24.10.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 31.10.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 07.11.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 14.11.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 21.11.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 28.11.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 05.12.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 12.12.2013 |
08:30 - 10:00
|
T 642 |
|
| Do 09.01.2014 |
08:30 - 10:00
|
T 642 |
|
| Do 16.01.2014 |
08:30 - 10:00
|
T 642 |
|
| Do 23.01.2014 |
08:30 - 10:00
|
T 642 |
|
| Do 30.01.2014 |
08:30 - 10:00
|
T 642 |
|
|
|
|
|
326.004 (2013W)
|
Computability and Complexity
Further information
|
Register
|
UE |
1,00 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 04.10.2013 |
11:00 - 11:45
|
K 033C |
|
| Fr 11.10.2013 |
11:00 - 11:45
|
K 033C |
|
| Fr 18.10.2013 |
11:00 - 11:45
|
K 033C |
|
| Fr 25.10.2013 |
11:00 - 11:45
|
K 033C |
|
| Fr 08.11.2013 |
11:00 - 11:45
|
K 033C |
|
| Fr 15.11.2013 |
11:00 - 11:45
|
K 033C |
|
| Fr 22.11.2013 |
11:00 - 11:45
|
HS 2 |
|
| Fr 29.11.2013 |
11:00 - 11:45
|
K 033C |
|
| Fr 06.12.2013 |
11:00 - 11:45
|
K 033C |
|
| Fr 13.12.2013 |
11:00 - 11:45
|
BA 9911 |
|
| Fr 10.01.2014 |
11:00 - 11:45
|
K 033C |
|
| Fr 17.01.2014 |
11:00 - 11:45
|
HS 2 |
|
| Fr 24.01.2014 |
11:00 - 11:45
|
K 033C |
|
| Fr 31.01.2014 |
11:00 - 11:45
|
K 033C |
|
|
|
|
|
326.016 (2013W)
|
Computability and Complexity
Further information
|
Register
|
UE |
1,00 |
Ralf Hemmecke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 04.10.2013 |
10:15 - 11:00
|
HS 12 |
|
| Fr 11.10.2013 |
10:15 - 11:00
|
HS 12 |
|
| Fr 18.10.2013 |
10:15 - 11:00
|
HS 12 |
|
| Fr 25.10.2013 |
10:15 - 11:00
|
HS 12 |
|
| Fr 08.11.2013 |
10:15 - 11:00
|
HS 12 |
|
| Fr 15.11.2013 |
10:15 - 11:00
|
HS 12 |
|
| Fr 22.11.2013 |
11:00 - 11:45
|
HS 2 |
|
| Fr 29.11.2013 |
10:15 - 11:00
|
HS 12 |
|
| Fr 06.12.2013 |
10:15 - 11:00
|
HS 12 |
|
| Fr 13.12.2013 |
10:15 - 11:00
|
HS 12 |
|
| Fr 10.01.2014 |
10:15 - 11:00
|
HS 12 |
|
| Fr 17.01.2014 |
11:00 - 11:45
|
HS 2 |
|
| Fr 24.01.2014 |
10:15 - 11:00
|
HS 12 |
|
| Fr 31.01.2014 |
10:15 - 11:00
|
K 033C |
|
|
|
|
|
326.023 (2013W)
|
Computability and Complexity
Further information
|
Register
|
VO |
2,00 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 04.10.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 11.10.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 18.10.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 25.10.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 08.11.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 15.11.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 22.11.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 29.11.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 06.12.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 13.12.2013 |
12:00 - 13:30
|
HS 10 |
|
| Fr 10.01.2014 |
12:00 - 13:30
|
HS 10 |
|
| Fr 17.01.2014 |
12:00 - 13:30
|
HS 10 |
|
| Fr 24.01.2014 |
12:00 - 13:30
|
HS 10 |
|
| Fr 31.01.2014 |
12:00 - 13:30
|
HS 10 |
|
| Fr 07.02.2014 |
12:00 - 13:30
|
HS 9 |
|
|
|
|
|
326.050 (2013W)
|
Computability and Complexity
Further information
|
Register
|
UE |
1,00 |
Ralf Hemmecke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 04.10.2013 |
11:00 - 11:45
|
HS 12 |
|
| Fr 11.10.2013 |
11:00 - 11:45
|
HS 12 |
|
| Fr 18.10.2013 |
11:00 - 11:45
|
HS 12 |
|
| Fr 25.10.2013 |
11:00 - 11:45
|
HS 12 |
|
| Fr 08.11.2013 |
11:00 - 11:45
|
HS 12 |
|
| Fr 15.11.2013 |
11:00 - 11:45
|
HS 12 |
|
| Fr 22.11.2013 |
11:00 - 11:45
|
HS 2 |
|
| Fr 29.11.2013 |
11:00 - 11:45
|
HS 12 |
|
| Fr 06.12.2013 |
11:00 - 11:45
|
HS 12 |
|
| Fr 13.12.2013 |
11:00 - 11:45
|
HS 12 |
|
| Fr 10.01.2014 |
11:00 - 11:45
|
HS 12 |
|
| Fr 17.01.2014 |
11:00 - 11:45
|
HS 2 |
|
| Fr 24.01.2014 |
11:00 - 11:45
|
HS 12 |
|
| Fr 31.01.2014 |
11:00 - 11:45
|
K 033C |
|
|
|
|
|
326.010 (2013W)
|
Computer Algebra
Further information
|
Register
|
VL |
2,00 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 08.10.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 15.10.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 22.10.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 29.10.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 05.11.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 12.11.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 19.11.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 26.11.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 03.12.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 10.12.2013 |
15:30 - 17:00
|
HS 13 |
|
| Di 07.01.2014 |
15:30 - 17:00
|
HS 13 |
|
| Di 14.01.2014 |
15:30 - 17:00
|
HS 13 |
|
| Di 21.01.2014 |
15:30 - 17:00
|
HS 13 |
|
| Di 28.01.2014 |
15:30 - 18:00
|
HS 15 |
|
|
|
|
|
326.031 (2013W)
|
Computer Algebra
Further information
|
Register
|
UE |
1,00 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 08.10.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 15.10.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 22.10.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 29.10.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 05.11.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 12.11.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 19.11.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 26.11.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 03.12.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 10.12.2013 |
17:15 - 18:00
|
HS 13 |
|
| Di 07.01.2014 |
17:15 - 18:00
|
HS 13 |
|
| Di 14.01.2014 |
17:15 - 18:00
|
HS 13 |
|
| Di 21.01.2014 |
17:15 - 18:00
|
HS 13 |
|
|
|
|
|
326.046 (2013W)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
VL |
2,00 |
Peter Paule
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 01.10.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 08.10.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 15.10.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 22.10.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 29.10.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 05.11.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 12.11.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 19.11.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 26.11.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 03.12.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 10.12.2013 |
12:00 - 13:30
|
HS 11 |
|
| Di 07.01.2014 |
12:00 - 13:30
|
HS 11 |
|
| Di 14.01.2014 |
12:00 - 13:30
|
HS 11 |
|
| Di 21.01.2014 |
12:00 - 13:30
|
HS 11 |
|
| Di 28.01.2014 |
12:00 - 13:30
|
HS 11 |
|
|
|
|
|
326.047 (2013W)
|
Computer Algebra for Concrete Mathematics
Further information
|
Register
|
UE |
1,00 |
Peter Paule
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 01.10.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 08.10.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 15.10.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 22.10.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 29.10.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 05.11.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 12.11.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 19.11.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 26.11.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 03.12.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 10.12.2013 |
13:45 - 14:30
|
HS 11 |
|
| Di 07.01.2014 |
13:45 - 14:30
|
HS 11 |
|
| Di 14.01.2014 |
13:45 - 14:30
|
HS 11 |
|
| Di 21.01.2014 |
13:45 - 14:30
|
HS 11 |
|
| Di 28.01.2014 |
13:45 - 14:30
|
HS 11 |
|
|
|
|
|
326.008 (2013W)
|
Computer-Based Working Environments
Further information
|
Register
|
KV |
1,00 |
Károly Erdei
Ralf Hemmecke
|
Block
|
| |
|
|
|
357.211 (2013W)
|
Discrete Structures
Further information
|
Register
|
UE |
1,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 11.10.2013 |
10:15 - 11:00
|
S3 055 |
|
| Fr 18.10.2013 |
10:15 - 11:00
|
S3 055 |
|
| Fr 25.10.2013 |
10:15 - 11:00
|
S3 055 |
|
| Fr 08.11.2013 |
10:15 - 11:00
|
S3 055 |
|
| Fr 08.11.2013 |
15:30 - 16:15
|
HS 1 |
|
| Fr 15.11.2013 |
10:15 - 11:00
|
S3 055 |
|
| Fr 22.11.2013 |
10:15 - 11:00
|
S3 055 |
|
| Fr 29.11.2013 |
10:15 - 11:00
|
S3 055 |
|
| Fr 29.11.2013 |
15:30 - 16:15
|
HS 10 |
|
| Fr 06.12.2013 |
10:15 - 11:00
|
S3 055 |
|
| Fr 13.12.2013 |
10:15 - 11:00
|
S3 055 |
|
| Fr 10.01.2014 |
10:15 - 11:00
|
S3 055 |
|
| Fr 10.01.2014 |
15:30 - 16:15
|
HS 10 |
|
| Fr 17.01.2014 |
10:15 - 11:00
|
S3 055 |
|
| Fr 24.01.2014 |
10:15 - 11:00
|
S3 055 |
|
| Fr 31.01.2014 |
10:15 - 11:00
|
S3 055 |
|
| Fr 31.01.2014 |
15:30 - 16:15
|
HS 7 |
|
|
|
|
|
357.212 (2013W)
|
Discrete Structures
Further information
|
Register
|
UE |
1,00 |
Wolfgang Windsteiger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 11.10.2013 |
11:00 - 11:45
|
S3 055 |
|
| Fr 18.10.2013 |
11:00 - 11:45
|
S3 055 |
|
| Fr 25.10.2013 |
11:00 - 11:45
|
S3 055 |
|
| Fr 08.11.2013 |
11:00 - 11:45
|
S3 055 |
|
| Fr 08.11.2013 |
15:30 - 16:15
|
HS 1 |
|
| Fr 15.11.2013 |
11:00 - 11:45
|
S3 055 |
|
| Fr 22.11.2013 |
11:00 - 11:45
|
S3 055 |
|
| Fr 29.11.2013 |
11:00 - 11:45
|
S3 055 |
|
| Fr 29.11.2013 |
15:30 - 16:15
|
HS 10 |
|
| Fr 06.12.2013 |
11:00 - 11:45
|
S3 055 |
|
| Fr 13.12.2013 |
11:00 - 11:45
|
S3 055 |
|
| Fr 10.01.2014 |
11:00 - 11:45
|
S3 055 |
|
| Fr 10.01.2014 |
15:30 - 16:15
|
HS 10 |
|
| Fr 17.01.2014 |
11:00 - 11:45
|
S3 055 |
|
| Fr 24.01.2014 |
11:00 - 11:45
|
S3 055 |
|
| Fr 31.01.2014 |
11:00 - 11:45
|
S3 055 |
|
| Fr 31.01.2014 |
15:30 - 16:15
|
HS 7 |
|
|
|
|
|
326.053 (2013W)
|
Formal methods in software development
Further information
|
Register
|
KV |
4,00 |
Wolfgang Schreiner
Janos Sztrik
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 04.10.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 11.10.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 18.10.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 25.10.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 08.11.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 15.11.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 22.11.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 29.11.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 06.12.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 13.12.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 10.01.2014 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 17.01.2014 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 24.01.2014 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 31.01.2014 |
08:30 - 11:45
|
BA 9912 |
|
|
|
|
|
326.091 (2013W)
|
Formal Methods in Software Development
Further information
|
Register
|
KV |
3,00 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 04.10.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 11.10.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 18.10.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 25.10.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 08.11.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Di 12.11.2013 |
15:30 - 18:45
|
S2 048 |
|
| Fr 15.11.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 22.11.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 29.11.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 06.12.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 13.12.2013 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 10.01.2014 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 17.01.2014 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 24.01.2014 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 31.01.2014 |
08:30 - 11:45
|
BA 9912 |
|
| Fr 07.02.2014 |
08:30 - 10:00
|
HS 4 |
|
|
|
|
|
326.003 (2013W)
|
Fundamentals of Numerical Analysis and Symbolic Computation
Winter Semester 13
Further information
|
Register
|
KV |
2,00 |
Christoph Koutschan
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 08.10.2013 |
10:15 - 11:45
|
K 223B |
|
| Di 22.10.2013 |
10:15 - 11:45
|
S3 058 |
|
| Di 29.10.2013 |
10:15 - 11:45
|
S3 058 |
|
| Di 05.11.2013 |
10:15 - 11:45
|
S3 058 |
|
| Di 12.11.2013 |
10:15 - 11:45
|
S3 057 |
|
| Di 19.11.2013 |
10:15 - 11:45
|
S3 058 |
|
| Di 26.11.2013 |
10:15 - 11:45
|
S3 058 |
|
| Di 03.12.2013 |
10:15 - 11:45
|
S3 058 |
|
| Di 10.12.2013 |
10:15 - 11:45
|
S3 058 |
|
| Di 07.01.2014 |
10:15 - 11:45
|
S3 058 |
|
| Di 14.01.2014 |
10:15 - 11:45
|
S2 Z74 |
|
| Di 21.01.2014 |
10:15 - 11:45
|
S3 058 |
|
| Di 28.01.2014 |
10:15 - 11:45
|
S3 058 |
|
|
|
|
|
326.005 (2013W)
|
Ordinary differential equations and dynamical systems 1
|
Register
|
KV |
5,00 |
Josef Schicho
Georg Regensburger
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 07.10.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 08.10.2013 |
08:30 - 11:00
|
S2 054 |
|
| Mo 14.10.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 15.10.2013 |
08:30 - 11:00
|
S2 054 |
|
| Mo 21.10.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 22.10.2013 |
08:30 - 11:00
|
S2 054 |
|
| Mo 28.10.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 29.10.2013 |
08:30 - 11:00
|
S2 054 |
|
| Mo 04.11.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 05.11.2013 |
08:30 - 11:00
|
S2 054 |
|
| Mo 11.11.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 12.11.2013 |
08:30 - 11:00
|
S2 054 |
|
| Mo 18.11.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 19.11.2013 |
08:30 - 11:00
|
S2 054 |
|
| Mo 25.11.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 26.11.2013 |
08:30 - 11:00
|
S2 054 |
|
| Mo 02.12.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 03.12.2013 |
08:30 - 11:00
|
S2 054 |
|
| Mo 09.12.2013 |
08:30 - 10:00
|
K 012D |
|
| Di 10.12.2013 |
08:30 - 11:00
|
S2 054 |
|
| Di 07.01.2014 |
08:30 - 11:00
|
S2 054 |
|
| Mo 13.01.2014 |
08:30 - 10:00
|
K 012D |
|
| Di 14.01.2014 |
08:30 - 11:00
|
S2 054 |
|
| Mo 20.01.2014 |
08:30 - 10:00
|
K 012D |
|
| Di 21.01.2014 |
08:30 - 11:00
|
S2 054 |
|
| Mo 27.01.2014 |
08:30 - 10:00
|
K 012D |
|
| Di 28.01.2014 |
08:30 - 11:00
|
S2 054 |
|
|
|
|
|
326.015 (2013W)
|
Information systems
Further information
|
Register
|
KV |
2,00 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 07.10.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 14.10.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 21.10.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 28.10.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 04.11.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 11.11.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 18.11.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 25.11.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 02.12.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 09.12.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 16.12.2013 |
12:00 - 13:30
|
HS 12 |
|
| Mo 13.01.2014 |
12:00 - 13:30
|
HS 12 |
|
| Mo 20.01.2014 |
12:00 - 13:30
|
HS 12 |
|
| Mo 27.01.2014 |
12:00 - 13:30
|
HS 12 |
|
|
|
|
|
326.036 (2013W)
|
Linear algebra and analytic geometry 1
Further information
|
Register
|
VO |
5,00 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 01.10.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 02.10.2013 |
10:15 - 11:45
|
HS 16 |
|
| Fr 04.10.2013 |
10:15 - 11:45
|
HS 10 |
|
| Di 08.10.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 09.10.2013 |
10:15 - 11:45
|
HS 2 |
|
| Fr 11.10.2013 |
10:15 - 11:45
|
HS 10 |
|
| Di 15.10.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 16.10.2013 |
10:15 - 11:45
|
HS 2 |
|
| Fr 18.10.2013 |
10:15 - 11:45
|
HS 10 |
|
| Di 22.10.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 23.10.2013 |
10:15 - 11:45
|
HS 2 |
|
| Fr 25.10.2013 |
10:15 - 11:45
|
HS 10 |
|
| Di 29.10.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 30.10.2013 |
10:15 - 11:45
|
HS 2 |
|
| Di 05.11.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 06.11.2013 |
10:15 - 11:45
|
HS 18 |
|
| Fr 08.11.2013 |
10:15 - 11:45
|
HS 1 |
|
| Di 12.11.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 13.11.2013 |
10:15 - 11:45
|
HS 18 |
|
| Fr 15.11.2013 |
10:15 - 11:45
|
HS 15 |
|
| Di 19.11.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 20.11.2013 |
10:15 - 11:45
|
HS 18 |
|
| Fr 22.11.2013 |
10:15 - 11:45
|
HS 16 |
|
| Di 26.11.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 27.11.2013 |
10:15 - 11:45
|
HS 2 |
|
| Fr 29.11.2013 |
10:15 - 11:45
|
HS 15 |
|
| Di 03.12.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 04.12.2013 |
10:15 - 11:45
|
HS 18 |
|
| Fr 06.12.2013 |
10:15 - 11:45
|
HS 2 |
|
| Di 10.12.2013 |
11:00 - 11:45
|
HS 2 |
|
| Mi 11.12.2013 |
10:15 - 11:45
|
HS 2 |
|
| Fr 13.12.2013 |
10:15 - 11:45
|
HS 2 |
|
| Di 07.01.2014 |
11:00 - 11:45
|
HS 2 |
|
| Mi 08.01.2014 |
10:15 - 11:45
|
HS 2 |
|
| Fr 10.01.2014 |
10:15 - 11:45
|
HS 15 |
|
| Di 14.01.2014 |
11:00 - 11:45
|
HS 2 |
|
| Mi 15.01.2014 |
10:15 - 11:45
|
HS 18 |
|
| Fr 17.01.2014 |
10:15 - 11:45
|
HS 16 |
|
| Di 21.01.2014 |
11:00 - 11:45
|
HS 2 |
|
| Mi 22.01.2014 |
10:15 - 11:45
|
HS 18 |
|
| Fr 24.01.2014 |
10:15 - 11:45
|
HS 16 |
|
| Di 28.01.2014 |
11:00 - 11:45
|
HS 2 |
|
| Mi 29.01.2014 |
10:15 - 11:45
|
HS 18 |
|
| Sa 01.02.2014 |
09:00 - 12:00
|
HS 1 |
|
|
|
|
|
326.045 (2013W)
|
Linear algebra and analytic geometry 1
Further information
|
Register
|
UE |
2,00 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 07.10.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 14.10.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 21.10.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 28.10.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 04.11.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 11.11.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 18.11.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 25.11.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 02.12.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 09.12.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 16.12.2013 |
10:15 - 11:45
|
S2 053 |
|
| Mo 13.01.2014 |
10:15 - 11:45
|
S2 053 |
|
| Mo 20.01.2014 |
10:15 - 11:45
|
HS 7 |
|
| Mo 27.01.2014 |
10:15 - 11:45
|
S2 053 |
|
|
|
|
|
326.051 (2013W)
|
Linear algebra and analytic geometry 1
Further information
|
Register
|
UE |
2,00 |
Franz Binder
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 07.10.2013 |
10:15 - 11:45
|
S2 046 |
0. Übungsblatt, ohne Beurteilung |
| Mo 14.10.2013 |
10:15 - 11:45
|
S2 046 |
1. Übungsblatt |
| Mo 21.10.2013 |
10:15 - 11:45
|
S2 046 |
2. Übungsblatt |
| Mo 28.10.2013 |
10:15 - 11:45
|
S2 046 |
3. Übungsblatt |
| Mo 04.11.2013 |
10:15 - 11:45
|
S2 046 |
4. Übungsblatt |
| Mo 11.11.2013 |
10:15 - 11:45
|
S2 046 |
5. Übungsblatt |
| Mo 18.11.2013 |
10:15 - 11:45
|
S2 046 |
6. Übungsblatt |
| Mo 25.11.2013 |
10:15 - 11:45
|
HS 9 |
1. Übungsklausur, Stoff: Übungsblätter 1-6 |
| Mo 02.12.2013 |
10:15 - 11:45
|
S2 046 |
7. Übungsblatt |
| Mo 09.12.2013 |
10:15 - 11:45
|
S2 046 |
8. Übungsblatt |
| Mo 16.12.2013 |
10:15 - 11:45
|
S2 046 |
9. Übungsblatt |
| Mo 13.01.2014 |
10:15 - 11:45
|
S2 046 |
10. Übungsblatt |
| Mo 20.01.2014 |
10:15 - 11:45
|
HS 9 |
2. Übungsklausur, Stoff: Übungsblätter 7-10 |
| Mo 27.01.2014 |
10:15 - 11:45
|
S2 046 |
11. Übungsblatt |
|
|
|
|
326.073 (2013W)
|
Linear algebra and analytic geometry 1
Further information
|
Register
|
UE |
2,00 |
Wolfgang Leeb
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 07.10.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 14.10.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 21.10.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 28.10.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 04.11.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 11.11.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 18.11.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 25.11.2013 |
10:15 - 11:45
|
HS 9 |
|
| Mo 02.12.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 09.12.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 16.12.2013 |
10:15 - 11:45
|
S2 048 |
|
| Mo 13.01.2014 |
10:15 - 11:45
|
S2 048 |
|
| Mo 20.01.2014 |
10:15 - 11:45
|
HS 9 |
|
| Mo 27.01.2014 |
10:15 - 11:45
|
S2 048 |
|
|
|
|
|
326.074 (2013W)
|
Linear algebra and analytic geometry 1
Further information
|
Register
|
KO |
2,00 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 07.10.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 14.10.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 21.10.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 28.10.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 04.11.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 11.11.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 18.11.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 25.11.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 02.12.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 09.12.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 16.12.2013 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 13.01.2014 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 20.01.2014 |
13:45 - 15:15
|
HF 9904 |
|
| Mo 27.01.2014 |
13:45 - 15:15
|
HF 9904 |
|
|
|
|
|
326.092 (2013W)
|
Linear algebra and analytic geometry 1
Further information
|
Register
|
UE |
2,00 |
Burkhard Zimmermann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 07.10.2013 |
10:15 - 11:45
|
S2 219 |
|
| Mo 14.10.2013 |
10:15 - 11:45
|
S2 219 |
|
| Mo 21.10.2013 |
10:15 - 11:45
|
S2 219 |
|
| Mo 28.10.2013 |
10:15 - 11:45
|
S2 219 |
|
| Mo 04.11.2013 |
10:15 - 11:45
|
S2 219 |
|
| Mo 11.11.2013 |
10:15 - 11:45
|
S2 219 |
|
| Mo 18.11.2013 |
10:15 - 11:45
|
S2 219 |
|
| Mo 25.11.2013 |
10:15 - 11:45
|
HS 17 |
|
| Mo 02.12.2013 |
10:15 - 11:45
|
S2 219 |
|
| Fr 06.12.2013 |
13:45 - 15:15
|
MT 130 |
|
| Mo 09.12.2013 |
10:15 - 11:45
|
S2 219 |
|
| Mo 16.12.2013 |
10:15 - 11:45
|
S2 219 |
|
| Mo 13.01.2014 |
10:15 - 11:45
|
S2 219 |
|
| Mo 20.01.2014 |
10:15 - 11:45
|
HS 17 |
|
| Mo 27.01.2014 |
10:15 - 11:45
|
S2 219 |
|
| Do 30.01.2014 |
13:45 - 15:15
|
K 224B |
|
|
|
|
|
326.093 (2013W)
|
Linear algebra and analytic geometry 1
Further information
|
Register
|
UE |
2,00 |
Carsten Schneider
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 07.10.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 14.10.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 21.10.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 28.10.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 04.11.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 11.11.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 18.11.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 25.11.2013 |
10:15 - 11:45
|
K 033C |
|
| Mo 02.12.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 09.12.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 16.12.2013 |
10:15 - 11:45
|
S2 059 |
|
| Mo 13.01.2014 |
10:15 - 11:45
|
S2 059 |
|
| Mo 20.01.2014 |
10:15 - 11:45
|
HS 7 |
|
| Mo 27.01.2014 |
10:15 - 11:45
|
S2 059 |
|
|
|
|
|
342.209 (2013W)
|
Logic
Further information
|
Register
|
UE |
1,00 |
Armin Biere
Wolfgang Schreiner
Wolfgang Windsteiger
Martina Seidl
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 08.10.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 15.10.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 22.10.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 29.10.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 05.11.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 12.11.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 19.11.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 26.11.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 03.12.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 10.12.2013 |
10:15 - 11:45
|
HS 19 |
|
| Di 07.01.2014 |
10:15 - 11:45
|
HS 19 |
|
| Di 14.01.2014 |
10:15 - 11:45
|
HS 19 |
|
| Di 28.01.2014 |
10:15 - 11:45
|
HS 19 |
|
|
|
|
|
342.208 (2013W)
|
Logic
Further information
|
Register
|
VL |
2,00 |
Armin Biere
Wolfgang Schreiner
Wolfgang Windsteiger
Martina Seidl
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 01.10.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 08.10.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 15.10.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 22.10.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 29.10.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 05.11.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 12.11.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 19.11.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 26.11.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 03.12.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 10.12.2013 |
08:30 - 10:00
|
HS 19 |
|
| Di 07.01.2014 |
08:30 - 10:00
|
HS 19 |
|
| Di 14.01.2014 |
08:30 - 10:00
|
HS 19 |
|
| Do 06.02.2014 |
08:30 - 10:00
|
HS 1 |
Klausur |
|
|
|
|
326.028 (2013W)
|
Logic programming
Further information
|
Register
|
KV |
2,00 |
Teimuraz Kutsia
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 02.10.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 09.10.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 16.10.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 23.10.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 30.10.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 06.11.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 13.11.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 20.11.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 27.11.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 04.12.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 11.12.2013 |
16:15 - 18:00
|
T 212 |
|
| Mi 08.01.2014 |
16:15 - 18:00
|
T 212 |
|
| Mi 15.01.2014 |
16:15 - 18:00
|
T 212 |
|
| Mi 22.01.2014 |
16:15 - 18:00
|
T 212 |
|
| Mi 29.01.2014 |
16:15 - 18:00
|
T 212 |
|
|
|
|
|
326.000 (2013W)
|
Seminar for graduate and doctoral students
Winter Semester 13
Further information
|
Register
|
SE |
2,00 |
Peter Paule
|
Weekly
|
| |
|
|
|
326.012 (2013W)
|
Seminar for graduate and doctoral students
Winter Semester 13
Further information
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
| |
|
|
|
326.013 (2013W)
|
Seminar for graduate and doctoral students
Winter Semester 13
|
Register
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
|
Weekly
|
| |
|
|
|
326.700 (2013W)
|
Mathematics and Logic
Further information
|
Register
|
VO |
3,00 |
Veronika Elisabeth Pillwein
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 04.10.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 08.10.2013 |
16:15 - 17:00
|
HS 9 |
|
| Fr 11.10.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 15.10.2013 |
16:15 - 17:00
|
HS 9 |
|
| Fr 18.10.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 22.10.2013 |
16:15 - 17:00
|
HS 9 |
|
| Fr 25.10.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 29.10.2013 |
16:15 - 17:00
|
HS 9 |
|
| Di 05.11.2013 |
16:15 - 17:00
|
HS 9 |
|
| Fr 08.11.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 12.11.2013 |
16:15 - 17:00
|
HS 9 |
|
| Fr 15.11.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 19.11.2013 |
16:15 - 17:00
|
HS 9 |
|
| Fr 22.11.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 26.11.2013 |
16:15 - 17:00
|
HS 9 |
|
| Fr 29.11.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 03.12.2013 |
16:15 - 17:00
|
HS 9 |
|
| Fr 06.12.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 10.12.2013 |
16:15 - 17:00
|
HS 9 |
|
| Fr 13.12.2013 |
13:45 - 15:15
|
HS 9 |
|
| Di 07.01.2014 |
16:15 - 17:00
|
HS 9 |
|
| Fr 10.01.2014 |
13:45 - 15:15
|
HS 9 |
|
| Di 14.01.2014 |
16:15 - 17:00
|
HS 9 |
|
| Fr 17.01.2014 |
13:45 - 15:15
|
HS 9 |
|
| Di 21.01.2014 |
16:15 - 17:00
|
HS 9 |
|
| Fr 24.01.2014 |
13:45 - 15:15
|
HS 9 |
|
| Di 28.01.2014 |
16:15 - 17:00
|
HS 9 |
|
| Fr 31.01.2014 |
13:45 - 15:15
|
HS 9 |
|
| Fr 07.02.2014 |
14:00 - 16:00
|
HS 16 |
|
|
|
|
|
326.701 (2013W)
|
Mathematics and Logic
Further information
|
Register
|
UE |
1,00 |
Veronika Elisabeth Pillwein
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 08.10.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 15.10.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 22.10.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 29.10.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 05.11.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 12.11.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 19.11.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 26.11.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 03.12.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 10.12.2013 |
15:30 - 16:15
|
HS 9 |
|
| Di 07.01.2014 |
15:30 - 16:15
|
HS 9 |
|
| Di 14.01.2014 |
15:30 - 16:15
|
HS 9 |
|
| Di 21.01.2014 |
15:30 - 16:15
|
HS 9 |
|
| Di 28.01.2014 |
15:30 - 16:15
|
HS 9 |
|
|
|
|
|
326.702 (2013W)
|
Mathematics and Logic
Further information
|
Register
|
UE |
1,00 |
Richard Lechner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 01.10.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 08.10.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 15.10.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 22.10.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 29.10.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 05.11.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 12.11.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 19.11.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 26.11.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 03.12.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 10.12.2013 |
17:15 - 18:00
|
HS 3 |
|
| Di 07.01.2014 |
17:15 - 18:00
|
HS 3 |
|
| Di 14.01.2014 |
17:15 - 18:00
|
HS 3 |
|
| Di 21.01.2014 |
17:15 - 18:00
|
HS 3 |
|
| Di 28.01.2014 |
17:15 - 18:00
|
HS 3 |
|
|
|
|
|
326.019 (2013W)
|
Mathematical logic 1
Further information
|
Register
|
VO |
4,00 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 10.10.2013 |
08:30 - 11:45
|
HS 11 |
|
| Do 17.10.2013 |
08:30 - 11:45
|
HS 11 |
|
| Do 07.11.2013 |
08:30 - 11:45
|
HS 11 |
|
| Do 14.11.2013 |
08:30 - 11:45
|
HS 11 |
|
| Do 21.11.2013 |
08:30 - 11:45
|
HS 11 |
|
| Do 28.11.2013 |
08:30 - 11:45
|
HS 11 |
|
| Do 05.12.2013 |
08:30 - 11:45
|
HS 11 |
|
| Do 12.12.2013 |
08:30 - 11:45
|
HS 11 |
|
| Do 09.01.2014 |
08:30 - 11:45
|
HS 11 |
|
| Do 16.01.2014 |
08:30 - 11:45
|
HS 11 |
|
| Do 23.01.2014 |
08:30 - 11:45
|
HS 11 |
|
| Do 30.01.2014 |
08:30 - 11:45
|
HS 11 |
|
|
|
|
|
326.021 (2013W)
|
Mathematical logic 1
Further information
|
Register
|
UE |
1,00 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 10.10.2013 |
12:00 - 12:45
|
HS 11 |
|
| Do 17.10.2013 |
12:00 - 12:45
|
HS 11 |
|
| Do 07.11.2013 |
12:00 - 12:45
|
HS 11 |
|
| Do 14.11.2013 |
12:00 - 12:45
|
HS 11 |
|
| Do 21.11.2013 |
12:00 - 12:45
|
HS 11 |
|
| Do 28.11.2013 |
12:00 - 12:45
|
HS 11 |
|
| Do 05.12.2013 |
12:00 - 12:45
|
HS 11 |
|
| Do 12.12.2013 |
12:00 - 12:45
|
HS 11 |
|
| Do 09.01.2014 |
12:00 - 12:45
|
HS 11 |
|
| Do 16.01.2014 |
12:00 - 12:45
|
HS 11 |
|
| Do 23.01.2014 |
12:00 - 12:45
|
HS 11 |
|
| Do 30.01.2014 |
12:00 - 12:45
|
HS 11 |
|
|
|
|
|
326.049 (2013W)
|
Programming project symbolic computation
Computer algebra, Logic and Softwaredesign I
Further information
|
Register
|
KV |
2,00 |
Ralf Hemmecke
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 07.10.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 14.10.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 21.10.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 28.10.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 04.11.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 11.11.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 18.11.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 25.11.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 02.12.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 09.12.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 16.12.2013 |
12:00 - 13:30
|
HA 105 |
|
| Mo 13.01.2014 |
12:00 - 13:30
|
HA 105 |
|
| Mo 20.01.2014 |
12:00 - 13:30
|
HA 105 |
|
| Mo 27.01.2014 |
12:00 - 13:30
|
HA 105 |
|
|
|
|
|
326.061 (2013W)
|
Seminar logic and software design
Automated theorem proving I: Theorema: Autom. Reasoning in Natural Style (Winter Semester 12)
Further information
|
Register
|
SE |
2,00 |
Bruno Buchberger
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 02.10.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 09.10.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 16.10.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 23.10.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 30.10.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 06.11.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 13.11.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 20.11.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 27.11.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 04.12.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 11.12.2013 |
11:00 - 12:30
|
HA 105 |
|
| Mi 08.01.2014 |
11:00 - 12:30
|
HA 105 |
|
| Mi 15.01.2014 |
11:00 - 12:30
|
HA 105 |
|
| Mi 22.01.2014 |
11:00 - 12:30
|
HA 105 |
|
| Mi 29.01.2014 |
11:00 - 12:30
|
HA 105 |
|
|
|
|
|
326.063 (2013W)
|
Seminar logic and software design
Project seminar Formal Methods I
Further information
|
Register
|
SE |
2,00 |
Wolfgang Schreiner
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 02.10.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 09.10.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 16.10.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 23.10.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 30.10.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 06.11.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 13.11.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 20.11.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 27.11.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 04.12.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 11.12.2013 |
12:30 - 14:00
|
HA 105 |
|
| Mi 08.01.2014 |
12:30 - 14:00
|
HA 105 |
|
| Mi 15.01.2014 |
12:30 - 14:00
|
HA 105 |
|
| Mi 22.01.2014 |
12:30 - 14:00
|
HA 105 |
|
| Mi 29.01.2014 |
12:30 - 14:00
|
HA 105 |
|
|
|
|
|
326.083 (2013W)
|
Seminar logic and software design
Set Theory and Logical Foundations I
Further information
|
Register
|
SE |
2,00 |
Heinrich Rolletschek
|
Weekly
|
| |
|
|
|
326.064 (2013W)
|
Seminar symbolic computation
Project seminar Algorithmic Combinatorics I
Further information
|
Register
|
SE |
2,00 |
Peter Paule
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 02.10.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 09.10.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 16.10.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 23.10.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 30.10.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 06.11.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 13.11.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 20.11.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 27.11.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 04.12.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 11.12.2013 |
14:00 - 15:30
|
HA 105 |
|
| Mi 08.01.2014 |
14:00 - 15:30
|
HA 105 |
|
| Mi 15.01.2014 |
14:00 - 15:30
|
HA 105 |
|
| Mi 22.01.2014 |
14:00 - 15:30
|
HA 105 |
|
| Mi 29.01.2014 |
14:00 - 15:30
|
HA 105 |
|
|
|
|
|
326.067 (2013W)
|
Seminar symbolic computation
Symbolic Summation for Particle Physics
|
Register
|
SE |
2,00 |
Carsten Schneider
|
Weekly
|
| |
|
|
|
326.069 (2013W)
|
Seminar symbolic computation
Computer-Algebra I
Further information
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 03.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 10.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 17.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 24.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 31.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 07.11.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 14.11.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 21.11.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 28.11.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 05.12.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 12.12.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 09.01.2014 |
14:30 - 16:00
|
HA 105 |
|
| Do 16.01.2014 |
14:30 - 16:00
|
HA 105 |
|
| Do 23.01.2014 |
14:30 - 16:00
|
HA 105 |
|
| Do 30.01.2014 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.085 (2013W)
|
Seminar symbolic computation
Projectseminar Computer-algebra I
Further information
|
Register
|
SE |
2,00 |
Franz Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 03.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 10.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 17.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 24.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 31.10.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 07.11.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 14.11.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 21.11.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 28.11.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 05.12.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 12.12.2013 |
14:30 - 16:00
|
HA 105 |
|
| Do 09.01.2014 |
14:30 - 16:00
|
HA 105 |
|
| Do 16.01.2014 |
14:30 - 16:00
|
HA 105 |
|
| Do 23.01.2014 |
14:30 - 16:00
|
HA 105 |
|
| Do 30.01.2014 |
14:30 - 16:00
|
HA 105 |
|
|
|
|
|
326.087 (2013W)
|
Special Topics
Chess Programming
Further information
|
Register
|
VL |
2,00 |
Heinrich Rolletschek
Stephan Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 09.10.2013 |
16:15 - 19:45
|
KG 519 |
|
| Mi 23.10.2013 |
16:15 - 19:45
|
HF 9915 |
|
| Mi 06.11.2013 |
16:15 - 19:45
|
KG 519 |
|
| Mi 13.11.2013 |
17:15 - 19:45
|
KG 519 |
|
| Mi 20.11.2013 |
16:15 - 19:45
|
HF 9915 |
|
| Mi 27.11.2013 |
16:15 - 19:45
|
KG 519 |
|
| Mi 11.12.2013 |
16:15 - 19:45
|
HF 9915 |
|
| Mi 15.01.2014 |
16:15 - 19:45
|
KG 519 |
|
| Mi 22.01.2014 |
16:15 - 19:45
|
HF 9915 |
|
| Mo 03.02.2014 |
10:15 - 11:45
|
K 012D |
|
|
|
|
|
326.088 (2013W)
|
Special Topics
Formal Languages and Formal Grammars II
Further information
|
Register
|
VL |
2,00 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 03.10.2013 |
14:30 - 16:15
|
T 642 |
|
| Do 10.10.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 17.10.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 24.10.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 31.10.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 07.11.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 14.11.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 21.11.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 28.11.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 05.12.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 12.12.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 09.01.2014 |
17:15 - 18:45
|
S2 219 |
|
| Do 16.01.2014 |
17:15 - 18:45
|
S2 219 |
|
| Do 23.01.2014 |
17:15 - 18:45
|
S2 219 |
|
| Do 30.01.2014 |
17:15 - 18:45
|
S2 219 |
|
|
|
|
|
326.025 (2013W)
|
Special topics logic and software design
Formal Languages and Formal Grammars II
Further information
|
Register
|
VL |
2,00 |
Nikolaj Popov
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Do 03.10.2013 |
14:30 - 16:15
|
T 642 |
|
| Do 10.10.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 17.10.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 24.10.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 31.10.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 07.11.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 14.11.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 21.11.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 28.11.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 05.12.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 12.12.2013 |
17:15 - 18:45
|
S2 219 |
|
| Do 09.01.2014 |
17:15 - 18:45
|
S2 219 |
|
| Do 16.01.2014 |
17:15 - 18:45
|
S2 219 |
|
| Do 23.01.2014 |
17:15 - 18:45
|
S2 219 |
|
| Do 30.01.2014 |
17:15 - 18:45
|
S2 219 |
|
|
|
|
|
326.078 (2013W)
|
Special topics logic and software design
Chess Programming
Further information
|
Register
|
VL |
2,00 |
Heinrich Rolletschek
Stephan Winkler
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 09.10.2013 |
16:15 - 19:45
|
KG 519 |
|
| Mi 23.10.2013 |
16:15 - 19:45
|
HF 9915 |
|
| Mi 06.11.2013 |
16:15 - 19:45
|
KG 519 |
|
| Mi 13.11.2013 |
17:15 - 19:45
|
KG 519 |
|
| Mi 20.11.2013 |
16:15 - 19:45
|
HF 9915 |
|
| Mi 27.11.2013 |
16:15 - 19:45
|
KG 519 |
|
| Mi 11.12.2013 |
16:15 - 19:45
|
HF 9915 |
|
| Mi 15.01.2014 |
16:15 - 19:45
|
KG 519 |
|
| Mi 22.01.2014 |
16:15 - 19:45
|
HF 9915 |
|
| Mo 03.02.2014 |
10:15 - 11:45
|
K 012D |
|
|
|
|
|
326.0LS (2013W)
|
Special topics logic and software design
Logic-based Program Verification
Further information
|
Register
|
VL |
2,00 |
Tudor Jebelean
Madalina Erascu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 02.10.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 09.10.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 16.10.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 23.10.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 30.10.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 06.11.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 13.11.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 20.11.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 27.11.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 04.12.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 11.12.2013 |
08:30 - 10:00
|
S2 054 |
|
| Mi 08.01.2014 |
08:30 - 10:00
|
S2 054 |
|
| Mi 15.01.2014 |
08:30 - 10:00
|
S2 054 |
|
| Mi 22.01.2014 |
08:30 - 10:00
|
S2 054 |
|
| Mi 29.01.2014 |
08:30 - 10:00
|
S2 054 |
|
|
|
|
|
326.032 (2013W)
|
Special Topics symbolic computation
Homological Algebra
Further information
|
Register
|
VL |
2,00 |
Günter Landsmann
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Di 08.10.2013 |
11:00 - 12:45
|
S2 046 |
|
| Mo 14.10.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 21.10.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 28.10.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 04.11.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 11.11.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 18.11.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 25.11.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 02.12.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 09.12.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 16.12.2013 |
12:00 - 13:30
|
KG 519 |
|
| Mo 13.01.2014 |
12:00 - 13:30
|
KG 519 |
|
| Mo 20.01.2014 |
12:00 - 13:30
|
KG 519 |
|
| Mo 27.01.2014 |
12:00 - 13:30
|
KG 519 |
|
|
|
|
|
326.075 (2013W)
|
Special Topics symbolic computation
Symbolic Summation and Special Functions I (Winter Semester 13)
Further information
|
Register
|
VL |
2,00 |
Silviu Radu
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Mi 02.10.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 09.10.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 16.10.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 23.10.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 30.10.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 06.11.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 13.11.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 20.11.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 27.11.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 04.12.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 11.12.2013 |
16:15 - 18:00
|
HA 105 |
|
| Mi 08.01.2014 |
16:15 - 18:00
|
HA 105 |
|
| Mi 15.01.2014 |
16:15 - 18:00
|
HA 105 |
|
| Mi 22.01.2014 |
16:15 - 18:00
|
HA 105 |
|
| Mi 29.01.2014 |
16:15 - 18:00
|
HA 105 |
|
|
|
|
|
326.082 (2013W)
|
Special Topics symbolic computation
Parallel Algorithms in Symbolic Computation
Further information
|
Register
|
VL |
2,00 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 11.10.2013 |
10:15 - 11:45
|
KG 712 |
|
| Fr 08.11.2013 |
10:15 - 11:45
|
KG 712 |
|
| Fr 15.11.2013 |
10:15 - 11:45
|
KG 712 |
|
| Fr 22.11.2013 |
10:15 - 11:45
|
KG 712 |
|
| Fr 29.11.2013 |
10:15 - 11:45
|
KG 712 |
|
| Fr 06.12.2013 |
10:15 - 11:45
|
KG 712 |
|
| Fr 13.12.2013 |
10:15 - 11:45
|
KG 712 |
|
| Fr 10.01.2014 |
10:15 - 11:45
|
KG 712 |
|
| Fr 17.01.2014 |
10:15 - 11:45
|
KG 712 |
|
| Fr 24.01.2014 |
10:15 - 11:45
|
KG 712 |
|
| Fr 31.01.2014 |
10:15 - 11:45
|
KG 712 |
|
|
|
|
|
326.057 (2013W)
|
Thinking, Speaking, Writing
Understanding and Creating Mathematical Proofs
Further information
|
Register
|
VO |
2,00 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 11.10.2013 |
14:30 - 16:15
|
KG 519 |
|
| Fr 08.11.2013 |
14:30 - 16:15
|
KG 519 |
|
| Fr 15.11.2013 |
14:30 - 16:15
|
KG 519 |
|
| Fr 22.11.2013 |
14:30 - 16:15
|
KG 519 |
|
| Fr 29.11.2013 |
14:30 - 16:15
|
KG 519 |
|
| Fr 06.12.2013 |
14:30 - 16:15
|
KG 519 |
|
| Fr 13.12.2013 |
14:30 - 16:15
|
KG 519 |
|
| Fr 10.01.2014 |
14:30 - 16:15
|
KG 519 |
|
| Fr 17.01.2014 |
14:30 - 16:15
|
KG 519 |
|
| Fr 24.01.2014 |
14:30 - 16:15
|
KG 519 |
|
| Fr 31.01.2014 |
14:30 - 16:15
|
KG 519 |
|
|
|
|
|
326.066 (2013W)
|
Thinking, Speaking, Writing
Communication of Scientific Results
Further information
|
Register
|
VO |
2,00 |
Tudor Jebelean
|
Weekly
|
| |
| Date |
Daytime |
Room |
Topic |
| Fr 11.10.2013 |
12:45 - 14:30
|
KG 519 |
|
| Fr 08.11.2013 |
12:45 - 14:30
|
KG 519 |
|
| Fr 15.11.2013 |
12:45 - 14:30
|
KG 519 |
|
| Fr 22.11.2013 |
12:45 - 14:30
|
KG 519 |
|
| Fr 29.11.2013 |
12:45 - 14:30
|
KG 519 |
|
| Fr 06.12.2013 |
12:45 - 14:30
|
KG 519 |
|
| Fr 13.12.2013 |
12:45 - 14:30
|
KG 519 |
|
| Fr 10.01.2014 |
12:45 - 14:30
|
KG 519 |
|
| Fr 17.01.2014 |
12:45 - 14:30
|
KG 519 |
|
| Fr 24.01.2014 |
12:45 - 14:30
|
KG 519 |
|
| Fr 31.01.2014 |
12:45 - 14:30
|
KG 519 |
|
|
|
|
|
326.071 (2013W)
|
Preparatory course mathematics for first-year students of Business Informatics
Further information
|
Register
|
VK |
2,00 |
Veronika Elisabeth Pillwein
|
Block
|
| |
| Date |
Daytime |
Room |
Topic |
| Mo 16.09.2013 |
09:00 - 12:30
|
HS 13 |
|
| Mo 16.09.2013 |
13:30 - 15:00
|
HS 13 |
|
| Di 17.09.2013 |
09:00 - 12:30
|
HS 13 |
|
| Di 17.09.2013 |
13:30 - 15:00
|
HS 13 |
|
| Mi 18.09.2013 |
09:00 - 12:30
|
HS 13 |
|
| Mi 18.09.2013 |
13:30 - 15:00
|
HS 13 |
|
| Do 19.09.2013 |
09:00 - 12:30
|
HS 13 |
|
| Do 19.09.2013 |
13:30 - 15:00
|
HS 13 |
|
| Fr 20.09.2013 |
09:00 - 12:30
|
HS 13 |
|
|
|
|
