Complexity Theory
Aus International Center for Computational Logic
Complexity Theory
Lehrveranstaltung mit SWS 0/0/0 (Vorlesung/Übung/Praktikum) in WS 2019
Uh
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | Introduction | DS2, 15. Oktober 2019 in APB E005 | Datei 1, Datei 2 |
| Übung | Mathematical Foundations, Decidability, and Recognisability | DS3, 16. Oktober 2019 in APB E005 | Datei |
| Vorlesung | Turing Machines and Languages | DS2, 21. Oktober 2019 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | Undecidability | DS2, 22. Oktober 2019 in APB E005 | Datei 1, Datei 2 |
| Übung | Undecidability and Rice's Theorem | DS3, 23. Oktober 2019 in APB E005 | Datei |
| Vorlesung | Undecidability and Recursion | DS2, 28. Oktober 2019 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | Time Complexity and Polynomial Time | DS2, 29. Oktober 2019 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | NP | DS3, 30. Oktober 2019 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | NP-Completeness | DS2, 4. November 2019 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | NP-Complete Problems | DS2, 5. November 2019 in APB E005 | Datei 1, Datei 2 |
| Übung | Time Complexity, PTime, and NP | DS2, 11. November 2019 in APB E008 | Datei |
| Vorlesung | Space Complexity | DS2, 12. November 2019 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Polynomial Space | DS2, 18. November 2019 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | Games/Logarithmic Space | DS2, 19. November 2019 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | The Time Hierarchy Theorem | DS2, 25. November 2019 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | Space Hierarchy and Gaps | DS2, 26. November 2019 in APB E005 | Datei 1, Datei 2 |
| Übung | NP-Completeness and Time Complexity | DS3, 27. November 2019 in APB E005 | Datei |
| Vorlesung | P vs. NP: Ladner's Theorem | DS2, 2. Dezember 2019 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | P vs. NP and Diagonalisation | DS2, 3. Dezember 2019 in APB E005 | Datei 1, Datei 2 |
| Übung | Space Complexity | DS3, 4. Dezember 2019 in APB E005 | Datei |
| Vorlesung | Alternation | DS2, 9. Dezember 2019 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | The Polynomial Hierarchy | DS2, 10. Dezember 2019 in APB E005 | Datei 1, Datei 2 |
| Übung | Diagonalisation | DS3, 11. Dezember 2019 in APB E005 | Datei |
| Vorlesung | Questions and Answers | DS2, 16. Dezember 2019 in APB E008 | Datei 1, Datei 2 |
| Übung | Diagonalisation and Alternation | DS2, 17. Dezember 2019 in APB E005 | Datei |
| Übung | --- | DS3, 18. Dezember 2019 in APB E005 | |
| Vorlesung | Circuit Complexity | DS2, 6. Januar 2020 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | Circuits for Parallel Computation | DS2, 7. Januar 2020 in APB E005 | Datei 1, Datei 2 |
| Übung | Alternation and the Polynomial Hierarchy | DS3, 8. Januar 2020 in APB E005 | Datei |
| Vorlesung | Probabilistic Turing Machines | DS2, 13. Januar 2020 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | Probabilistic Complexity Classes (1) | DS2, 14. Januar 2020 in APB E005 | Datei 1, Datei 2 |
| Übung | Circuit Complexity | DS3, 15. Januar 2020 in APB E005 | Datei |
| Vorlesung | Probabilistic Complexity Classes (2) | DS2, 20. Januar 2020 in APB E008 | Datei 1, Datei 2 |
| Vorlesung | Quantum Computing (1) | DS2, 21. Januar 2020 in APB E005 | Datei 1, Datei 2 |
| Übung | Probabilistic TMs and ComplexityClasses | DS3, 22. Januar 2020 in APB E005 | Datei |
| Vorlesung | Quantum Computing (2) | DS2, 27. Januar 2020 in APB E008 | Datei 1, Datei 2 |
| Entfällt | (no lecture) | DS2, 28. Januar 2020 in APB E005 | |
| Vorlesung | Interactive Proof Systems | DS2, 3. Februar 2020 in APB E005 | Datei 1, Datei 2 |
| Vorlesung | Summary, Outlook, Consultation | DS2, 4. Februar 2020 in APB E005 | |
| Übung | Probabilistic Complexity Classes (3) | DS3, 5. Februar 2020 in APB E005 | Datei |
Kalender
