Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » Algebra des Programmierens Prüfung WS 2018/19
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Nächste Überarbeitung | Vorherige Überarbeitung | ||
pruefungen:hauptstudium:ls8:algprog_ws18 [10.04.2019 09:00] – angelegt Marcel[Inf] | pruefungen:hauptstudium:ls8:algprog_ws18 [30.03.2024 14:36] (aktuell) – Pfeile bei omega-Ketten umgedreht leonv | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
+ | ====== Algebra des Programmierens Prüfung WS 2018/19 ====== | ||
+ | |||
{{indexmenu>: | {{indexmenu>: | ||
===== Meta-Informationen ===== | ===== Meta-Informationen ===== | ||
+ | * Fach: Algebra des Programmierens vom WS 2018/19 | ||
+ | * Datum: vergessen, Prüfungszeitraum WS 2018/19 | ||
+ | * Prüfungsart: | ||
* Prüfer: Prof. Dr. Milius | * Prüfer: Prof. Dr. Milius | ||
* Beisitzer: Dr. Henning Urbat | * Beisitzer: Dr. Henning Urbat | ||
Zeile 70: | Zeile 75: | ||
* Wie konstruiert man initiale F-Algebren? | * Wie konstruiert man initiale F-Algebren? | ||
- | Bilde omega-Kette '' | + | Bilde omega-Kette '' |
* Warum ist '' | * Warum ist '' | ||
- | Sei '' | + | Sei '' |
==== CPOs, rekursive Funktionen ==== | ==== CPOs, rekursive Funktionen ==== |