Modulbeschreibung

Funktionale Programmierung

Kürzel:
M_FunProg
Durchführungszeitraum:
nicht durchgeführt
ECTS-Credits:
4
Lernziele:

The main aim of this module is to apply formal programming language based techniques for the construction and verification of computer programs.

Special emphasis will be made on techniques outside mainstream programming in the imperative object oriented programming style, and verification using unit testing.

The students are able to:

  • construct programs in the functional style
  • verify the correctness of functional programs
  • explain the formal foundations of the techniques covered

The functional programming language Haskell will be used as a basis whenever appropriate.  

Verantwortliche Person:
Prof. Dr. Mehta Farhad D.
Standort (angeboten):
Rapperswil-Jona
Empfohlene Module:
Skriptablage:
Modultyp:
Wahlpflicht-Modul für Informatik STD_21(Empfohlenes Semester: 2)

Kurse in diesem Modul