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

no way to compare when less than two revisions

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.


—pruefungen:hauptstudium:ls8:semprog_ss13_c [01.08.2013 16:35] (aktuell) – angelegt errnosys
Zeile 1: Zeile 1:
 +Prüfer: Daniel Gorín
 +
 +  * Was macht contradiction?
 +
 +  * In welchem Fall hilft kontradiction?
 +      - H: 0 = 1
 +      - H: False
 +      - H: A /\ ~A
 +  
 +  * Wie ist der Existenzquantor in Coq definiert? Wie Beweist man eine existenzquantifizierte Aussage?
 +  * Was ist ein Hoare-Triple? (Im Gespräch: Keine Aussage über Terminierung)
 +  * Nenne einige Hoare-Triple!
 +  * Was sind die Sprachkonstruktre des Lambda-Kalküls? Nach etwas diskussion: Church-Style vs. Curry-Style
 +  * Wie müsste man die Semantik von Imp verändern, wenn man ein "return" implementieren möchte, das ans Ende des Programms springt?
 +  * Wofür ist Typisierung in Imp gut? Was hat es mit type preservation auf sich? (Das Gespräch ging in Richtung "stuck", "value", Semantisches vs. Syntaktisches Konzept)