Lehrveranstaltungen

Pflichtmodul 2: Einführung in die Theoretische Informatik (5 ECTS-AP, 3 SSt.)

Anmeldevoraussetzung: keine

Lernergebnisse: Die Studierenden verstehen nach Abschluss dieses Moduls den Begriff der Berechenbarkeit und verschiedene formale Berechnungsmodelle sowie deren Unterschiede. Zudem können sie Informationen auf das Wesentliche reduzieren, abstrakt repräsentieren und formale Beweise führen.

OLAT ML

703007

VO Einführung in die Theoretische Informatik (VO / 2h / 3 ECTS-AP)
Georg Moser

OLAT ML

703062

SL Einführung in die Theoretische Informatik (SL / 1h / 2 ECTS-AP)
Alexander Lochmann, Georg Moser, Oleksandra Roche-Newton

Übersicht Anmeldefristen für Lehrveranstaltungen