703062 SL Introduction to Theoretical Computer Science
winter semester 2023/2024 | Last update: 06.12.2024 | Place course on memo listJames Robyn Elliot Fox James Robyn Elliot Fox
Samuel Frontull, BSc MSc Samuel Frontull, BSc MSc, +43 512 507 53497
Jamie Hochrainer, BSc Jamie Hochrainer, BSc
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
Johannes Niederhauser, MSc Johannes Niederhauser, MSc
Graduates of this modules understand the notion of computability theory and various abstract computational models as well as their differences. Furthermore they can reduce information to its essentials and represent the information abstractly. Moreover the are capable of given formal proofs.
Discussion, practice the topics of the lecture, practice scientific argumentation and present topics of theoretical computer science
Continuous assessment (based on regular written and/or oral contribution by participants).
Course examination according to § 6, statute section on "study-law regulations"
Will be discussed in the first lesson.
The Indroduction and Orientation Phase for Students (StEOP) as of Winter Semester 2019/2020:
During the Indroduction and Orientation Phase for Students, the following course examinations must be completed satisfactorily:
1. Introduction to Programming VO 3 (4,5 ECTS-Credits)
2. Introduction to Theoretical Computer Science VO 2 (3 ECTS-Credits)
3. Introduction to Theoretical Computer Science SL 1 (2 ECTS-Credits)
Further information are available here.
- Faculty of Mathematics, Computer Science and Physics
- Faculty of Teacher Education
- SDG 4 - Quality education: Ensure inclusive and equitable quality education and promote lifelong learning opportunities for all.
- SDG 9 - Industry, Innovation, and Infrastructure: Build resilient infrastructure, promote inclusive and sustainable industrialization, and foster innovation.
Group 1
|
||||
---|---|---|---|---|
Hochrainer J. | ||||
Date | Time | Location | ||
Fri 2023-10-20
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-10-27
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-03
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-10
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-17
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-24
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-12-01
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-12-15
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-12
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-19
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-26
|
12.15 - 13.00 | SR 13 SR 13 | Barrier-free | |
Group 2
|
||||
Hochrainer J. | ||||
Date | Time | Location | ||
Fri 2023-10-20
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-10-27
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-03
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-10
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-17
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-24
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-12-01
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-12-15
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-12
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-19
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-26
|
13.15 - 14.00 | SR 13 SR 13 | Barrier-free | |
Group 3
|
||||
Niederhauser J. | ||||
Date | Time | Location | ||
Fri 2023-10-20
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-10-27
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-03
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-10
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-17
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-24
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-12-01
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-12-15
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-12
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-19
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-26
|
14.15 - 15.00 | SR 13 SR 13 | Barrier-free | |
Group 4
|
||||
Niederhauser J. | ||||
Date | Time | Location | ||
Fri 2023-10-20
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-10-27
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-03
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-10
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-17
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-11-24
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-12-01
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2023-12-15
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-12
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-19
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Fri 2024-01-26
|
15.15 - 16.00 | SR 13 SR 13 | Barrier-free | |
Group 5
|
||||
Fox J. | ||||
Date | Time | Location | ||
Fri 2023-10-20
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-10-27
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-11-03
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-11-10
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-11-17
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-11-24
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-12-01
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-12-15
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2024-01-12
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2024-01-19
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Fri 2024-01-26
|
12.15 - 13.00 | HS 11 HS 11 | Barrier-free | |
Group 6
|
||||
Fox J. | ||||
Date | Time | Location | ||
Fri 2023-10-20
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-10-27
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-11-03
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-11-10
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-11-17
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-11-24
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-12-01
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2023-12-15
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2024-01-12
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2024-01-19
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Fri 2024-01-26
|
13.15 - 14.00 | HS 11 HS 11 | Barrier-free | |
Group 7
|
||||
Frontull S. | ||||
Date | Time | Location | ||
Fri 2023-10-20
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2023-10-27
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2023-11-03
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2023-11-10
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2023-11-17
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2023-11-24
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2023-12-01
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2023-12-15
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2024-01-12
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2024-01-19
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Fri 2024-01-26
|
12.15 - 13.00 | HSB 6 HSB 6 | Barrier-free | |
Group 8
|
||||
Eberl M. | ||||
Date | Time | Location | ||
Fri 2023-10-20
|
15.00 - 16.00 | HSB 8 HSB 8 | Barrier-free | |
Fri 2023-10-27
|
15.00 - 16.00 | HSB 8 HSB 8 | Barrier-free | |
Fri 2023-11-03
|
13.30 - 14.15 | HSB 8 HSB 8 | Barrier-free | |
Fri 2023-11-10
|
13.30 - 14.15 | HSB 8 HSB 8 | Barrier-free | |
Fri 2023-11-17
|
13.30 - 14.15 | HSB 8 HSB 8 | Barrier-free | |
Fri 2023-11-24
|
13.30 - 14.15 | HSB 8 HSB 8 | Barrier-free | |
Fri 2023-12-01
|
13.30 - 14.15 | HS 10 HS 10 | Barrier-free | |
Fri 2023-12-15
|
13.30 - 14.15 | HSB 8 HSB 8 | Barrier-free | |
Fri 2024-01-12
|
13.30 - 14.15 | HSB 8 HSB 8 | Barrier-free | |
Fri 2024-01-19
|
13.30 - 14.15 | HSB 8 HSB 8 | Barrier-free | |
Fri 2024-01-26
|
13.30 - 14.15 | HSB 8 HSB 8 | Barrier-free | |
Group 9
|
||||
Moser G. | ||||
Date | Time | Location | ||
Fri 2023-10-20
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2023-10-27
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2023-11-03
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2023-11-10
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2023-11-17
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2023-11-24
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2023-12-01
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2023-12-15
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2024-01-12
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2024-01-19
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free | |
Fri 2024-01-26
|
12.15 - 13.00 | SR 12 SR 12 | Barrier-free |