Programmierung und Modellierung (sose17)

Video aufrufbar
Probeklausur 2 - Aufgaben, Lösungen und Bewertungen

videoonline teaser image
  • (00:00:00) > 
    Probeklausur 2 Aufgaben
  • (00:05:05) > 
    Quiz
  • (00:14:39) > 
    Ablauf der Probeklausur
  • (00:15:53) > 
    Ablauf der Korrektur
  • (00:20:11) > 
    Aufgabe 1
  • (00:22:43) > 
    Lösung der Aufgabe 1
  • (00:26:28) > 
    Bewertung der Aufgabe 1
  • (00:28:24) > 
    Aufgabe 2 - Teil 1
  • (00:29:10) > 
    Aufgabe 2 - Teil 2
  • (00:29:49) > 
    Lösung der Aufgabe 2
  • (00:36:40) > 
    Bewertung der Aufgabe 2
  • (00:37:53) > 
    Aufgabe 3
  • (00:39:18) > 
    Lösung der Aufgabe 3
  • (00:42:04) > 
    Bewertung der Aufgabe 3
  • (00:43:39) > 
    Aufgabe 4
  • (00:47:08) > 
    Lösung der Aufgabe 4
  • (00:51:49) > 
    Bewertung der Aufgabe 4
  • Aufzeichnung vom: 24.07.2017

    Video aufrufbar
    11. Fehlerbehandlung; 12 Module, Bibliotheken und Packages

    videoonline teaser image
  • (00:00:00) > 
    Fehlerbehandlung
  • (00:05:29) > 
    Quiz
  • (00:15:12) > 
    Inhalt
  • (00:19:58) > 
    Zur Fehlerbehandlung
  • (00:37:18) > 
    Maybe
  • (00:49:08) > 
    Either
  • (01:02:23) > 
    Quiz
  • (01:15:12) > 
    Ausnahmen
  • (01:48:26) > 
    Inhalt
  • (01:48:38) > 
    Module
  • Aufzeichnung vom: 17.07.2017

    Video aufrufbar
    11. Die Typ-Klasse Monad

    videoonline teaser image
  • (00:01:55) > 
    Quiz Lernfortschritte
  • (00:12:54) > 
    Typ-Klasse Monad
  • (00:20:09) > 
    Quiz Functor I
  • (00:22:20) > 
    Quiz Functor II
  • (00:27:01) > 
    Quiz Functor III
  • (00:29:00) > 
    Quiz Functor IV
  • (00:31:08) > 
    Quiz Functor V
  • (00:55:19) > 
    Monade IO String
  • Aufzeichnung vom: 10.07.2017

    Video aufrufbar
    7. Probeklausur: Besprechung

    videoonline teaser image
    Aufzeichnung vom: 12.06.2017

    Video aufrufbar
    6. Probeklausur

    videoonline teaser image
  • (00:20:14) > 
    Probeklausur:Aufgaben
  • Aufzeichnung vom: 12.06.2017

    Video aufrufbar
    5. Kapitel 4 (Auswertung) + Kapitel 5(Typen)

    videoonline teaser image
  • (00:00:00) > 
    Wiederholung
  • (00:06:19) > 
    Quiz Lernfortschritte
  • (00:39:22) > 
    Quiz WHNF I
  • (00:51:15) > 
    Quiz WHNF II
  • (00:58:18) > 
    Typprüfung
  • (01:27:05) > 
    Funktionstypen
  • (01:34:38) > 
    Quiz Funktionstypen
  • (01:52:24) > 
    Quiz data / newtype
  • (01:59:12) > 
    Pattern Matching
  • (02:06:16) > 
    Zusammenfassung
  • Aufzeichnung vom: 29.05.2017

    Video aufrufbar
    4. Auswertung

    Aufzeichnung vom: 22.05.2017

    Video aufrufbar
    3. Rekursive Funktionen

    videoonline teaser image
  • (00:07:08) > 
    Quiz Lernfortschritte
  • (00:15:39) > 
    Rekursive Funktionen
  • (00:38:25) > 
    Quiz Terminierung I
  • (00:44:46) > 
    Quiz Terminierung II
  • (00:54:48) > 
    Quiz:Terminierung III
  • (01:59:28) > 
    Quiz Endrekursion
  • Aufzeichnung vom: 15.05.2017

    Video aufrufbar
    2 Ein- und Ausgaben

    videoonline teaser image
  • (00:14:32) > 
    Quiz Lernfortschritte
  • (00:27:37) > 
    Daten ein- und ausgeben
  • (00:44:51) > 
    Quiz 2
  • (01:45:44) > 
    Quiz 3
  • (01:50:55) > 
    Quiz return <- I
  • (01:54:23) > 
    Quiz return <- II
  • Aufzeichnung vom: 08.05.2017

    Video aufrufbar
    1. Vorlesung

    videoonline teaser image
  • (00:00:00) > 
    Inhalt
  • (00:00:24) > 
    Arbeitsweise
  • (00:16:41) > 
    Zeitplan
  • (00:21:14) > 
    Literatur
  • (00:25:04) > 
    Klausuren
  • (00:29:38) > 
    Inhalt der Vorlesung
  • (00:30:59) > 
    Der Interpreter ghci
  • (01:21:14) > 
    Funktionen
  • (01:40:28) > 
    Char, Spring und List
  • (02:04:57) > 
    Comprehentions
  • Aufzeichnung vom: 24.04.2017
    RSS-Feed abonnieren: RSS-Feed abonnieren