703007 VO Introduction to Theoretical Computer Science
winter semester 2020/2021 | Last update: 16.09.2021 | Place course on memo listGraduates 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.
Propositional logic, Boolean algebra, grammars, Chomsky-hierarchy, formal languages, computabilty, Turing machines, counter machines, complexity theory, programm verification
Lecture, assessment is based on a single examination at the end of the course.
Written exam.
Lecture Notes.
Pointers to further literature will be provided in the OLAT course
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
- Interdisciplinary and additional courses
Group 0
|
||||
---|---|---|---|---|
Moser G. | ||||
Date | Time | Location | ||
Fri 2020-10-09
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2020-10-15
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2020-10-16
|
17.00 - 18.15 | dVs dVs | ||
Thu 2020-10-22
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-10-23
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-10-29
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-10-30
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2020-11-05
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2020-11-06
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2020-11-12
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2020-11-13
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2020-11-19
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2020-11-20
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2020-11-26
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2020-11-27
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2020-12-03
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2020-12-04
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2020-12-10
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2020-12-11
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2020-12-17
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2020-12-18
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2021-01-07
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2021-01-08
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2021-01-14
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2021-01-15
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2021-01-21
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2021-01-22
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Thu 2021-01-28
|
17.15 - 18.00 | HS A (Technik) HS A (Technik) | Barrier-free | TUTORIUM |
Fri 2021-01-29
|
10.15 - 12.00 | HS A (Technik) HS A (Technik) | Barrier-free | |
Group 1
|
||||
Moser G. | ||||
Date | Time | Location | ||
Fri 2020-10-09
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-10-15
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Thu 2020-10-22
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-10-23
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-10-29
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-10-30
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-11-05
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-11-06
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-11-12
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-11-13
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-11-19
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-11-20
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-11-26
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-11-27
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-12-03
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-12-04
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-12-10
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-12-11
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2020-12-17
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2020-12-18
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2021-01-07
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2021-01-08
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2021-01-14
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2021-01-15
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2021-01-21
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2021-01-22
|
10.15 - 12.00 | eLecture - online eLecture - online | ||
Thu 2021-01-28
|
17.15 - 18.00 | eLecture - online eLecture - online | TUTORIUM | |
Fri 2021-01-29
|
10.15 - 12.00 | eLecture - online eLecture - online |