703007 VO Introduction to Theoretical Computer Science
summer semester 2024 | Last update: 19.08.2024 | 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, circuits, grammars, Chomsky-hierarchy, formal models, computabilty, equational logic, programm verification
The lecture is given as online course with recorded lecture videos and a moderated discussion forum in OLAT.
Written exam.
Lecture Notes.
Pointers to further literature will be provided at the course page.
During the Indroduction and Orientation Phase for Students (StEOP), the following course examinations must be positively completed:
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)
- Faculty of Teacher Education
- Faculty of Mathematics, Computer Science and Physics
- 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 0
|
||||
---|---|---|---|---|
Date | Time | Location | ||
Fri 2024-06-28
|
12.00 - 14.00 | HSB 2 HSB 2 | Barrier-free | 1. Klausur |
Fri 2024-06-28
|
12.00 - 14.00 | HSB 1 HSB 1 | Barrier-free | 1. Klausur |
Fri 2024-09-27
|
10.00 - 12.00 | HS D (Technik) HS D (Technik) | Barrier-free | 2. Klausur |
Group | Booking period | Date of exam | |
---|---|---|---|
703007-0 | 2024-08-15 00:00 - 2024-09-13 23:59 |
2024-09-27
10:00-12:00
HS D
|
|
Note: 2te Klausur |
Moser G. |