Du befindest dich hier: FSI Informatik » Prüfungsfragen und Altklausuren » Prüfungen im Bachelor-Studium (1. - 5. Semester) » Aufgabe 1
Unterschiede
Hier werden die Unterschiede zwischen zwei Versionen der Seite angezeigt.
Beide Seiten, vorherige ÜberarbeitungVorherige ÜberarbeitungNächste Überarbeitung | Vorherige ÜberarbeitungNächste ÜberarbeitungBeide Seiten, nächste Überarbeitung | ||
pruefungen:bachelor:thprog-ws15-braindump [05.10.2019 09:31] – Added def for square in 4 Axelax | pruefungen:bachelor:thprog-ws15-braindump [12.02.2020 09:00] – vulgrim | ||
---|---|---|---|
Zeile 1: | Zeile 1: | ||
- | Aufgabe 1 | + | ====== |
+ | |||
+ | (Warnung: Diese Aufgabe ist potentiell so nicht richtig) | ||
Wir definieren ein Termersetzungssystem über das aus zwei binären | Wir definieren ein Termersetzungssystem über das aus zwei binären | ||
Zeile 18: | Zeile 20: | ||
- | Aufgabe 2 | + | ====== |
Man erinnere sich an folgende auf Church-Kodierung definierte Funktionen: | Man erinnere sich an folgende auf Church-Kodierung definierte Funktionen: | ||
Zeile 61: | Zeile 64: | ||
Nicht bekannt... | Nicht bekannt... | ||
- | Aufgabe 3 | + | ====== |
Wir erinnern an den Datentyp der Listen und einige hierauf rekursiv | Wir erinnern an den Datentyp der Listen und einige hierauf rekursiv | ||
Zeile 68: | Zeile 72: | ||
length(Nil) = 0 | length(Nil) = 0 | ||
+ | |||
length(Cons x xs) = 1 + length(xs) | length(Cons x xs) = 1 + length(xs) | ||
Nil ⊕ ys = ys | Nil ⊕ ys = ys | ||
+ | |||
( Cons x xs ) ⊕ ys = Cons x ( xs ⊕ ys ) | ( Cons x xs ) ⊕ ys = Cons x ( xs ⊕ ys ) | ||
cMap f Nil = Nil | cMap f Nil = Nil | ||
+ | |||
cMap f ( Cons x xs ) = Cons ( f x ) ( cMap f xs ) | cMap f ( Cons x xs ) = Cons ( f x ) ( cMap f xs ) | ||
+ | |||
Beweisen Sie mittels struktureller Induktion, dass | Beweisen Sie mittels struktureller Induktion, dass | ||
Zeile 84: | Zeile 92: | ||
erläutern Sie alle Schritte des Beweises. | erläutern Sie alle Schritte des Beweises. | ||
- | Aufgabe 4 | + | ====== |
Alternierender Signalwert zwischen x und y | Alternierender Signalwert zwischen x und y | ||
Zeile 108: | Zeile 117: | ||
... | ... | ||
- | Aufgabe 5 | + | ====== |
Sei L die Sprache über Σ = {a, b, c}*, die gerade aus allen Worten über Σ | Sei L die Sprache über Σ = {a, b, c}*, die gerade aus allen Worten über Σ |