|
Logik in der Informatik
Prof. Dr. Martin Grohe |
 Institut für Informatik |
Der Vortrag von Herrn Biermann findet nun doch wie ursprünglich geplant am 3.2.2004 statt und wird nicht auf den 27.1.2004 verschoben.
Sollte das Schrödinger-Zentrum am 6.1.04 weiterhin bestreikt werden, findet das Seminar im Seminarraum 4.410 (Haus IV, 4. Etage) statt.
Der Vortrag am 25.11.03 über Typdeklarationen und Pattern Matching fällt aus.
Wegen des Dies Academicus am 2.12.2003 verschieben sich alle weiteren Vorträge um eine Woche. Die aktualisierte Vortragsliste finden Sie weiter unten.
Das erste Treffen, bei dem das Proseminar vorgestellt und die Vorträge vergeben werden, findet am Dienstag dem 21. Oktober um 15 Uhr statt.
Funktionale Programmiersprachen wie LISP, Haskell oder ML bieten eine interessante Alternative zu den herkömmlichen "imperativen" Sprachen wie Java oder C. Oftmals erlauben funktionale Programme eine wesentlich elegantere und schnellere Lösung von Programmierproblemen. Viele Konzepte moderner Programmiersprachen wurden zuerst im Rahmen funktionaler Sprachen entwickelt.
In diesem Proseminar wollen wir uns sowohl mit den theoretischen Grundlagen als auch mit der Praxis der funktionalen Programmierung befassen.
Dienstags 15-17 im Schrödinger Zentrum (Rudower Chaussee 26), Raum 1'308
| Datum | Thema | Referent | Literatur |
|---|---|---|---|
| 21.10.03 | Vergabe der Vortragsthemen | - | - |
| 28.10.03 | Funktionales Programmieren und die Sprache LISP | Stephan Kreutzer | - |
| 4.11.03 | Ungetypte arithmetische Ausdrücke | Martin Grohe | Pierce, Kapitel 3 |
| 11.11.03 | Ungetypter Lambda-Kalkül | Wadim Bayerbach | Pierce, Seite 51 - 63 |
| 18.11.03 | Lambda-Kalkül, Teil II | Holger Pirk | Pierce, Seite 63 - 73 |
| 6.1.04 | Typing, Exceptions, Polymorphie | Christian Fiebrig | aus OCaml, Kapitel 2 |
| 13.1.04 | Getypte arithmetische Ausdrücke | Lars Biermann | Pierce, Kapitel 8 |
| 3.2.04 | Haskell | Frank Baumann |