Modulbeschreibung

Funktionale Programmierung

Kürzel:

M_FunProg

Durchführungszeitraum:

nicht durchgeführt

ECTS-Punkte:

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:

Diskrete Mathematik für Informatik (M_DMI, HS/14-HS/24)

Skriptablage:

https://moodle.ost.ch

Modultyp:

Standard-Modul für Informatik STD_21(Empfohlenes Semester: 2)

ECTS-Punkte pro Kategorie

Informatik STD_21

Informatik / 4 Punkte

Rahmenausbildung / 4 Punkte

Modulbewertung

Bewertungsart:

Note von 1 - 6

Leistungsbewertung

Während der Prüfungssession:

Schriftliche Prüfung, 120 Minuten

Zulassungsbedingungen zur Prüfung:

Testataufgaben während des Semesters

Kurse in diesem Modul

Funktionale Programmierung

Kürzel:

FunProg

Semester:

Plan und Lerninhalt:

Functional programming (Haskell):
- Referential transparency
- Functions as first-class citizens
- Higher-order functions
- Algebraic datatypes
- Pattern matching
- Recursion
- Types & type inference
- Type classes
- Functors, Applicative, Monads
Verification:
- Property-based testing (Quickcheck)
- Proving program correctness
Formal foundations:
- Lambda calculus

Additional topics will be covered, depending on student interest and the time available in the current semester. Here are some examples of such topics covered in the past:

Logic programming
Formal proof
Type systems
Dependent types

Unterrichtssprache:

Deutsch

Kursart:

Durchführung gemäss Stundenplan

Vorlesung mit 2 Lektionen pro Woche

- Max. Teilnehmer: 126

- Harte Grenze: ja

Uebung mit 2 Lektionen pro Woche

- Max. Teilnehmer: 18

- Harte Grenze: ja

Übergangsregelungen:

Programmiersprachen und formale Methoden (M_PrFm / I) (HS/16)

Programmiersprachen und formale Methoden (M_PrfM / I) (HS/17-HS/19)

Programmiersprachen und formale Methoden (UT) (M_PrfM_UT / I) (nicht durchgeführt)

Programming Languages and Formal Methods (M_PLFM / I) (FS/20-FS/21)