Modulbeschreibung

Programmiersprachen und formale Methoden (UT)

Kürzel:
M_PrfM_UT
Durchführungszeitraum:
nicht durchgeführt
ECTS-Credits:
4
Lernziele:
  • 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.
Verantwortliche Person:
Prof. Dr. Mehta Farhad D.
Standort (angeboten):
Rapperswil-Jona
Empfohlene Module:
Zusätzlich vorausgesetzte Kenntnisse:

Englisch-Kenntnisse

(Dieses Modul wird auf Englisch durchgeführt.)

Skriptablage:
Modultyp:
Wahlpflicht-Modul für Informatik STD_05(Empfohlenes Semester: 5)
Wahlpflicht-Modul für Informatik STD_11(Empfohlenes Semester: 5)
Wahl-Modul für Informatik STD_14(Empfohlenes Semester: 4)
Wahlpflicht-Modul für Informatik Retro STD_14_UG(Empfohlenes Semester: 4)
Wahlpflicht-Modul für Application Design - Cloud Solutions STD_14 (PF)
Wahl-Modul für Data Engineering & Machine Intelligence STD_14 (PF)
Wahlpflicht-Modul für Generalist STD_14 (PF)
Wahl-Modul für Network & Cloud-Infrastructure STD_14 (PF)
Wahlpflicht-Modul für Software Engineering STD_14 (PF)

Kurse in diesem Modul