Computability and Complexity Theory (VL + GÜ) |
Untertitel: |
Diese Lehrveranstaltung ist Teil des Moduls: Berechenbarkeit und Komplexität |
DozentIn: |
|
Veranstaltungsart: |
Lecture + Tutorials |
Veranstaltungstyp: |
Vorlesung (Lehre) |
Beschreibung: |
This course focuses on limitations of computation. |
Ort: |
(A - 1.19): Mo. 08:00 - 09:30 (13x),
(M - 3550): Mo. 15:00 - 16:30 (13x),
(D - 1.023): Di. 13:15 - 14:45 (13x),
(A - 0.10): Di. 13:15 - 14:45 (13x),
(K - 0506): Fr. 13:15 - 14:45 (14x)
Fr. 14:45 - 15:45 (14x) |
Semester: |
SoSe 24 |
Zeiten: |
Mo. 08:00 - 09:30 (wöchentlich) - Gruppenübung 1,
Mo. 15:00 - 16:30 (wöchentlich) - Gruppenübung 2,
Di. 13:15 - 14:45 (wöchentlich) - Gruppenübung 3,
Di. 13:15 - 14:45 (wöchentlich) - Gruppenübung 4,
Fr. 13:15 - 14:45 (wöchentlich) - Vorlesung,
Fr. 14:45 - 15:45 (wöchentlich) - Office hour/Sprechstunde, same room as lecture (K - 0506) Erster Termin:Freitag, 05.04.2024 13:15 - 14:45, Ort: (K - 0506) |
Veranstaltungsnummer: |
lv166_s24 |
Voraussetzungen: |
Recommended: Discrete Algebraic Structures + Automata Theory, Logic, and Formal Language Theory |
Lernorganisation: |
Lecture + Tutorial classes |
Leistungsnachweis: |
Computability and Complexity Theory: written exam
There is the possibility to collect bonus point for the exam by solving problem sheets. |
Sonstiges: |
The lecture roughly follows the relevant chapters from the book "Theory of Computation" by M. Sipser |
ECTS-Kreditpunkte: |
6 |