Formale Sprachen und Berechenbarkeit
Dozent:innen: Dr. rer. nat. Markus Blumenstock; Univ.-Prof. Dr. Stefan Walter Theodor KramerKurs-Nr.: 08.079.050
Kurstyp: Vorlesung/Übung
Voraussetzungen / Organisatorisches
Modul Mathematik für Informatiker 1Zusätzliche Informationen
Qualifikationsziele/Lernergebnisse/KompetenzenDie Studierenden (Formale Sprachen und Berechenbarkeit)
• verfügen über ein Verständnis für die Grundlagenfragen der Informatik;
• kennen Automaten und formale Sprachen sowie deren Zusammenhänge;
• kennen Verfahren zur Beurteilung der Berechenbarkeit und Entscheidbarkeit;
• können mathematische Methoden zur Klärung von Grundlagenfragen der Informatik anwenden.
Vermittlung der theoretischen Grundlagen der Informatik, Beherrschung der formalen Konzepte
Termine
| Datum (Wochentag) | Zeit | Ort |
|---|---|---|
| 15.04.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 22.04.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 29.04.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 06.05.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 13.05.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 20.05.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 27.05.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 03.06.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 10.06.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 17.06.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 24.06.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 01.07.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 08.07.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |
| 15.07.2025 (Dienstag) | 10:15 - 11:45 | 01 212 HS 18 1321 - Naturwissenschaftlich-Medizinischer Bau |