Vorlesung (Hauptstudium)
Deskriptive Programmierung
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 9-11, Do 13-15, HS A 207 |
| Semesterwochenstunden | 4V + 2Ü |
| Beginn | 25.10.2001 |
| Übungen | Mo 11-13, HS A 207 (Dr. Ralf Hinze) |
| Voraussetzungen | Grundkenntnisse in Logik und (Theorie der) Programmierung. | | Nachfolgeveranstaltungen | SS 2002: Haskell Programmierkurs. SS 2002: Fortgeschrittene Algorithmen und Datenstrukturen in Haskell. |
| Bereich (alte DPO) | B,C |
| 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/ |
|
Informatik III - alle Semester
Einführung in die Softwaretechnologie (SWT I)
Quantencomputer I