PDF

MODULBESCHREIBUNG

Programmiersprachen und formale Methoden

Kurzzeichen:
M_PrfM
Durchführungszeitraum:
HS 2017 - HS 2018
ECTS-Punkte:
4
Lernziele:
  • 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.
Verantwortliche Person:
Farhad D. Mehta
Zusätzlich vorausgesetzte Kenntnisse:

Englisch-Kenntnisse

(Dieses Modul wird auf Englisch durchgeführt.)

Modultyp:
Standard-Modul für Informatik (Bachelor 05) (Empfohlenes Semester: 5)
Standard-Modul für Informatik (Bachelor 11) (Empfohlenes Semester: 5)
Standard-Modul für Informatik (Bachelor 14) (Empfohlenes Semester: 5)
Standard-Modul für Application Design - Cloud Solutions (Bachelor 14)
Standard-Modul für Software Engineering (Bachelor 14)

ECTS-Punkte pro Kategorie

Kategorie:
Informatik (Bachelor 05)
Aufbau Informatik / 4 Punkte
Informatik (Bachelor 11)
Aufbau Informatik / 4 Punkte
Informatik (Bachelor 14)
Grundlagen Informatik und Aufbau Informatik / 4 Punkte
Application Design - Cloud Solutions (Bachelor 14)
Software Engineering (Bachelor 14)

Modulbewertung

Bewertungsart:
Note von 1 - 6

Leistungsbewertung

Während der Prüfungssession:
Schriftliche Prüfung, 120 Minuten
Zulassungsbedingungen zur Prüfung:

Testat erfordert erfolgreiche Abgabe einzelner gelöster Übungsaufgaben nach Ankündigung.


Während des Semesters:
 
Bewertungsart:
keine Note oder Wertung

Kurse in diesem Modul

Programmiersprachen und formale Methoden

Kürzel:
PrfM
Lernziele:

siehe oben

Plan 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

Dieser Kurs wird auf Englisch durchgeführt.

Kursart:
Vorlesung mit 2 Lektionen pro Woche
Uebung mit 2 Lektionen pro Woche
Beschreibung erzeugt: 2018-12-14 11:58:53
Letzte Moduländerung: 2017-01-03 11:10:59
Modul-Id: 30046 (Vorgänger)
Status: aktiviert