Allgemeine Informationen

Veranstaltungsname	Übung: Semantik von Programmiersprachen (Übung)
Untertitel	http://swt.informatik.uni-halle.de/lehre/2009ws/semantik-von-programmiersprachen/
Semester	WS 2017/18
Aktuelle Anzahl der Teilnehmenden	2
Heimat-Einrichtung	Leitung des Instituts für Informatik
beteiligte Einrichtungen	Praktische Informatik (Softwareengineering)
Veranstaltungstyp	Übung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Mittwoch, 18.10.2017 08:15 - 09:45
Studiengänge (für)	Informatik (Diplom) Bioinformatik (Diplom) Informatik (Master)
SWS	3
Sonstiges	http://swt.informatik.uni-halle.de//lehre/2009ws/semantik-von-programmiersprachen/

Lehrende

Räume und Zeiten

Keine Raumangabe: Mittwoch: 08:15 - 09:45, wöchentlich(14x)

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 1: Seminar (Seminar)
Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > II. Informatik > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 1: Seminar (Seminar)
Bioinformatik BioinformatikMA120, Akkreditierungsfassung (WS 2009/10 - SS 2016) > Softwaretechnik und Programmiersprachen > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 1: Seminar (Seminar)
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 1: Seminar (Seminar)
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 1: Seminar (Seminar)
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 1: Seminar (Seminar)
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 1: Seminar (Seminar)
Informatik InformatikMA120, Akkreditierungsfassung (WS 2006/07 - SS 2013) > Primärmodule > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 1: Seminar (Seminar)
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 1: Seminar (Seminar)
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 1: Seminar (Seminar)
Wirtschaftsinformatik WirtschaftsinformatMA120, Akkreditierungsfassung (WS 2008/09 - WS 2015/16) > Informatik (W) > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 1: Seminar (Seminar)
Mathematik MathematikMA120, Akkreditierungsfassung (WS 2013/14 - SoSe 2023) > Anwendungsfach Informatik > INF.01110.08 - Semantik von Programmiersprachen, gültig ab WS 2006/07 > LV 1: Seminar (Seminar)
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 1: Seminar (Seminar)
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 1: Seminar (Seminar)
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)