FuPV (EidI2) Altklausuren

Beispielbearbeitungen von Aufgaben aus dem Fach Funktionale Programmierung und Verifikation (Einführung in die Informatik 2) der TU München

Dateien ohne _sol enthalten nur Struktur und Tests (unvollständig!), mit _sol enthalten Beispiellösungen.

Über PRs um weitere Klausuren oder Tests hinzuzufügen freue ich mich!

Verfügbare Tests

Prüfung	Teststatus	Details
Wiederholungsklausur Wintersemester 17/18
Klausur Wintersemester 17/18
Wiederholungsklausur Wintersemester 16/17
Klausur Wintersemester 16/17
Wiederholungsklausur Wintersemester 15/16
Klausur Wintersemester 15/16

Tests laufen lassen

ocamlc -g -thread unix.cma threads.cma klausur1617wdh.ml && ./a.out

Hinweis auf Unvollkommenheit

Selbstverständlich kann weder bei den Lösungsvorschlägen, noch bei den Tests ein Anspruch auf Korrektheit oder Vollständigkeit erhoben werden