Allgemeine Informationen

Veranstaltungsname	Übung: Semantik von Programmiersprachen (Übung)
Semester	WS 2022/23
Aktuelle Anzahl der Teilnehmenden	8
Heimat-Einrichtung	Leitung des Instituts für Informatik
beteiligte Einrichtungen	Praktische Informatik (Softwareengineering)
Veranstaltungstyp	Übung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Dienstag, 25.10.2022 10:15 - 11:45, Ort: Seminarraum 1.03 [VSP 1] (Informatik)
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

Räume und Zeiten

Seminarraum 1.03 [VSP 1] (Informatik): Dienstag: 10:15 - 11:45, wöchentlich (13x)

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)