Institut für Informatik
Rheinische Friedrich-Wilhelms-Universität Bonn


Index
Institut
Forschung
Lehre und Studium
DV-Dienste
Bibliothek
Fachschaft
 
Lehrveranstaltungen
Prüfungsangelegenheiten
Studienberatung
Kommission für Lehre und Studium
Vorlesungszeiten
Up:Übersicht: alle Semester
Up:Wintersemester 2003/04
Prev.:Relationale Datenbanken II (2V+2Ü) (C) [B]
Do 15-17, HS A207 (Dr. Thomas Bode)
Übungen: Mi 15-17, SR A121 (Dr. Thomas Bode, Serge Shumilov)
Next.:Informationssysteme (4V+2Ü) (B) [B3]
Mo, Mi 11-13, HS A (Prof. Dr. Rainer Manthey)
Übungen: Do 11-13 o. Fr 13-15, HS A 207 (Prof.Dr. Rainer Manthey, Andreas Behrend, Oliver Speidel)


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, OrtMo 11-13, HS A207, Do 13-15, HS A207
Semesterwochenstunden4V + 2Ü
ÜbungenMo 13-15, HS A207 (HD Dr. Ralf Hinze)
Bereich (alte DPO)B,C
Bereich (neue DPO)B
PrüfungsmöglichkeitenFü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/

  Uni-Bonn - Math-Nat - Informatik   -   I   II   III   IV   V   VI

Wobmaster - The Wob