703518 Semantik von Programmiersprachen

Sommersemester 2010 | Stand: 29.07.2010 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
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 11.03.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 18.03.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 25.03.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 15.04.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 22.04.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 29.04.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 06.05.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 20.05.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 27.05.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 10.06.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 17.06.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 24.06.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei
Do 01.07.2010
 10.15 - 12.00 HS 10 HS 10 Barrierefrei