Ludwig-Maximilians-Universität München, Institut für Informatik
Lehr- und Forschungseinheit für Programmierung und Softwaretechnik
https://www.pst.ifi.lmu.de/Lehre/WS0203/psem/
Proseminar "Grundlagen höherer Programmiersprachen" (Wintersemester 2002/03)
Aktuelles
- [2003-01-08] Am 23. Januar findet das Proseminar nicht statt (siehe unten).
Inhalt
- Konzepte logischer, funktionaler und objektorientierter Programmiersprachen
- Kalküle und Grundlagen der drei oben erwähnten Programmier-Paradigmen
- Implementierung der Paradigmen in Scheme
-
Hörerkreis:
-
Studierende im Grundstudium mit Hauptfach Informatik
-
Voraussetzungen:
-
Grundkenntnisse in Informatik
-
Literatur:
-
wird in der Vorbesprechung bekanntgegeben
-
Erwartete Leistungen:
-
- Am Anfang jeder Sitzung (ab der zweiten) gibt es einen kurzen (und einfachen) Test, mit dem der vorherige Vortrag wiederholt wird. Voraussetzung für den Schein sind 50% aller Punkte
- Vortrag (ca. 45-60 Minuten ohne Diskussion)
- Schriftliche Ausarbeitung (ca. 10 Seiten)
- Aktive Beteiligung an Diskussionen
- Es besteht Anwesenheitspflicht. Entschuldigen Sie sich bitte rechtzeitig vorher beim Betreuer, wenn Sie nicht anwesend sein können. Wer mehr als einmal fehlt oder seinen Vortrag nicht am vereinbarten Termin hält, bekommt nur unter besonderen Umständen einen Schein.
-
Regeln zur Vortragsvorbereitung:
-
Wenn die folgenden Termine nicht eingehalten werden, kann kein Schein ausgestellt werden:
- 2 Wochen vor Vortrag: Besprechung des Stoffes. Treffen mit dem Betreuer, bei dem der Vortragende eine Gliederung vorlegt und Fragen zum Stoff stellen kann.
- 1 Woche vor Vortrag: Besprechung der kompletten Ausarbeitung und Folien.
- Montag vor dem Vortrag: Bis um 10:00 Uhr in der Früh eine Kopie der Folien- und der Ausarbeitungs-Datei per E-Mail (rauschma AT informatik.uni-muenchen.de) an Axel Rauschmayer schicken.
- Probevortrag: Bei Bedarf kann ein Termin für einen Probevortrag mit dem Betreuer ausgemacht werden.
Personen
-
Veranstalter:
-
Prof. Dr. Fred Kröger, Zimmer 0.54, Oettingenstr. 67
-
Axel Rauschmayer, Zimmer E5, Oettingenstr. 67. E-Mail:
rauschma AT informatik.uni-muenchen.de.
Termine
Regelmäßig:
- Proseminar: Donnerstags, 14:15 bis 15:45 Uhr, Raum 1.43, Oettingenstr. 67.
- Besprechung der Vortrags-Gliederung: Donnerstag ab 16:00 s.t. (direkt nach der Proseminar-Stunde), Raum E5, Oettingenstr. 67. Anderer Termin nach Vereinbarung.
- Besprechung von Folien und Vortrag: Mittwochs ab 14:00 s.t., Raum E5, Oettingenstr. 67. Anderer Termin nach Vereinbarung.
-
Einführungsveranstaltung und Vergabe der ersten 3 Themen an Zweier-Gruppen
-
Zeit: Mo, 07.10.2002, 14:15 Uhr
-
Ort: Raum E0.3, Oettingenstr. 67
-
Vergabe der restlichen Themen, Klärung offener Fragen. Noch kein Vortrag
-
Zeit: Do, 17.10.2002, 14:15 Uhr
-
Ort: Raum E0.15, Oettingenstr. 67
-
Erster Vortrag
-
Zeit: Do, 24.10.2002, 14:15 Uhr
-
Ort: Raum E0.15, Oettingenstr. 67
Themen und Vortragende
Abkürzungen in eckigen Klammern stehen für Bücher und sind auf der Literatur-Seite aufgeschlüsselt.
-
24.10.2002 und
31.10.2002
-
Thema: Scheme [
Ausarbeitung |
Handout ] und Lambda-Kalkül [
Ausarbeitung |
Handout ]
-
Vortragende:
Philipp Gröschel und
Sebastian Sand
-
Stoff: [EoPL] Kapitel 1-4; Scheme-Tutorial; Lambda-Kalkül-Tutorial; Felleisen-Paper
-
07.11.2002 und
14.11.2002
-
Thema: Interpreter [
Ausarbeitung |
Handout ] und Objekt-Orientierung [
Ausarbeitung |
Handout ]
-
Vortragende:
Elisabeth Georgieva und
Judith Schmidt
-
Stoff: [EoPL] Kapitel 5 und 7
-
21.11.2002 und
28.11.2002
-
Thema: Logik-Programmierung -- Anwendung [
Ausarbeitung |
Handout ] und Implementierung [
Ausarbeitung |
Handout ]
-
Vortragende:
Bettina Hikele und
Petar Tonev
-
Stoff: [SICP] Kapitel 4.4 und 4.5
-
05.12.2002 und
12.12.2002
-
Thema: Semantik [
Ausarbeitung |
Handout ] und Verifikation [
Ausarbeitung |
Handout ]
-
Vortragende:
Ahmed Abada und
Walter Kammergruber
-
Stoff: Kapitel 1-2.3 und Kapitel 3 im [SemApp]
-
19.12.2002
-
Thema: Continuations [
Ausarbeitung |
Handout ]
-
Vortragende:
Iskrena Avramova
-
Stoff: [EoPL] Kapitel 7 ohne 7.2, 7.3, 7.6
-
09.01.2003
-
An diesem Tag findet kein Proseminar statt!
-
16.01.2003
-
Thema: Typen [
Ausarbeitung |
Handout ]
-
Vortragender:
Christian Kagermaier
-
Stoff: [Types] Kapitel 8,9
-
23.01.2003
-
An diesem Tag findet kein Proseminar statt!
-
30.01.2003
-
Thema: Typinferenz [
Ausarbeitung |
Handout ]
-
Vortragender:
Roland Eckl
-
Stoff: [Types] Kapitel 22
-
06.02.2003
-
Thema: Model-Checking [
Ausarbeitung |
Handout ]
-
Vortragender:
Patrick Nepper
-
Stoff: Eigener Abschnitt auf Literatur-Seite
Literatur
...wurde ausgelagert auf eine
extra Seite.
Lehrveranstaltungen
Lehrstuhl
Institut
Universität