703518 Semantik von Programmiersprachen

Sommersemester 2008 | Stand: 26.08.2008 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Dr. Joanna Chimiak-Opoka Dr. Joanna Chimiak-Opoka, +43 512 507 39752
703518
Semantik von Programmiersprachen
VO 2
4
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesung verstehen sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbstständig zu erarbeiten. Weiters sollen sie ein vertieftes Verständnis für die Methoden der Spezifikation erlangt haben.
operationelle Semantik („natural semantics”, „structural operational semantics”), denotationelle Semantik
schriftliche Prüfung
Voraussetzung für die Anmeldung ist der positive Abschluss von Modul 1 Spezifikation and Verifikation.
Beginn: KW 10
http://qe-informatik.uibk.ac.at/index.php?option=content&task=view&id=319&Itemid=210
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Do 06.03.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 13.03.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 03.04.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 10.04.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 17.04.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 24.04.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 08.05.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 15.05.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 29.05.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 05.06.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 12.06.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 19.06.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 26.06.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 03.07.2008
 10.00 - 12.00 HS 10 HS 10 Barrierefrei
Do 25.09.2008
 13.00 - 16.00 HS 10 HS 10 Barrierefrei 2. exam