TheGI1: Grundlagen und Algebraische Strukturen Schriftliche ...

Weitere Magazine

Empfehlungen

Info

Matrikelnummer: Name: d. (4 Punkte) (*) Gib explizit an: die Menge von Gr<strong>und</strong>termen zur Sorte cont. Hinweis: Gib TΣ Cont,data nicht an. TΣ Cont,cont = e. (6 Punkte) (*) Berechne: xeval α,String cont (union(union(c1, empty), insert(d1, c2))) Hinweis: Gib mindestens drei bedeutsame Schritte an. 6/10
Matrikelnummer: Name: f. (5 Punkte) (*) Gib an: β : X → String <strong>und</strong> t ∈ TΣCont,cont, so dass xeval β,String cont (union(insert(d1, insert(s(s(z)), union(c2, t))), insert(s(z), empty))) = 12211. g. (6 Punkte) (*) Vervollständige die rechten Seiten durch möglichst einfache Terme, die ungleich zu den Termen der linken Seite sind, so dass die Algebra Set die Gleichungen erfüllt. Achtung: Bei dieser Teilaufgabe geht es um Set; nicht um String. 7/10 s(s(s(s(s(s(s(s(s(s(d1)))))))))) = insert(d1, insert(d1, c1)) = insert(d1, insert(d2, c1)) = union(c1, empty) = union(c1, insert(d1, c2)) = insert( , )
Seite 1 und 2: TheGI 1: Grundlagen und Algebraisch
Seite 3 und 4: Matrikelnummer: Name: Aufgabe 2: Ab
Seite 5: Matrikelnummer: Name: Aufgabe 4: St
Seite 9 und 10: Matrikelnummer: Name: Aufgabe 5: St

TheGI1: Grundlagen und Algebraische Strukturen Schriftliche ...

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?