703518 Semantik von Programmiersprachen

Sommersemester 2009 | Stand: 10.07.2009 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
https://qe-informatik.uibk.ac.at/index.php?option=com_content&id=65
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Do 05.03.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 12.03.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 19.03.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 26.03.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 02.04.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 23.04.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 30.04.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 07.05.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 14.05.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 28.05.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 04.06.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 18.06.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 25.06.2009
 10.15 - 13.00 HS 10 HS 10 Barrierefrei
Do 02.07.2009
 10.15 - 12.00 HS 10 HS 10 Barrierefrei