Fortgeschrittene Techniken funktionaler Programmierung: Unterschied zwischen den Versionen
Mutax (Diskussion | Beiträge) K (hat „Fortgeschrittene Techniken funktionaller Programmierung“ nach „Fortgeschrittene Techniken funktionaler Programmierung“ verschoben: typo) |
Bmay (Diskussion | Beiträge) K (Formtiert, Kategorisiert, Typos korrigiert) |
||
| Zeile 1: | Zeile 1: | ||
| + | __NOTOC__ | ||
{{Vorlage:KlausurBox|titel=|klausurliste= | {{Vorlage:KlausurBox|titel=|klausurliste= | ||
<!-- Bitte hier als Liste einfügen. --> | <!-- Bitte hier als Liste einfügen. --> | ||
| Zeile 5: | Zeile 6: | ||
''' | ''' | ||
== Inhalt == | == Inhalt == | ||
| − | |||
| − | |||
== Tipps und nützliche Infos == | == Tipps und nützliche Infos == | ||
| − | |||
| − | |||
== Literatur == | == Literatur == | ||
| − | |||
| − | |||
== Weblinks == | == Weblinks == | ||
| − | |||
| − | |||
== Persönliche Kommentare == | == Persönliche Kommentare == | ||
| − | + | <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ü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]] | [[Kategorie: Lehrveranstaltungen]] | ||
| − | + | [[Kategorie: Informatik]] | |
| + | [[Kategorie: StuPO90]] | ||
| + | [[Kategorie: Prüfungsprotokolle]] | ||
Aktuelle Version vom 24. Februar 2013, 13:23 Uhr
Musterklausuren
Bitte beachte die Hinweise zu Altklausuren.
Für diese Veranstaltung noch keine eingesandt.
Inhalt
Tipps und nützliche Infos
Literatur
Weblinks
Persönliche Kommentare
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
- -part.Ord und alle aufsteigende Ketten haben ein Supremum
- 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!
