23:03

Minlog-Kurs 01 - Metainfos, erster Beweis

12:24

Minlog-Kurs 02 - Prädikatenlogik

15:33

Minlog-Kurs 05 - Deklaration induktiv definierter Prädikate

20:41

Minlog-Kurs 07 - Typen und Terme

42:25

WS2024 / [02] Grundlagen der Programmierung / Auflösung der 2. Leistungsüberprüfung

14:48

Minlog-Kurs 13 - Ex-Falso und Stabilität

19:57

Minlog-Kurs 14 - Programmextraktion

11:55

Minlog-Kurs 03 - Beweise mit Existenzquantoren