Zur Navigation springen
www.lmu.de
Fakultät 11
Unterrichtsmitschau
Shop
Aktuelle Vorlesungen
Alle Vorlesungen
Programmierung und Modellierung
Achtung. Diese Aufzeichnung ist aus dem Semester: 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
Aufzeichnung vom:
21.07.2010
Dozent:
Prof. Dr. Martin Wirsing
Operationelle und Denotationelle Semantik
(00:04:59)
>
1. Operationelle Semantik von SML-Ausdrücken
(01:06:10)
>
2. Fixpunktsätze
Aufzeichnung vom:
14.07.2010
Dozent:
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
Aufzeichnung vom:
07.07.2010
Dozent:
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
Aufzeichnung vom:
30.06.2010
Dozent:
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
Aufzeichnung vom:
23.06.2010
Dozent:
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
Aufzeichnung vom:
16.06.2010
Dozent:
Prof. Dr. Martin Wirsing
Benutzerdefinierte Datentypen, Teil 2
Aufzeichnung vom:
09.06.2010
Dozent:
Prof. Dr. Martin Wirsing
Benutzerdefinierte Datentypen, Teil 1
Aufzeichnung vom:
02.06.2010
Dozent:
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
Aufzeichnung vom:
26.05.2010
Dozent:
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
Aufzeichnung vom:
19.05.2010
Dozent:
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
Aufzeichnung vom:
12.05.2010
Dozent:
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
Aufzeichnung vom:
05.05.2010
Dozent:
Prof. Dr. Martin Wirsing
Rekursive Funktionen
Aufzeichnung vom:
28.04.2010
Dozent:
Prof. Dr. Martin Wirsing
Einführung in die Programmierung mit SML
Aufzeichnung vom:
21.04.2010
Dozent:
Prof. Dr. Martin Wirsing
RSS-Feed abonnieren:
Campus-Login
LMU-Login
Sie können sich per Campus-Kennung über das zentrale LMU-Portal einloggen.
[Warum einloggen?]
FAQ
Wie lange dauert es, bis eine Vorlesung...
Wie funktionert der Campus-Login bei ein...
...Notizen zu einer Vorlesung anlegen?
[mehr...]
E-Tutorials
Lehramtsstudium
Universitätsbibliothek
VideoOnline
Spe testbuilder
Aktuelle Nachrichten
Höhere Qualität der Vorlesungsvideos
Vorlesungsplan SoSe 2013
Wartungsarbeiten am 16.01.2013
[mehr...]
CONNECT
Werde Fan auf FB
Folge uns auf Twitter
Direkt erfahren, wenn eine Vorlesung online geht.