Suche Home Einstellungen Anmelden Hilfe  

UNI Didaktik der
Informatik
DdI

Logische und Funktionale Programmierung

     
    Zielgruppe: Hauptstudium
    Beginn: 15.10.99
    Zeit (Vorlesung): freitags 9.15-10.45 Uhr
    Zeit (Übung): freitags 11.00-12.30 Uhr in ungeraden Wochen
    Ort: 1.8.064

    Inhaltsübersicht.

    • Programmierstile im Vergleich
    • Logische Programmierung mit Prolog 
      • Basiskonstrukte: Fakten, Regeln, Anfragen
      • Von der Prädikatenlogik zur PROgrammierung in LOGik
      • Datentypen und logische Konstrukte in Prolog
      • Elementare Programmiertechniken
      • Extralogische Konstrukte in Prolog und ihre Problematik
      • Praktische Programmierung in Prolog
    • Funktionale Programmierung mit ML 
      • Grundelemente: Funktionen, Typen, Konstruktoren
      • Vom l-Kalkül zur funktionalen Programmierung mit ML
      • Datentypen und funktionale Konstrukte in ML
      • Funktionen höherer Ordnung
      • Praktische Programmierung in ML
    • Logisch-funktionale Programmierung (Babel)
    Scheinerwerb.
    nach Vereinbarung 

    Literatur.
    Logische Programmierung 

    • H. Kleine Büning/s. Schmitgen: "Prolog". B.G. Teubner 1988
    • F. Belli: "Einführung in die logische Programmierung mit Prolog". BI-Wissenschaftsverlag 1988 
    • W.F. Clocksin, C.S. Mellish: "Programming in Prolog". Springer-Verlag 1994 
    • M. Hanus: "Problemlösen mit Prolog". Teubner Verlag 1987 
    • J.W. Lloyd: "Foundations of logic programming". Springer-Verlag 1993 
    • U. Schöning: "Logik für Informatiker". Spektrum-Verlag 1995 
    Funktionale Programmierung 
    • R. Bird, P. Wadler: "Einführung in die funktionale Programmierung". Hanser Verlag 1992 
    • B. Maclennan: "Functional programming: Practice and theory". Addison-Wesley 1989 
    • L.C. Paulson: "ML for the working programmer". Cambridge Univ. Press 1996 
    • P. Thiemann: "Grundlagen der funktionalen Programmierung". B.G. Teubner 1994
    • A. Wikström: "Functional programming using standard ML". Prentice-Hall 1987 
    R. Loogen: "Integration funktionaler und logischer Programmiersprachen". R. Oldenbourg 1995 
     

    Skriptum und Software

Benutzer: Gast • Besitzer: mthomas • Zuletzt gešndert am: