Modulbeschreibung
Programmiersprachen und formale Methoden
Kurzzeichen:
M_PrFm
Unterrichtssprache:
Deutsch
ECTS-Credits:
4
Leitidee:
- Verständnis und Sinn für verschiedene Programmierparadigmen und Sprachen ausserhalb des imperativen/OO Paradigmas entwickeln.
- Programme in den funktionalen und logischen Stilen erstellen.
- Die formalen Fundamente der behandelten Programmiersprachen verstehen.
Modulverantwortung:
Prof. Dr. Mehta Farhad D.
Standort (angeboten):
Rapperswil-Jona
Zusätzliche Eingangskompetenzen:
Englisch-Kenntnisse
Modultyp:
Wahlpflicht-Modul für Informatik Retro STD_14_UG(Empfohlenes Semester: 5)Kategorie:Grundlagen Informatik und Aufbau Informatik (I-gai)
Wahl-Modul für Application Design - Cloud Solutions STD_14 (PF)
Wahl-Modul für Software Engineering STD_14 (PF)
Wahlpflicht-Modul für Informatik STD_14(Empfohlenes Semester: 5)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:
- Funktionale Programmierung
- Logische Programmierung
- Formale Fundamente: formale Logik & Lambda Kalkül
- Allgemeine Konzepte der Programmiersprachen (z.B. Paradigmen, Typen, evaluation strategies)
- Spezialthemen (je nach Interesse und Zeit, z.B.: Typsysteme, Formale Modellierung und Verifikation von Software)
- Vergleiche und Reflektion