| Lehrbeauftragter: | Dr. Fabian Neuhaus |
| Sprache: | deutsch |
| Wochenstunden: | 4h Vorlesung und Übung |
| Credits: | 5 oder 6 |
| Zuhörerkreis: | Bachelor CV, INF, IngIF, WIF |
| Master CV, INF, IngIF, WIF, DKE, DigiEng | |
| Voraussetzungen: | empfohlen: Modul Logik |
| Prüfung/Schein: | Prüfungsvorleistung: regelmäßige Teilnahme an Vorlesung und Übung, erfolgreiche Bearbeitung der Übungsaufgaben (Votierung). Prüfung: schriftlich |