Zur Navigation springen

Programmierung und Modellierung

Achtung. Diese Aufzeichnung ist aus dem Semester: SoSe10

Videostream und Folien Zusammenfassung

  1. (00:00:00) >
    Wiederholung
  2. (00:07:13) >
    Fixpunkte in der Informatik
  3. (00:39:02) >
    Denotationelle Semantik rekursiver Funktionen
  4. (00:55:12) >
    Zusammenfassung des Kapitels 12
  5. (01:00:34) >
    Überblick über gesamte Vorlesung
Aufzeichnung vom: 21.07.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Operationelle und Denotationelle Semantik

  1. (00:04:59) >
    1. Operationelle Semantik von SML-Ausdrücken
  2. (01:06:10) >
    2. Fixpunktsätze
Aufzeichnung vom: 14.07.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Syntaktische Analyse

  1. (00:02:11) >
    1. Exkurs: formale Sprache und kontextfreie Grammatik
  2. (00:25:36) >
    2. Parsing durch rekursiven Abstieg
  3. (00:42:41) >
    2.1. Einfache Zahlenfolgen
  4. (01:04:36) >
    2.2. Typausdrücke
Aufzeichnung vom: 07.07.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Ausnahmebehandlung und lexikalische Analyse

  1. (00:03:38) >
    9.0 Ausnahmebehandlung in SML
  2. (00:03:38) >
    9.1. Der vordefinierte Typ exn
  3. (00:04:25) >
    9.2. Ausnahmekonstruktoren
  4. (00:06:37) >
    9.3. Ausnahmen auslösen
  5. (00:13:20) >
    9.4. Ausnahmen behandeln
  6. (00:19:05) >
    9.5. Prinzip der Auswertung von raise-und handle-Ausdrücken
  7. (00:49:53) >
    10.0 Syntaxerkennung und –Behandlung I
  8. (00:49:53) >
    10.1. Abstrakte und konkrete Syntax
  9. (00:57:49) >
    10.2. Lexikalische Analyse
Aufzeichnung vom: 30.06.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Methodisches Programmieren

  1. (00:01:20) >
    8. Konstruktioneffizienter Programme
  2. (00:39:46) >
    8.2 Effizienz der Rekursion
  3. (00:48:11) >
    Lineare und endständige Rekursion: Wiederholung
Aufzeichnung vom: 23.06.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Benutzerdefinierte Datentypen II

  1. (00:21:56) >
    7.7 Binärer Suchbaum
  2. (00:56:19) >
    7.8 Darstellung von Termen
  3. (01:17:59) >
    7.9 Unifikation
Aufzeichnung vom: 16.06.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Benutzerdefinierte Datentypen, Teil 2

Aufzeichnung vom: 09.06.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Benutzerdefinierte Datentypen, Teil 1

Aufzeichnung vom: 02.06.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Typüberprüfung

  1. (00:09:58) >
    4.2 Kartesisches Produkt
  2. (00:27:08) >
    4.3 Benutzerdefinierte Typnamen
  3. (00:35:09) >
    4.4 Verbunde (Records)
  4. (00:45:52) >
    4.5 Listen
  5. (00:54:49) >
    4.6 Typvariablen und polymorphe Typen
Aufzeichnung vom: 26.05.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Funktionen höherer Ordnung

  1. (00:08:00) >
    5.1 FunktionenalsParameter und Wertvon Funktionen
  2. (00:23:25) >
    5.2 Currying
  3. (00:47:50) >
    5.3. Grundlegende Funktionen höherer Ordnung
  4. (01:09:55) >
    5.4 Die KombinatorenI, S und K
Aufzeichnung vom: 19.05.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Datentypen und Polymorphie

  1. (00:08:36) >
    4.2 Kartesisches Produkt
  2. (00:46:27) >
    4.3 Benutzerdefinierte Typnamen
  3. (00:53:25) >
    4.4 Verbunde (Records)
  4. (00:59:10) >
    4.5 Listen
  5. (01:12:38) >
    4.6 Typvariablen und polymorphe Typen
Aufzeichnung vom: 12.05.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Beweismethodik für Eigenschaften rekursiver Funktionen

  1. (00:00:00) >
    0. Einführung
  2. (00:02:55) >
    1. Beweismethodik für Eigenschaften rekursiver Funktionen
  3. (00:42:18) >
    2. Beweis der Terminierung
Aufzeichnung vom: 05.05.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Rekursive Funktionen

Aufzeichnung vom: 28.04.2010
Dozent: Prof. Dr. Martin Wirsing

Videostream und Folien Einführung in die Programmierung mit SML

Aufzeichnung vom: 21.04.2010
Dozent: Prof. Dr. Martin Wirsing
Website: http://www.pst.ifi.lmu.de/Lehre/sose-2010/promo
RSS-Feed abonnieren: RSS-Feed abonieren

Die Unterrichtsmitschau und didaktische Forschung ist eine Einrichtung des Departments für Pädagogik und Rehabilitation der Ludwig Maximilians Universität München. Auf VideoOnline finden Sie ein Vorlesungsverzeichnis aller Vorlesungen und Veranstaltungen der LMU, die von uns aufgezeichnet werden. Loggen Sie sich über das LMU Portal ein, um Zugriff auf die Videos Ihrer Studienfächer zu bekommen.