Formale Systeme
Aus International Center for Computational Logic
Formale Systeme
Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in WS 2024
Dozent
Tutor
Umfang (SWS)
- 4/2/0
Module
Leistungskontrolle
- Klausur
Vorlesungsreihe
Die Lehrveranstaltung Formale Systeme vermittelt eine Einleitung in die Gebiete der formalen Sprachen, Automatentheorie und Aussagenlogik. Dies beinhaltet einige der wichtigsten Grundlagen der Informatik, wie z.B. reguläre Ausdrücke, formale Grammatiken sowie Methoden zur praktischen Lösung von "schweren" (NP-vollständigen) Problemen. Damit bildet die Vorlesung die Grundlage für die Vorlesung Theoretische Informatik und Logik und für viele vertiefende Vorlesungen.
Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | 1. Formale Sprachen | DS3, 14. Oktober 2024 in BAR/SCHÖ | Datei |
| Vorlesung | 2. Grammatiken und die Chomsky-Hierarchie | DS4, 17. Oktober 2024 in HSZ/0003 | Datei |
| Vorlesung | 3. Endliche Automaten | DS3, 21. Oktober 2024 in BAR/SCHÖ | Datei |
| Vorlesung | 4. Nichtdeterministische Endliche Automaten | DS4, 24. Oktober 2024 in HSZ/0003 | Datei |
| Vorlesung | 5. Abschlusseigenschaften regulärer Sprachen | DS3, 28. Oktober 2024 in BAR/SCHÖ | Datei |
| Entfällt | Reformationstag | ||
| Entfällt | Keine Vorlesung | DS3, 4. November 2024 in -- | |
| Entfällt | Keine Vorlesung | DS4, 7. November 2024 in -- | |
| Vorlesung | 6. Reguläre Ausdrücke | DS3, 11. November 2024 in BAR/SCHÖ | Datei |
| Vorlesung | 7. Reguläre Ausdrücke (2) | DS4, 14. November 2024 in HSZ/0003 | Datei |
| Vorlesung | 8. Minimale Automaten | DS3, 18. November 2024 in BAR/SCHÖ | Datei |
| Vorlesung | 9. Minimale Automaten (2) | DS4, 21. November 2024 in HSZ/0003 | Datei |
| Vorlesung | 10. Grenzen regulärer Sprachen / Probleme regulärer Sprachen | DS3, 25. November 2024 in BAR/SCHÖ | Datei |
| Vorlesung | 11. Von regulären zu kontextfreien Sprachen | DS4, 28. November 2024 in HSZ/0003 | Datei |
| Vorlesung | 12. Das Wortproblem für kontextfreie Sprachen | DS3, 2. Dezember 2024 in BAR/SCHÖ | Datei |
| Vorlesung | 13. Das Pumping-Lemma für kontextfreie Sprachen | DS4, 5. Dezember 2024 in HSZ/0003 | Datei |
| Vorlesung | 14. Abschlusseigenschaften kontextfreier Sprachen | DS3, 9. Dezember 2024 in BAR/SCHÖ | Datei |
| Vorlesung | 15. Kellerautomaten | DS4, 12. Dezember 2024 in HSZ/0003 | Datei |
| Vorlesung | 16. Kellerautomaten & CFGs | DS3, 16. Dezember 2024 in BAR/SCHÖ | Datei |
| Vorlesung | 17. Deterministische Typ-2-Sprachen / Probleme für kontextfreie Sprachen | DS4, 19. Dezember 2024 in HSZ/0003 | Datei |
| Vorlesung | 18. Turingmaschinen | DS3, 6. Januar 2025 in BAR/SCHÖ | Datei |
| Vorlesung | 19. Nichtdeterminismus und Unentscheidbarkeit | DS4, 9. Januar 2025 in HSZ/0003 | Datei |
| Vorlesung | 20. Typ 0 und Typ 1 | DS3, 13. Januar 2025 in BAR/SCHÖ | Datei |
| Vorlesung | 21. Aussagenlogik | DS4, 16. Januar 2025 in HSZ/0003 | Datei |
| Vorlesung | 22. Äquivalenzen und Normalformen | DS3, 20. Januar 2025 in BAR/SCHÖ | Datei |
| Vorlesung | 23. Logisches Schließen | DS4, 23. Januar 2025 in HSZ/0003 | Datei |
| Vorlesung | 24. Horn-Logik und Komplexitätstheorie | DS3, 27. Januar 2025 in BAR/SCHÖ | Datei |
| Vorlesung | 25. NP-Vollständigkeit | DS4, 30. Januar 2025 in HSZ/0003 | Datei |
| Vorlesung | 26. Zusammenfassung und Ausblick | DS3, 3. Februar 2025 in BAR/SCHÖ | Datei |
| Konsultation | Prüfungskonsultation | DS2, 14. Februar 2025 in Videokonferenz |
Kalender
