| Modulzugehörigkeit | Algorithmen |
| Verantwortlich | N.N. |
| ECTS / SWS | 4.5 ECTS / 2+1 SWS (Vorlesung+Übung) |
| Lernform | Vorlesung |
| Turnus | jährlich zum WS |
| 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 | - |
Changes from color to monochrome mode
contrast active
contrast not active
Changes the background color from white to black
Darkmode active
Darkmode not active
Elements in focus are visually enhanced by an black underlay, while the font is whitened
Feedback active
Feedback not active
Halts animations on the page
Animations active
Animations not active
