HOME

Programmierung und Modellierung (sose17)

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

videoonline teaser image
  • (00:00:00) > 
    Probeklausur 2 Aufgaben
  • (00:02:42) > 
    Zusammenfassung der letzten Vorlesung
  • (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
  • (00:53:55) > 
    Bewertung der 2. Probeklausur
    • Date: 24.07.2017
    Lecturer: Prof. Dr. Francois Bry

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

    videoonline teaser image
  • (00:00:00) > 
    Fehlerbehandlung
  • (00:03:42) > 
    Zusammenfassung der letzten Vorlesung
  • (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:04:27) > 
    Generische Fehlerbehandlung mit Maybe und Either
  • (01:08:37) > 
    Strikte Anwendung mit Maybe und Either
  • (01:15:12) > 
    Ausnahmen
  • (01:48:26) > 
    Inhalt
  • (01:48:38) > 
    Module
  • (01:57:52) > 
    Bibliotheken und Packages
  • (01:59:01) > 
    Zusammenfassung der Vorlesung
    • Date: 17.07.2017
    Lecturer: Prof. Dr. Francois Bry

    Video aufrufbar
    11. Die Typ-Klasse Monad

    videoonline teaser image
  • (00:01:55) > 
    Quiz Lernfortschritte
  • (00:12:54) > 
    Typ-Klasse Monad
  • (00:16:20) > 
    Erinnerung: Functor und Applicative
  • (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:33:58) > 
    Quiz Applicative (Functor)
  • (00:37:59) > 
    Erinnerung: Functor und Applicative (Functor)
  • (00:49:37) > 
    Monad als besonderes Applicative (Functor)
  • (00:55:19) > 
    Monade IO String
    • Date: 10.07.2017
    Lecturer: Prof. Dr. Francois Bry

    Video aufrufbar
    6. Probeklausur

    videoonline teaser image
  • (00:20:14) > 
    Probeklausur:Aufgaben
    • Date: 12.06.2017
    Lecturer: Prof. Dr. Francois Bry

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

    videoonline teaser image
  • (00:00:00) > 
    Wiederholung
  • (00:06:19) > 
    Quiz Lernfortschritte
  • (00:11:57) > 
    Verzögerte Auswertung mit Konstruktoren
  • (00:39:22) > 
    Quiz WHNF I
  • (00:51:15) > 
    Quiz WHNF II
  • (00:58:18) > 
    Typprüfung
  • (01:13:27) > 
    Vordefinierte elementare Typen
  • (01:24:17) > 
    Vordefinierte algebraische Typen
  • (01:27:05) > 
    Funktionstypen
  • (01:34:38) > 
    Quiz Funktionstypen
  • (01:35:47) > 
    Benutzer-definierte Typen
  • (01:52:24) > 
    Quiz data / newtype
  • (01:59:12) > 
    Pattern Matching
  • (02:06:16) > 
    Zusammenfassung
    • Date: 29.05.2017
    Lecturer: Prof. Dr. Francois Bry

    Video aufrufbar
    3. Rekursive Funktionen

    videoonline teaser image
  • (00:00:00) > 
    Zusammenfassung der letzten Vorlesung
  • (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
    • Date: 15.05.2017
    Lecturer: Prof. Dr. Francois Bry

    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
    • Date: 08.05.2017
    Lecturer: Prof. Dr. Francois Bry

    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
  • (00:53:06) > 
    Ausdrücke und Operatoren
  • (01:00:48) > 
    Definitionen, locale Definitionen und Überschatten
  • (01:21:14) > 
    Funktionen
  • (01:40:28) > 
    Char, Spring und List
  • (02:04:57) > 
    Comprehentions
    • Date: 24.04.2017
    Lecturer: Prof. Dr. Francois Bry
    Website: 
    http://www.pms.ifi.lmu.de/lehre/pum/17ss/
    RSS-Feed abonnieren: RSS-Feed abonnieren