Programmierung und Modellierung (sose14)

Videostream und Folien
16. Semantik

videoonline teaser image
Aufzeichnung vom: 03.07.2014

Videostream und Folien
14. Monaden

videoonline teaser image
  • (00:00:12) > 
    Monaden
  • (00:11:17) > 
    Typklasse Monad
  • (00:16:49) > 
    Monadische Komposition
  • (00:20:55) > 
    Monaden Gesetze
  • (00:37:50) > 
    Listen als Monade
  • (00:43:14) > 
    MonadPlus
  • Aufzeichnung vom: 23.06.2014

    Videostream und Folien
    13. IO & Funktoren

    videoonline teaser image
  • (00:01:48) > 
    Typparameter
  • (00:10:18) > 
    Typklasse Functor
  • (00:15:36) > 
    Hello World
  • (00:19:30) > 
    Haskell’s I/O
  • (00:31:26) > 
    DO-Notation
  • (00:45:17) > 
    Main Methode
  • (00:55:49) > 
    Ausgabe
  • (00:57:32) > 
    Eingabe
  • (01:03:40) > 
    Dateizugriff
  • (01:04:48) > 
    Datei Handles
  • (01:10:18) > 
    Monadische Funktionen
  • (01:16:32) > 
    when & unless
  • (01:17:42) > 
    forever
  • (01:19:00) > 
    sequence
  • (01:22:07) > 
    mapM
  • (01:23:24) > 
    forM
  • Aufzeichnung vom: 16.06.2014

    Videostream und Folien
    12. Typinferenz

    videoonline teaser image
    Aufzeichnung vom: 05.06.2014

    Videostream und Folien
    11. Typisierung & Typherleitungsbäume

    videoonline teaser image
  • (00:19:48) > 
    Typprüfung
  • (00:21:04) > 
    Typfehler
  • (00:26:41) > 
    Programmausdrücke
  • (00:29:07) > 
    Lambda-Kalkül
  • (00:31:35) > 
    Termsubstitution
  • (00:36:13) > 
    Typzuweisung
  • (00:38:08) > 
    Typkontext
  • (00:40:05) > 
    Typurteil
  • (00:44:17) > 
    Typregeln
  • (00:53:57) > 
    Typherleitung
  • Aufzeichnung vom: 02.06.2014

    Videostream und Folien
    9. Algorithmen

    videoonline teaser image
  • (00:00:00) > 
    Wiederholung: $ Funktion
  • (00:02:45) > 
    Wiederholung: Ordnung
  • (00:09:55) > 
    Binärbäume
  • (00:20:53) > 
    Rekursion auf Bäumen
  • (00:26:30) > 
    Linearisierung
  • (00:27:12) > 
    Vorordnung
  • (00:29:05) > 
    Symmetrische Ordnung
  • (00:30:26) > 
    Nachordnung
  • (00:36:07) > 
    Breitendurchlauf
  • (00:57:52) > 
    Auswertung
  • (01:04:04) > 
    Parsing
  • Aufzeichnung vom: 22.05.2014

    Videostream und Folien
    8. Funktionen höherer Ordnung, Wichtige Bibliotheken

    videoonline teaser image
  • (00:00:00) > 
    Map
  • (00:11:21) > 
    Filter
  • (00:21:02) > 
    zipWith
  • (00:27:48) > 
    foldl
  • (00:47:22) > 
    foldr
  • (01:06:58) > 
    flip
  • (01:08:11) > 
    Currying
  • (01:11:52) > 
    Pointfree Style
  • (01:20:44) > 
    $ Funktion
  • Aufzeichnung vom: 19.05.2014

    Videostream und Folien
    7. Funktionen höherer Ordnung

    videoonline teaser image
  • (00:29:19) > 
    Funktionstypen
  • (00:51:29) > 
    Funktion als Argumente
  • (01:08:33) > 
    Verallgemeinerung
  • (01:11:10) > 
    Map
  • Aufzeichnung vom: 15.05.2014

    Videostream und Folien
    6. Polymorphie, Typklassen, Module

    videoonline teaser image
  • (00:07:07) > 
    Instantiierung
  • (00:17:55) > 
    Polymorphe Gleicheit
  • (00:23:30) > 
    Class Constraints
  • (00:29:17) > 
    Typklassen
  • (00:31:10) > 
    Eq Typklasse
  • (00:46:18) > 
    Überladene Instanzen
  • (00:50:05) > 
    Ord
  • (00:55:54) > 
    Enum
  • (00:58:14) > 
    Bounded
  • (01:01:14) > 
    Num
  • (01:03:35) > 
    Integral und Real
  • (01:04:34) > 
    Fractional
  • (01:08:21) > 
    Module
  • (01:11:58) > 
    Export
  • (01:14:07) > 
    Import
  • Aufzeichnung vom: 12.05.2014

    Videostream und Folien
    5.Benutzerdefinierte Datentypen

    videoonline teaser image
  • (00:04:14) > 
    Typabkürzungen
  • (00:19:03) > 
    Records
  • (00:29:45) > 
    Newtype
  • (00:31:00) > 
    Aufzählungen
  • (00:50:37) > 
    Rekursive Datentypen
  • (00:57:02) > 
    Wechelseitig Rekursiv
  • (00:59:33) > 
    Typparameter
  • (01:02:55) > 
    Maybe
  • (01:16:20) > 
    Either
  • Aufzeichnung vom: 28.04.2014

    Videostream und Folien
    4. Induktion & Korrektheitsbeweise

    videoonline teaser image
  • (00:00:00) > 
    Wiederholung
  • (00:07:16) > 
    Formen der Rekursion
  • (00:08:48) > 
    Lineare Rekursion
  • (00:10:17) > 
    Endständige Rekursion
  • (00:33:35) > 
    Rekursion mit Listen
  • (00:52:03) > 
    Induktionsprinzip
  • (01:14:57) > 
    Partielle Korrektheit
  • Aufzeichnung vom: 24.04.2014

    Videostream und Folien
    3. Rekursion & Termination

    videoonline teaser image
  • (00:05:58) > 
    Rekursion
  • (00:11:32) > 
    Collatz Vermutung
  • (00:25:53) > 
    Fibonacci-Zahlen
  • (00:37:24) > 
    Türme von Hanoi
  • (00:56:14) > 
    Partialität
  • (00:59:10) > 
    Abstiegsfunktion
  • (01:21:23) > 
    Formen der Rekursion
  • (01:25:36) > 
    Lineare Rekursion
  • Aufzeichnung vom: 14.04.2014

    Videostream und Folien
    2. Funktionsbegriff, Basistypen

    videoonline teaser image
  • (00:00:00) > 
    Wiederholung
  • (00:02:31) > 
    Listenkonstruktion
  • (00:04:20) > 
    List-Comprehension
  • (00:09:07) > 
    Listenkonstruktor Cons
  • (00:12:37) > 
    Typvariablen
  • (00:14:34) > 
    Funktionstypen
  • (00:17:26) > 
    Konstanten
  • (00:18:19) > 
    Funktionsdefinitionen
  • (00:20:36) > 
    if-then-else
  • (00:22:52) > 
    Lokale Definitionen
  • (00:24:17) > 
    Layout
  • (00:36:48) > 
    Where-Klausel
  • (00:39:05) > 
    Pattern-Matching
  • (00:42:52) > 
    Wildcards
  • (00:45:25) > 
    Tupel-Muster
  • (00:47:18) > 
    Listen-Muster
  • (01:02:42) > 
    Case Ausdruck
  • (01:05:04) > 
    Wächter
  • (01:07:37) > 
    Pattern Guards
  • (01:08:42) > 
    Kommentare
  • (01:11:53) > 
    Beispiele
  • Aufzeichnung vom: 10.04.2014

    Videostream und Folien
    1. Einführung

    videoonline teaser image
  • (00:00:00) > 
    Organisatorisches
  • (00:10:18) > 
    Imperativ vs. Deklarativ
  • (00:14:19) > 
    Haskell
  • (00:34:31) > 
    Ausdrücke & Werte
  • (00:35:35) > 
    Typen
  • (00:38:54) > 
    Kartesisches Produkt
  • (00:48:55) > 
    Tupel
  • (00:50:50) > 
    Listen
  • (00:54:22) > 
    Typabkürzungen
  • (00:56:14) > 
    Funktionen
  • Aufzeichnung vom: 07.04.2014
    RSS-Feed abonnieren: RSS-Feed abonnieren