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 

• 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