| 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 | - |
Wechsel zwischen Farb- und Schwarz-Weiß-Ansicht
Kontrastansicht aktiv
Kontrastansicht nicht aktiv
Wechsel der Hintergrundfarbe von Weiß zu Schwarz
Darkmode aktiv
Darkmode nicht aktiv
Fokussierte Elemente werden schwarz hinterlegt und so visuell hervorgehoben.
Feedback aktiv
Feedback nicht aktiv
Beendet Animationen auf der Website
Animationen aktiv
Animationen nicht aktiv
