Programmierung und Modellierung (sose10)

Zusammenfassung

(00:00:00) >: Wiederholung

(00:07:13) >: Fixpunkte in der Informatik

(00:39:02) >: Denotationelle Semantik rekursiver Funktionen

(00:55:12) >: Zusammenfassung des Kapitels 12

(01:00:34) >: Überblick über gesamte Vorlesung

Recording from: 21.07.2010

Lecturer: Prof. Dr. Martin Wirsing

Operationelle und Denotationelle Semantik

(00:04:59) >: 1. Operationelle Semantik von SML-Ausdrücken

(01:06:10) >: 2. Fixpunktsätze

Recording from: 14.07.2010

Lecturer: Prof. Dr. Martin Wirsing

Syntaktische Analyse

(00:02:11) >: 1. Exkurs: formale Sprache und kontextfreie Grammatik

(00:25:36) >: 2. Parsing durch rekursiven Abstieg

(00:42:41) >: 2.1. Einfache Zahlenfolgen

(01:04:36) >: 2.2. Typausdrücke

Recording from: 07.07.2010

Lecturer: Prof. Dr. Martin Wirsing

Ausnahmebehandlung und lexikalische Analyse

(00:03:38) >: 9.0 Ausnahmebehandlung in SML

(00:03:38) >: 9.1. Der vordefinierte Typ exn

(00:04:25) >: 9.2. Ausnahmekonstruktoren

(00:06:37) >: 9.3. Ausnahmen auslösen

(00:13:20) >: 9.4. Ausnahmen behandeln

(00:19:05) >: 9.5. Prinzip der Auswertung von raise-und handle-Ausdrücken

(00:49:53) >: 10.0 Syntaxerkennung und –Behandlung I

(00:49:53) >: 10.1. Abstrakte und konkrete Syntax

(00:57:49) >: 10.2. Lexikalische Analyse

Recording from: 30.06.2010

Lecturer: Prof. Dr. Martin Wirsing

Methodisches Programmieren

(00:01:20) >: 8. Konstruktioneffizienter Programme

(00:39:46) >: 8.2 Effizienz der Rekursion

(00:48:11) >: Lineare und endständige Rekursion: Wiederholung

Recording from: 23.06.2010

Lecturer: Prof. Dr. Martin Wirsing

Benutzerdefinierte Datentypen II

(00:21:56) >: 7.7 Binärer Suchbaum

(00:56:19) >: 7.8 Darstellung von Termen

(01:17:59) >: 7.9 Unifikation

Recording from: 16.06.2010

Lecturer: Prof. Dr. Martin Wirsing

Benutzerdefinierte Datentypen, Teil 2

Recording from: 09.06.2010

Lecturer: Prof. Dr. Martin Wirsing

Benutzerdefinierte Datentypen, Teil 1

Recording from: 02.06.2010

Lecturer: Prof. Dr. Martin Wirsing

Typüberprüfung

(00:09:58) >: 4.2 Kartesisches Produkt

(00:27:08) >: 4.3 Benutzerdefinierte Typnamen

(00:35:09) >: 4.4 Verbunde (Records)

(00:45:52) >: 4.5 Listen

(00:54:49) >: 4.6 Typvariablen und polymorphe Typen

Recording from: 26.05.2010

Lecturer: Prof. Dr. Martin Wirsing

Funktionen höherer Ordnung

(00:08:00) >: 5.1 FunktionenalsParameter und Wertvon Funktionen

(00:23:25) >: 5.2 Currying

(00:47:50) >: 5.3. Grundlegende Funktionen höherer Ordnung

(01:09:55) >: 5.4 Die KombinatorenI, S und K

Recording from: 19.05.2010

Lecturer: Prof. Dr. Martin Wirsing

Datentypen und Polymorphie

(00:08:36) >: 4.2 Kartesisches Produkt

(00:46:27) >: 4.3 Benutzerdefinierte Typnamen

(00:53:25) >: 4.4 Verbunde (Records)

(00:59:10) >: 4.5 Listen

(01:12:38) >: 4.6 Typvariablen und polymorphe Typen

Recording from: 12.05.2010

Lecturer: Prof. Dr. Martin Wirsing

Beweismethodik für Eigenschaften rekursiver Funktionen

(00:00:00) >: 0. Einführung

(00:02:55) >: 1. Beweismethodik für Eigenschaften rekursiver Funktionen

(00:42:18) >: 2. Beweis der Terminierung

Recording from: 05.05.2010

Lecturer: Prof. Dr. Martin Wirsing

Rekursive Funktionen

Recording from: 28.04.2010

Lecturer: Prof. Dr. Martin Wirsing

Einführung in die Programmierung mit SML

Recording from: 21.04.2010

Lecturer: Prof. Dr. Martin Wirsing

Website:

http://www.pst.ifi.lmu.de/Lehre/sose-2010/promo

RSS-Feed abonnieren: