Skip to main content
HOME
www.lmu.de
Fakultät 11
UnterrichtsMitschau
Lehrfilme
UnterrichtOnline.org
What is VideoOnline?
Watch our introduction!
Aktuelle Vorlesungen
Alle Vorlesungen
Faculties
Fakultätsübergreifende Vorlesungen
Katholisch-Theologische Fakultät (Fakultät 1)
Evangelisch-Theologische Fakultät (Fakultät 2)
Juristische Fakultät (Fakultät 3)
Fakultät für Betriebswirtschaft (Fakultät 4)
Volkswirtschaftliche Fakultät (Fakultät 5)
Medizinische Fakultät (Fakultät 7)
Tierärztliche Fakultät (Fakultät 8)
Fakultät für Geschichts- und Kunstwissenschaften (Fakultät 9)
Fakultät für Philosophie, Wissenschaftstheorie und Religionswissenschaft (Fakultät 10)
Fakultät für Psychologie und Pädagogik (Fakultät 11)
Fakultät für Kulturwissenschaften (Fakultät 12)
Fakultät für Sprach- und Literaturwissenschaften (Fakultät 13)
Sozialwissenschaftliche Fakultät (Fakultät 15)
Fakultät für Mathematik, Informatik und Statistik (Fakultät 16)
Fakultät für Physik (Fakultät 17)
Fakultät für Chemie und Pharmazie (Fakultät 18)
Fakultät für Biologie (Fakultät 19)
Fakultät für Geowissenschaften (Fakultät 20)
Seniorenstudium
Tutorials
FAQs
Programmierung und Modellierung (sose17)
Probeklausur 2 - Aufgaben, Lösungen und Bewertungen
(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
11. Fehlerbehandlung; 12 Module, Bibliotheken und Packages
(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
11. Die Typ-Klasse Monad
(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
10. Typ-Klassen Functor und Applicative (Functor)
(00:06:52)
>
Quiz Lernfortschritte
(00:13:30)
>
Typ-Klasse Functor
(00:41:00)
>
Quiz Binärbaum als Functor
(00:50:06)
>
Quiz Maybe als Functor
(00:55:23)
>
Quiz IO als Functor
(01:04:03)
>
Quiz (->) als Functor
(01:06:31)
>
Typ-Klasse Applicative (Functor)
(01:09:06)
>
Quiz Functor-Funktion I
(01:11:07)
>
Quiz Functor-Funktion II
(01:15:41)
>
Quiz Functor-Funktion III
(01:16:51)
>
Quiz Functor-Funktion IV
(01:17:35)
>
Quiz Functor-Funktion V
(01:18:06)
>
Quiz Functor-Funktion VI
Date:
03.07.2017
Lecturer:
Prof. Dr. Francois Bry
9. Grundlegende Funktionen für Binärbäume
(00:01:36)
>
Zusammenfassung der letzten Vorlesung
(00:05:49)
>
Quiz Lernfortschritte
(00:16:52)
>
Binärbäume mit Knotenmarkierungen
(00:22:42)
>
Suche in geordneten Binärbäume mit Knotenmarkierungen
(00:38:43)
>
Syntaxbäume
(00:40:32)
>
Selektoren und Prädikate
(00:52:07)
>
Durchlauf in Infix-Reihenfolge
(00:58:42)
>
Quiz Infix-Durchlauf
(01:02:34)
>
Durchlauf in Präfix-Reihenfolge
(01:05:56)
>
Quiz Präfix-Durchlauf
(01:07:54)
>
Durchlauf in Postfix-Reihenfolge
(01:08:41)
>
Quiz Postfix-Durchlauf
(01:11:06)
>
Quiz Präfix- und Posfix-Durchläufe
(01:14:05)
>
Durchläufe mit Akkumulatortechnik
(01:18:08)
>
Tiefendurchlauf
(01:33:36)
>
Breitendurchlauf
(01:34:51)
>
Quiz Tiefen- und Breitendurchläufe
Date:
26.06.2017
Lecturer:
Prof. Dr. Francois Bry
8. Kapitel 6: Typklassen & Kapitel 7: Funktionen Höherer Ordnung
(00:05:07)
>
Wozu Typ-Klassen?
(00:21:02)
>
Was ist eine Typ-Klasse?
(00:26:01)
>
Der Polymorphismus von Haskell
(00:43:49)
>
Grundlegende Typklassen
(01:11:15)
>
Typ-Klasse Monoid
(01:44:10)
>
Quiz Maybe
(01:45:41)
>
Typ-Klasse Foldable
(01:53:32)
>
Kapitel 7: Funktionen höherer Ordnung
(01:54:40)
>
Was sind Funktionen höherer Ordnung?
(02:01:36)
>
Quiz flip
(02:06:45)
>
Bekannte Funktionen höherer Ordnung
(02:10:30)
>
Quiz filter
Date:
19.06.2017
7. Probeklausur: Besprechung
Date:
12.06.2017
Lecturer:
Prof. Dr. Francois Bry
6. Probeklausur
(00:20:14)
>
Probeklausur:Aufgaben
Date:
12.06.2017
Lecturer:
Prof. Dr. Francois Bry
5. Kapitel 4 (Auswertung) + Kapitel 5(Typen)
(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
4. Auswertung
(00:00:00)
>
Wiederholung
(00:05:54)
>
Quiz Lernfortschritte
(00:20:46)
>
Substitutionsmodell
(00:51:28)
>
Quiz Substitutionsmodell II
(01:07:17)
>
Quiz Substitutionsmodel III
(01:10:27)
>
Auswertung in applikativer Reihenfolge
(01:18:39)
>
Auswertung in normaler Reihenfolgel
(01:24:32)
>
Verzögerte Auswertung ohne Konstruktoren
(01:38:29)
>
Quiz Auswertung I
(01:41:26)
>
Quiz Auswertung II
(01:42:29)
>
Quiz Auswertung III
Date:
22.05.2017
Lecturer:
Prof. Dr. Francois Bry
3. Rekursive Funktionen
(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
2 Ein- und Ausgaben
(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
1. Vorlesung
(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: