Modulbeschreibung
Programmiersprachen und formale Methoden
Kurzzeichen:
M_PrfM
Unterrichtssprache:
Deutsch
ECTS-Credits:
4
Leitidee:
-
To develop an understanding of programming in paradigms and languages outside the mainstream imperative/OO paradigm.
-
To be able to program in the functional and logical styles.
-
To understand the formal foundations of the programming languages covered.
Modulverantwortung:
Prof. Dr. Mehta Farhad D.
Standort (angeboten):
Rapperswil-Jona
Zusätzliche Eingangskompetenzen:
Englisch-Kenntnisse
(Dieses Modul wird auf Englisch durchgeführt.)
Modultyp:
Wahlpflicht-Modul für Informatik Retro STD_14_UG(Empfohlenes Semester: 4)Kategorien:Grundlagen Informatik (I-g), Grundlagen Informatik und Aufbau Informatik (I-gai)
Wahlpflicht-Modul für Application Design - Cloud Solutions STD_14 (PF)Kategorie:Kernmodule Informatik Profile (I-KMP)
Wahl-Modul für Data Engineering & Machine Intelligence STD_14 (PF)
Wahlpflicht-Modul für Generalist STD_14 (PF)Kategorie:Kernmodule Informatik Profile (I-KMP)
Wahl-Modul für Network & Cloud-Infrastructure STD_14 (PF)
Wahlpflicht-Modul für Software Engineering STD_14 (PF)Kategorie:Kernmodule Informatik Profile (I-KMP)
Wahlpflicht-Modul für Informatik STD_14(Empfohlenes Semester: 4)Kategorien:Informatik (I_Inf), Rahmenausbildung (Kat_RA)
Modulbewertung:
Note von 1 - 6
Leistungsnachweise und deren Gewichtung
Modulschlussprüfung:
Schriftliche Prüfung, 120 Minuten
Inhalte
Angestrebte Lernergebnisse (Abschlusskompetenzen):
siehe oben
Modul- und Lerninhalt:
-
Functional Programming (Haskell)
-
Logic Programming (Prolog)
-
Formal foundations: Formal Proof & Lambda Calculus
-
General Programming language concepts (e.g. paradigms, types, evaluation strategies)
-
Special topics (depending on interest and time available, e.g. type systems, formal modelling and verification of software)
-
Comparisons and reflection.
This course will be taught in English.