LFU:online

Absolventinnen und Absolventen dieses Moduls verstehen den Begriff der Berechenbarkeit und unterschiedliche formale Berechnungsmodelle sowie deren Unterschiede. Zudem können sie Informationen auf das Wesentliche reduzieren und abstrakt repräsentieren sowie formale Beweise führen.

Beurteilung aufgrund einer schriftlichen Klausur am Ende des Semsters; diese wird online im OLAT Kurs abgehalten.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen; Onlineprüfung am Ende des Semesters

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

Studieneingangs- und Orientierungsphase (StEOP) ab dem Wintersemester 2019/2020:

Im Rahmen der Studieneingangs- und Orientierungsphase, die im ersten Semester stattfindet, sind folgende Lehrveranstaltungsprüfungen abzulegen:

1. VO Einführung in die Programmierung (3 SSt/4,5 ECTS-AP)
2. VO Einführung in die Theoretische Informatik (2 SSt/3 ECTS-AP)
3. SL Einführung in die Theoretische Informatik (1 SSt/2 ECTS-AP)

Weitere Informationen finden Sie hier.