Sie befinden sich hier: Termine » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » Aufgabe 1   (Übersicht)

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

Both sides previous revision Vorhergehende Überarbeitung
Nächste Überarbeitung
Vorhergehende Überarbeitung
pruefungen:bachelor:thprog-ws15-braindump [12.02.2020 10:00]
vulgrim
pruefungen:bachelor:thprog-ws15-braindump [12.02.2020 10:05] (aktuell)
vulgrim
Zeile 106: Zeile 106:
 next ( square x y ) = square y x next ( square x y ) = square y x
 </​code>​ </​code>​
-1. Definieren Sie korrekursiv ​eine Fuktion ​alt: Signal -> Signal, so +1. Definieren Sie korekursiv ​eine Funktion ''​alt: Signal -> Signal''​, so dass ''​alt s''​  
-dass alt s den jeweils gesetzten Wert für ein gesetztes Bit ausgibt ( Ist x gesetzt, gebe x aus. Sind beide Werte gesetzt, nichts)+den jeweils gesetzten Wert für ein gesetztes Bit ausgibt ( Ist x gesetzt, gebe x aus. Sind beide Werte gesetzt, nichts) 
 Hinweis: Sie dürfen bei der Definition die üblichen Operationen auf Hinweis: Sie dürfen bei der Definition die üblichen Operationen auf
 Basistypen (z.B. Arithmetik auf Boolean) als gegeben annehmen. Basistypen (z.B. Arithmetik auf Boolean) als gegeben annehmen.
 +
 2. Geben Sie die Bedingungen an, die eine Relation erfüllen muss, um 2. Geben Sie die Bedingungen an, die eine Relation erfüllen muss, um
 eine Bisimulation auf signal zu sein. (Diese ergeben sich durch Spezialisierung eine Bisimulation auf signal zu sein. (Diese ergeben sich durch Spezialisierung
 des allgemeinen Begriffs aus der Vorlesung auf den Kodatentyp des allgemeinen Begriffs aus der Vorlesung auf den Kodatentyp
 signal) signal)
 +
 3. Beweisen Sie die folgende Eigenschaft durch Koinduktion:​ 3. Beweisen Sie die folgende Eigenschaft durch Koinduktion:​
 ... ...