Suche Home Einstellungen Anmelden Hilfe  

UNI Didaktik der
Informatik
DdI

Logische und Funktionale Programmierung

Erweiterungsstudium
     
    Veranstalter Marco Thomas
    Zielgruppe: 4. Semester Erweiterungsstudium
    Beginn: 15.04.2000
    Zeit 
    15.4. 13:30 - 18:30 Uhr V+V+Ü
    06.05. 13:30 - 15:00 Uhr V
    27.05. 11:00 - 15:00 Uhr V+Ü
    17.06. 13:30 - 15:00 Uhr V
    24.06. 11:00 - 15:00 Uhr V+Ü
    08.07. 13:30 - 15:00 Uhr V
    15.07. 11:00 - 15:00 Uhr V+Ü
    Ort: 1.8.064

    Inhalte

    • Programmierstile im Vergleich
    • Logische Programmierung mit Prolog 
      • 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 
      • Funktionen, Ausdrücke, Werte
      • Vom l-Kalkül zur funktionalen Programmierung mit ML
      • Datentypen und funktionale Konstrukte in ML
      • Rekursive Funktionen und Funktionale
      • Modulare Programmierung in ML
    • Logisch-funktionale Programmierung (BABEL)
    • Deklarative Sprachen im Informatikunterricht


    Scheinerwerb.
    wird in der Vorlesung bekanntgegeben

    Literatur.
    Logische Programmierung 

    • I. Bratko: "Programmierung für künstliche Intelligenz". Addison-Wesley 1987
    • H. Kleine Büning/s. Schmitgen: "Prolog". B.G. Teubner 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 

info  Logische und Funktionale Programmierung (Erweiterungsstudium) - Folien zur Vorlesung SS 2000
info  Logische und Funktionale Programmierung - Folien zur Vorlesung WS99
info  Skriptum Funktionale und Logische Programmierung - Schwill
info  Software
info  Übungen SS 00
info  Übungen WS 99/00
info  Virtual Library - Logic Programming
info  Vorlesungsankündigung SS99 - Erweiterungsstudium
info  Vorlesungsankündigung WS98/99
info  Vorlesungsankündigung WS99/00

Benutzer: gast • Besitzer: schwill • Zuletzt geändert am: