Fortgeschrittene Techniken funktionaler Programmierung: Unterschied zwischen den Versionen

← Zum vorherigen Versionsunterschied

Aktuelle Version vom 24. Februar 2013, 13:23 Uhr

Musterklausuren

Bitte beachte die Hinweise zu Altklausuren.

Für diese Veranstaltung noch keine eingesandt.

Fehler in den Lösungen an uns melden

Inhalt

Tipps und nützliche Infos

Literatur

Weblinks

Persönliche Kommentare

Nicht unterschriebene Kommentare werden gelöscht!

Mündliche Prüfung (Oktober 2008)

Thema-wunsch?
- CPOs
Was sind CPOs?
- -part.Ord und alle aufsteigende Ketten haben ein Supremum
  - Nicht ganz: Die Suprema müssen auch in der Menge enthalten sein
Welche Möglichkeiten gibt es CPOs zu konstruiren?
- flache CPO, direktes Produkt
Sind Funktionen auch CPOs? f: A -> B und g: A -> B, ist dann f < g?
- stetige Funktionen sind CPOs, allgemeine Funktionen müssen nicht zwingend CPOs sein
Weitere Möglichkeiten CPOs zu konstruieren?
- Idealvervollständigung
Beispiel für Idealvervollständigung?
- unendliche Listen
Warum?
Wofür sind CPOs gut?
- Fixpunktalgorithmen, .. Fixpunktsatz
Gibt es eine Optimierung für den Fixpunktalgorithmus?
- Mikroschritte
Wie sind Mikroschritte definiert?
Warum sind Queues böse?
- Weil sie nicht SingleThreadedness garantieren
Was ist SingleThreadedness?
Warum sind Monaden singleThreaded?
Welche Funktionen sind auf den Monaden def.?
Schreiben Sie die Definition von "_&" auf!

@@ Zeile 1: / Zeile 1: @@
+__NOTOC__
 {{Vorlage:KlausurBox|titel=|klausurliste=
 <!-- Bitte hier als Liste einfügen. -->
@@ Zeile 5: / Zeile 6: @@
 '''
 == Inhalt ==
 == Tipps und nützliche Infos ==
 == Literatur ==
 == Weblinks ==
 == Persönliche Kommentare ==
-: (Nicht unterschriebene Kommentare werden gelöscht!)
+<center>''Nicht unterschriebene Kommentare werden gelöscht!''</center>
-Mündliche Prüfung (Oktober 2008)
+=== Mündliche Prüfung (Oktober 2008) ===
-Thema-wunsch?
- CPOs
-Was sind CPOs?
- -part.Ord und alle aufsteigende Ketten haben ein Supremum
-Nicht ganz: Die Suprema müssen auch in der Menge enthalten sein
- Welche Möglichkeiten gibt es CPOs zu konstruiren?
- -> flache CPO, direktes Produkt
-Sind Funktionen auch CPOs? f: A -> B und g: A -> B, ist dann f < g?
- -> stetige Funktionen sind CPOs, allgemeine Funktionen müssenn nicht CPOs sein
-Weitere Möglichkeiten CPOs zu konstruiren?
- ->Idealvervolständigung
-Beispiel für Idealvervollständigung?
- -> unendliche Listen
- Warum?
-Wofür sind CPOs gut?
- -> Fixpunktalgorithmen, .. Fixpunktsatz
- Gibt es eine Optimierung für den Fixpunktalgorithmus?
- -> Mikroschritte
- Wie sind Mikroschritte definiert?
- Warum sind Queues böse?
- -> weil sie nicht SingleThreadedness garantieren
- Was ist SingleThreadedness?
- Warum sind Monaden singleThreaded?
-Welche Funktionen sind auf den Monaden def.?
- Schreiben Sie die Definition von "_&" auf!
+* Thema-wunsch?
+** CPOs
+* Was sind CPOs?
+** -part.Ord und alle aufsteigende Ketten haben ein Supremum
+*** Nicht ganz: Die Suprema müssen auch in der Menge enthalten sein
+* Welche Möglichkeiten gibt es CPOs zu konstruiren?
+** flache CPO, direktes Produkt
+* Sind Funktionen auch CPOs? f: A -> B und g: A -> B, ist dann f < g?
+** stetige Funktionen sind CPOs, allgemeine Funktionen müssen nicht zwingend CPOs sein
+* Weitere Möglichkeiten CPOs zu konstruieren?
+** Idealvervollständigung
+* Beispiel für Idealvervollständigung?
+** unendliche Listen
+* Warum?
+* Wofür sind CPOs gut?
+** Fixpunktalgorithmen, .. Fixpunktsatz
+* Gibt es eine Optimierung für den Fixpunktalgorithmus?
+** Mikroschritte
+* Wie sind Mikroschritte definiert?
+* Warum sind Queues böse?
+** Weil sie nicht SingleThreadedness garantieren
+* Was ist SingleThreadedness?
+* Warum sind Monaden singleThreaded?
+* Welche Funktionen sind auf den Monaden def.?
+* Schreiben Sie die Definition von "_&" auf!
 [[Kategorie: Lehrveranstaltungen]]
-__NOTOC__
+[[Kategorie: Informatik]]
+[[Kategorie: StuPO90]]
+[[Kategorie: Prüfungsprotokolle]]