Vorlesung (Hauptstudium)
Deskriptive Programmierung
HD Dr. Ralf Hinze
Die Vorlesung vermittelt gemeinsame Grundlagen deskriptiver Programmiersprachen. Ziel der deskriptiven Prorammierung ist die Vereinfachung des Programmierprozesses: im (unerreichbaren) Ideal beschränkt sich die Programmiererin auf die Beschreibung eines Problems (das `Was'); die Operationalisierung der Beschreibung (das `Wie') wird von der Programmiersprache automatisch geleistet. Die beiden wesentlichen Richtungen dieses Programmierstils, die logische und die funktionale Programmierung, werden vorgestellt. Wichtige Vertreter der beiden Richtungen, insbesondere Prolog und Haskell, werden in ihren Grundzügen eingeführt und in den Übungen vertieft.
| Zeit, Ort | Mo, Do 13-15, HS A207 |
| Semesterwochenstunden | 4V + 2Ü |
| Beginn | 14.4.2005 |
| Übungen | Mo 15-17, HS A207 (HD Dr. Ralf Hinze) |
| Voraussetzungen | Grundkenntnisse in Logik und (Theorie der) Programmierung. |
| Bereich (alte DPO) | B,C |
| Bereich (neue DPO) | B |
| Prüfungsmöglichkeiten | Für B-Prüfungen kombinierbar mit einer einführenden Vorlesung in ein anderes Gebiet der Praktischen Informatik, z.B. Informationssysteme. Als Vertiefungsgebiet (C-Prüfung) eignet sich z.B. eine Kombination mit Deduktiven Datenbanken. Jeweils nach Absprache mit dem Dozenten. |
| Informationen im WWW | http://www.cs.uni-bonn.de/III/lehre/vorlesungen/DeskriptiveProgrammierung/SS00/ |
|
Übersicht: alle Semester
Entwurf und Sicherheit von Client/Server-Systemen
Deduktive Datenbanken