TA Formal Methods and Functional Programming 2023
Mittwochs, 10:15-12:00, LEE C-114
Disclaimer: Die hier vorzufindenden Notizen sind nicht Teil des offiziellen Vorlesungsmaterials und werden laufend überarbeitet.
Woche 1: Zusammenfassung Übungsstunde 1.
Woche 2: Zusammenfassung Übungsstunde 2.
Woche 3: Zusammenfassung Übungsstunde 3.
Woche 4: Zusammenfassung Übungsstunde 4. Erklärung Filter-Exercise.
Woche 5: Zusammenfassung Übungsstunde 5.
Woche 6: Zusammenfassung Übungsstunde 6.
Woche 7: Zusammenfassung Übungsstunde 7.