Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » Aufgabe 1 (Übersicht)
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige Überarbeitung | Nächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
pruefungen:bachelor:thprog-ws15-braindump [12.02.2020 09:00] – vulgrim | pruefungen:bachelor:thprog-ws15-braindump [12.02.2020 09:02] – vulgrim | ||
---|---|---|---|
Zeile 106: | Zeile 106: | ||
next ( square x y ) = square y x | next ( square x y ) = square y x | ||
</ | </ | ||
- | 1. Definieren Sie korrekursiv eine Fuktion alt: Signal -> Signal, so | + | 1. Definieren Sie korrekursiv eine Fuktion |
- | dass alt s den jeweils gesetzten Wert für ein gesetztes Bit ausgibt ( Ist x gesetzt, gebe x aus. Sind beide Werte gesetzt, nichts) | + | < |
+ | alt: Signal -> Signal | ||
+ | </ | ||
+ | , so dass '' | ||
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: | ||
... | ... |