| Modulzugehörigkeit | Algorithmen |
| Verantwortlich | N.N. |
| ECTS / SWS | 6 ECTS / 2+2 SWS (Vorlesung+Übung) |
| Lernform | Vorlesung |
| Turnus | jährlich zum SS |
| Voraussetzung | Einführung in die Informatik, Grundlagen Programmiersprachen, Grundlagen des Software Engineerings, Diskrete Mathematik |
| Lernziel/Kompetenzen | Lernziel Ziel ist die Vermittlung grundlegender Kenntnisse, Denkweisen und Konzepte der formalen Sprachen, der Berechenbarkeit und der Komplexitätstheorie. Als Folgerung sollen den Studierenden die prinzipiellen Möglichkeiten und Grenzen der Informationsverarbeitung aufgezeigt werden |
| Inhalt | Einführung in die mathematische Logik. Turingmaschinen, Berechenbarkeit, Schaltungen, Einführung in die formalen Sprachen, Komplexitätsklassen. |
| Leistungsnachweis | Klausur |
| Literatur |
|
| Anmerkung | - |