252-0058-00L  Formal Methods and Functional Programming

SemesterFrühjahrssemester 2022
DozierendeP. Müller, C. Sprenger
Periodizitätjährlich wiederkehrende Veranstaltung
LehrspracheEnglisch


Information zur Leistungskontrolle (gültig bis die Lerneinheit neu gelesen wird)
Leistungskontrolle als Semesterkurs
ECTS Kreditpunkte7 KP
PrüfendeP. Müller, C. Sprenger
FormSessionsprüfung
PrüfungsspracheEnglisch
RepetitionDie Leistungskontrolle wird nur in der Session nach der Lerneinheit angeboten. Die Repetition ist nur nach erneuter Belegung möglich.
Prüfungsmodusschriftlich 120 Minuten
Zusatzinformation zum PrüfungsmodusWe offer 2 graded midterms, in the first and second half. Each midterm will be 30 minutes and act as a bonus, that is, may improve the grade, but will not make it worse. In the positive case, each midterm will count 10% of the total grade.
Hilfsmittel schriftlichKeine
Diese Angaben können noch zu Semesterbeginn aktualisiert werden; verbindlich sind die Angaben auf dem Prüfungsplan.