Lehrveranstaltungen


Erweiterte Suche|Zurücksetzen
Pflichtmodul 6: 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 verstehen. Zudem können sie informatikrelevante Begriffe auf das Wesentliche reduzieren, abstrakt repräsentieren und formale Beweise führen.

ad b.: Die Studierenden können verschiedene formale Berechnungsmodelle anwenden, formale Beweise praktisch durchführen und konkrete Algorithmen abstrakt repräsentieren.
Zur übergeordneten Rubrik
ML
921032
VO Einführung in die Theoretische Informatik (VO / 2h / 3,5 ECTS-AP) E
Matthias Hirner, Patrick Jost
Details zu dieser Lehrveranstaltung
ML
921033
UE Einführung in die Theoretische Informatik (UE / 1h / 2 ECTS-AP) E
Matthias Hirner
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.