Skip to main content
HOME
www.lmu.de
Fakultät 11
UnterrichtsMitschau
Lehrfilme
UnterrichtOnline.org
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 (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
Date:
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
Date:
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
Date:
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
Date:
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
Date:
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
Date:
16.06.2010
Lecturer:
Prof. Dr. Martin Wirsing
Benutzerdefinierte Datentypen, Teil 2
Date:
09.06.2010
Lecturer:
Prof. Dr. Martin Wirsing
Benutzerdefinierte Datentypen, Teil 1
Date:
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
Date:
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
Date:
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
Date:
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
Date:
05.05.2010
Lecturer:
Prof. Dr. Martin Wirsing
Rekursive Funktionen
Date:
28.04.2010
Lecturer:
Prof. Dr. Martin Wirsing
Einführung in die Programmierung mit SML
Date:
21.04.2010
Lecturer:
Prof. Dr. Martin Wirsing
Website:
http://www.pst.ifi.lmu.de/Lehre/sose-2010/promo
RSS-Feed abonnieren:
