Lehrveranstaltungen


Erweiterte Suche|Zurücksetzen
Pflichtmodul 2: Einführung in die Theoretische Informatik (5,5 ECTS-AP, 3 SSt.)
Anmeldevoraussetzung: keine
Lernergebnisse: ad a.: Die Studierenden können den Begriff der Berechenbarkeit und verschiedene formale Berechnungsmodelle sowie deren Unterschiede erläutern und beurteilen. Zudem kennen Sie
geeignete Methoden, um Informationen auf das Wesentliche zu reduzieren, abstrakt zu repräsentieren und formale Beweise zu führen.
ad b.: Die Studierenden können verschiedene formale Berechnungsmodelle anwenden, formale Beweise praktisch durchführen, Sie können Informationen auf das Wesentliche reduzieren und abstrakt repräsentieren
Zur übergeordneten Rubrik
ML
703215
UE Einführung in die Theoretische Informatik (UE / 1h / 2 ECTS-AP)
Samuel Frontull, Georg Moser, Michael Knut Schaper
Details zu dieser Lehrveranstaltung

Hinweis:
  • Es können sich noch Änderungen im Lehrveranstaltungsangebot sowie bei Raum- und Terminbuchungen ergeben.
  • Bitte wählen Sie für das Lehrveranstaltungsangebot die Fakultät aus, der Ihre Studienrichtung zugeteilt ist.