Übung: Semantik von Programmiersprachen (Übung) - Details

Allgemeine Informationen

Veranstaltungsname	Übung: Semantik von Programmiersprachen (Übung)
Semester	WiSe 2025/26
Aktuelle Anzahl der Teilnehmenden	10
Heimat-Einrichtung	Leitung des Instituts für Informatik
beteiligte Einrichtungen	Praktische Informatik (Softwareengineering)
Veranstaltungstyp	Übung in der Kategorie Offizielle Lehrveranstaltungen
Nächster Termin	Montag, 12.01.2026 10:15 - 11:45, Ort: Seminarraum 2.25 [VSP 1] (Informatik)
Lehrsprache(n)	Deutsch
Studiengänge (für)	Informatik (Diplom) Bioinformatik (Diplom) Informatik (Master)
SWS	2
Sonstiges	http://swt.informatik.uni-halle.de//lehre/2009ws/semantik-von-programmiersprachen/

Lehrende

• Prof. Dr. Wolf Zimmermann
• Dr. Mandy Weißbach

Räume und Zeiten

Seminarraum 2.25 [VSP 1] (Informatik)

Montag: 10:15 - 11:45, wöchentlich (11x)

Keine Raumangabe

Montag: 10:15 - 11:45, wöchentlich(1x)

Studienbereiche

• Naturwissenschaftliche Fakultät III - Agrarwiss., Geowiss. und Informatik > Informatik > Institut für Informatik > Master

Modulzuordnungen

• Informatik InformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau` > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > II. Informatik > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2009/10 - SS 2016) > Softwaretechnik und Programmiersprachen > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Vertiefende Module der Vertiefungsrichtung `Algorithmen und Theoretische Informatik` > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung (WS 2013/14 - SS 2016) > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau` > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung (WS 2013/14 - SS 2016) > Vertiefende Module der Vertiefungsrichtung `Algorithmen und Theoretische Informatik` > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung gültig ab SoSe 2023 > Vertiefende Module der Vertiefungsrichtung `Algorithmen und Theoretische Informatik` > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Primärmodule > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Bioinformatik BioinformatikMA120, Akkreditierungsfassung gültig ab SoSe 2023 > Softwaretechnik und Übersetzerbau (Anteil gem. § 5 Abs. 4-6, Anlage 2) > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Informatik InformatikMA120, Akkreditierungsfassung gültig ab SoSe 2023 > Vertiefende Module der Vertiefungsrichtung `Softwaretechnik und Übersetzerbau` > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > Informatik (W) > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Mathematik MathematikMA120, Akkreditierungsfassung (WS 2013/14 - SoSe 2023) > Anwendungsfach Informatik > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Mathematik MathematikMA120, Akkreditierungsfassung gültig ab WS 2022/23 > Anwendungsfach Informatik (20 LP sind zu erbringen) > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)
• Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2016/17 - WS 2022/23) > Softwaretechnik und Übersetzerbau > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 2: Übung (Übung)