Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Hauptstudiumsprüfungen » Lehrstuhl 8 » Protokoll   (Übersicht)

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.

Link zu der Vergleichsansicht

Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung
pruefungen:hauptstudium:ls8:semprog_ss13 [29.07.2013 12:39] – rootzlevelpruefungen:hauptstudium:ls8:semprog_ss13 [29.07.2013 13:05] (aktuell) – rootzlevel
Zeile 22: Zeile 22:
            
    - Antwort: split oder apply vom Konstructor    - Antwort: split oder apply vom Konstructor
 +
 +===== Was ist functional extensionality ====
 +
 +   - forall x, f x = g x -> f = g
  
 ===== Wie haben wir Program-Equivalence definiert ===== ===== Wie haben wir Program-Equivalence definiert =====