2002 by Ute Schmid

Funktionale Programmierung
Functional Programming

Ute Schmid

Fachgebiet Informatik, FB Mathematik-Informatik, Universität Osnabrück

Vorlesung im Wintersemester 2002/2003
(Lecture in winter term 02/03)

Kategorie: Informatik / Category: Computer Science

Course Language: English

Themen: Einführung in Konzepte der funktionalen Programmierung am Beispiel der Programmiersprache ML. Funktionen, Rekursion, Currying, Funktionen höherer Ordnung, Bindung, Evaluation, Lambda-Kalkül, Typ-Inferenz und Typ-Checking, Optimierung und Programmtransformation, Fixpunktsemantik, Theorembeweis und Verifikation. Vertiefung im Bereich KI-Programmierung mit Common-Lisp.
Empf. Semester: 3. Sem. und höher (Voraussetzung Info A, hilfreich Info B und D)

Topics: Introduction to concepts of functional programming based on the programming language ML. Functions, recursion, currying, higher order functions (functionals), binding, evaluation, lambda calculus, type inferece and type checking, optimization and program transformation, fixpoint semantics, theorem proving and verification. Special aspects of AI programming with Common Lisp.
Proposed for students in 3rd or higher semester (prerequisite Info A, helpful Info B and D)


Hours and Contact Online Information Credits Schedule and Syllabus Assignements

Hours and Contact

Online Information

Credits

Schedule and Syllabus

[Slides/Scriptum (pdf)] [Slides/Scriptum (ps)]

[Lisp Programs] [Stephan Weller's Programs]

Assignments

see [Assignement-Page (in German)]

Top of page