| Nr. | Art | Termine | Raum | Veranstalter |
|---|---|---|---|---|
| 080039 | V4 | Di 10:15 - 11:45 | LMS2 - R.Ü1 | Hanus |
| Do 12:15 - 13:45 | LMS2 - R.Ü1 | |||
| 080036 | Ü2 | Mi 14:15 - 16:00 | CAP 4 - R. 715 | Hanus, Peemöller |
Dienstag, 23.10.2012, 10:15 Uhr, LMS2-Ü1
Studierende im Masterstudiengang Informatik und im Hauptstudium des Studiengangs Diplominformatik sowie Studierende mit Nebenfach Informatik
Grundstudium (1.-4. Semester) in Informatik, insbesondere Module Programmierung und Fortgeschrittene Programmierung (das Skript zu dieser Vorlesung ist hier innerhalb der CAU zugreifbar)
Aufgrund der Komplexität heutiger Software-Systeme ist die Verwendung von Programmiersprachen mit einem hohen Abstraktionsniveau notwendig. Deklarative Sprachen bieten hierzu wichtige Lösungsansätze. Aufgrund ihrer deklarativen Struktur sind die Programme leichter wartbar und verifizierbar (man denke an die immer wichtiger werdenden Sicherheitsaspekte wie z.B. im Internet). In dieser Vorlesung werden Konzepte moderner deklarativer Programmiersprachen vorgestellt.
Ausgehend von dem aus dem Grundstudium bekannten Konzept der funktionalen Programmierung, das kurz wiederholt und eingehender erläutert wird, werden funktionale Sprachen um logische Anteile erweitert, um die Konzepte der funktionalen, logischen und integrierten logisch-funktionalen Sprachen in einem einheitlichen Rahmen darzustellen. Außerdem werden die Grundlagen der funktionalen und logischen Programmierung vorgestellt.
Am Ende der Vorlesung findet eine mündliche Abschlussprüfung statt. Die erste mündliche Prüfung zur Vorlesung findet am Mittwoch, 27.2.2013 im Raum 706 (CAP4) statt. Die genauen Zeiten werden individuell vereinbart.
Es gibt kein ausführliches Skript zur Vorlesung, aber einige Notizen zur Vorlesung im PDF-Format (nur innerhalb der CAU Kiel zugreifbar!).
| 23.10.2012: | Einführung (PDF) |
| 23.10.2012: | Quicksort Email-Suche in Webseiten Su Doku-Löser (mit einem Web-Interface) |
| 29.10.2012: | Verwandtschaftsbeispiel (Haskell) |
| 4.12.2012: | Verwandtschaftsbeispiel (Curry) Spiel 24 (Curry) |
| 6.12.2012: | Reguläre Ausdrücke (Curry) |
| 13.12.2012: | Landkarte färben (Curry) Haus vom Nikolaus (Curry) |
| 17.1.2013: | Hypothekenberechnung (Curry) |
| 22.1.2013: | Constraint-Löser für SEND+MORE=MONEY (Curry) Su Doku-Löser (Curry) |
| 24.1.2013: | Counter GUI (Curry) GUI mit Temperaturkonverter (Curry) |
| 29.1.2013: | Tischrechner-GUI (Curry) |
| 31.1.2013: | Beispiele für set functions (Curry) |
| 5.2.2013: | Beispiele für funktionale Muster (Curry) |
In den begleitenden Übungen werden für praktische
Programmieraufgaben die Sprachen
Haskell
und Curry
eingesetzt, für die es frei verfügbare Implementierungen für
Unix- und Linux-Systeme gibt.
Die Abgabe der Übungen soll vornehmlich über das
iLearn Übungssystem
erfolgen. Hierzu wird man automatisch angemeldet, wenn man sich
bei der StudiDB angemeldet hat.