The course introduces the basic elements of programming in order to solve problems that support algorithmically computable solutions. At the end of the course students are in state to build and formalize simple programs written with the functional paradigm. Students also learn to perform some analysis of the logical structure of a program in order to prove its correctness.

The topics covered start at the very basic concepts of functional programming, and then move onto recursion, iteration, types, lists, and invariants.

There are some introductory slides, alas in Italian:
The course offered an in-depth reader, alas in Italian, which can still be found: programmazione funzionale.pdf

Last edited Apr 12, 2015 at 7:45 PM by giuseppemag, version 2


No comments yet.