Funktionale Programmierung mit ausdrucksstarken Typsystemen - Einzelansicht

Veranstaltungsart	Vorlesung/Übung	Veranstaltungsnummer
SWS		Semester	WiSe 2024/25
Einrichtung	Institut für Informatik und Computational Science	Sprache	deutsch
Belegungsfristen	01.10.2024 - 10.11.2024
Belegungsfristen	01.10.2024 - 10.11.2024

Gruppe 1:

Vormerken: Zur Zeit keine Belegung möglich

		Tag	Zeit	Rhythmus	Dauer	Raum	Lehrperson	Ausfall-/Ausweichtermine	Max. Teilnehmer/-innen
	Vorlesung	Mo	16:00 bis 18:00	wöchentlich	14.10.2024 bis 03.02.2025	2.70.0.09	Kranz	23.12.2024: Akademische Weihnachtsferien 30.12.2024: Akademische Weihnachtsferien
	Übung	Mi	16:00 bis 18:00	wöchentlich	23.10.2024 bis 05.02.2025	2.70.0.09	Kranz	25.12.2024: 1. Weihnachtstag 01.01.2025: Neujahr

Strukturbaum

Die Veranstaltung wurde 12 mal im Vorlesungsverzeichnis WiSe 2024/25 gefunden:

Vorlesungsverzeichnis

Wirtschafts- und Sozialwissenschaftliche Fakultät

Wirtschaftswissenschaften

Bachelor of Science

Wirtschaftsinformatik (Prüfungsversion ab WiSe 2015/16)

Informatik

BVMINF100 - Vertiefung Informatik I - - - 1

Spezialisierung

BVMINF200 - Vertiefung Informatik II - - - 2

Mathematisch-Naturwissenschaftliche Fakultät

Institut für Informatik und Computational Science

Master of Science

Computational Science (Prüfungsversion ab WiSe 2019/20)

III. Vertiefungsmodule Informatik

INF-8091 - Advanced Topics in Computer Science II - - - 3

INF-8090 - Advanced Topics in Computer Science I - - - 4

INF-8062 - Semantik und Typsysteme - - - 5

Bachelor of Science

Computational Science (Prüfungsversion ab WiSe 2013/14)

II. Aufbaumodule Informatik

Logik, Berechnung und Komplexität - - - 6

Aufbaumodul Informatik I - - - 7

Aufbaumodul Informatik II - - - 8

Computational Science (Prüfungsversion ab WiSe 2019/20)

II. Aufbaumodule Informatik

INF-2060 - Logik, Berechnung und Komplexität - - - 9

INF-2090 - Aufbaumodul Informatik I - - - 10

INF-2091 - Aufbaumodul Informatik II - - - 11

Humanwissenschaftliche Fakultät

Department Linguistik

Bachelor of Science

Kognitionswissenschaft (Prüfungsversion ab WiSe 2021/22)

Wahlpflichtmodule

INF-2090 - Aufbaumodul Informatik I - - - 12