Vorlesung: Typsysteme - Details

Allgemeine Informationen

Veranstaltungsname	Vorlesung: Typsysteme
Veranstaltungsnummer	INF-0433
Semester	WS 2025/26
Aktuelle Anzahl der Teilnehmenden	34
Heimat-Einrichtung	Theorie verteilter und paralleler Systeme
beteiligte Einrichtungen	Institut für Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Lehre
Nächster Termin	Mittwoch, 10.12.2025 10:00 - 11:30, Ort: (1055 N)
Voraussetzungen	Empfohlen: Einführung in die Theoretische Informatik
Leistungsnachweis	Klausur (60 Minuten)
Veranstaltung findet in Präsenz statt / hat Präsenz-Bestandteile	Ja
Hauptunterrichtssprache	deutsch
Literaturhinweise	'Types and Programming Languages' von Benjamin C. Pierce
ECTS-Punkte	5

Lehrende

• Prof.Dr. Kirstin Peters
• Lukas Bartl

Räume und Zeiten

(1055 N)

Mittwoch: 10:00 - 11:30, wöchentlich (13x)

Studienbereiche

• Fakultät für Angewandte Informatik > Informatik

Modulzuordnungen

• Informatik B.Sc. Informatik, PO 2013, 22. Version gültig ab SS 2025 > B.Sc. Informatik (PO '13) - Informatik-Vertiefung > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2016, 20. Version gültig ab WS 2025/26 > B.Sc. Informatik und Multimedia (PO '15) - Informatik und Multimedia-Vertiefung > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2013, 21. Version gültig ab WS 2024/25 > B.Sc. Informatik und Multimedia (PO '13) - Informatik und Multimedia-Vertiefung > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Geoinformatik B.Sc. Geoinformatik, PO 2011, 17. Version gültig ab SS 2023 > B.Sc. Geoinformatik (PO '11) - E: Wahlbereich > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik B.Sc. Informatik, PO 2013, 21. Version gültig ab WS 2024/25 > B.Sc. Informatik (PO '13) - Informatik-Vertiefung > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik B.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Informatik-Wahlbereich > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik B.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Informatik-Vertiefung A > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik B.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Informatik-Wahlbereich > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Wirtschaftsinformatik Bachelorstudiengang Wirtschaftsinformatik (PO 2022), 8. Version gültig ab WS 2025/26 > Modulgruppe N: Freier Wahlbereich - informatikorientiert > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2016, 19. Version gültig ab SS 2025 > B.Sc. Informatik und Multimedia (PO '15) - Informatik und Multimedia-Vertiefung > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2013, 22. Version gültig ab SS 2025 > B.Sc. Informatik und Multimedia (PO '13) - Informatik und Multimedia-Vertiefung > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik B.Sc. Informatik, PO 2018, 14. Version gültig ab SS 2025 > Informatik-Vertiefung A > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Wirtschaftsinformatik Bachelorstudiengang Wirtschaftsinformatik (PO 2022), 7. Version gültig ab SS 2025 > Modulgruppe N: Freier Wahlbereich - informatikorientiert > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Geoinformatik B.Sc. Geoinformatik, PO 2018, 15. Version gültig ab SS 2025 > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Geoinformatik B.Sc. Geoinformatik, PO 2018, 14. Version gültig ab WS 2024/25 > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik B.Sc. Informatik, PO 2018, 15. Version gültig ab WS 2025/26 > Informatik-Vertiefung A > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Wirtschaftsinformatik Bachelorstudiengang Wirtschaftsinformatik (PO 2022), 6. Version gültig ab WS 2024/25 > Modulgruppe N: Freier Wahlbereich - informatikorientiert > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik und Multimedia B.Sc. Informatik und Multimedia, PO 2016, 18. Version gültig ab WS 2024/25 > B.Sc. Informatik und Multimedia (PO '15) - Informatik und Multimedia-Vertiefung > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Geoinformatik B.Sc. Geoinformatik, PO 2018, 16. Version gültig ab WS 2025/26 > B.Sc. Geoinformatik (PO '18) - E. Wahlpflichtbereich > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik B.Sc. Informatik, PO 2018, 13. Version gültig ab WS 2024/25 > Informatik-Wahlbereich > INF-0433 - Typsysteme > Typsysteme (Vorlesung)
• Informatik B.Sc. Informatik, PO 2013, 23. Version gültig ab WS 2025/26 > B.Sc. Informatik (PO '13) - Informatik-Vertiefung > INF-0433 - Typsysteme > Typsysteme (Vorlesung)

Kommentar/Beschreibung

Einführung in Typsysteme für Programmiersprachen. Die Grundlagen werden aus theoretischer Sicht behandelt.