Aufgabe mit Multiple Choice: Seq Parametrisierter Datentyp? Real Param. Datentyp? Sind parametrisierte Datentypen immer rekursiv? ... ... Aufgabe Induz. Signatur TYPE deklaration gegeben – musste man die Induzierte Signatur angeben. Die Elemente davon je nach Art nennen. (Diskriminatoren, Selektoren usw). Was für ein Typ? Summentyp usw Aufgabe Erweiterter Datentyp TYPE Deklaration von obiger Aufgabe mit extra Konstruktor, was ist das für ein Datentyp jetzt? Welche induzierte Funktionen sind nicht total? Aufgabe Typinferenz Programmcode angegeben – die FUN davon gesucht Aufgabe Auswertung Kurzes Programm gegeben + kleine Seq, gesucht die Ausgabe des programms. Ohne zeilenweise Auswertung. Aufgabe Mergesort – Rekursionsart Welche Art von Rekursion nutzt der mergesort Algorithmus? Begründung? Aufgabe Aufwand Was ist besser für suchen? Sortierter baum oder liste? Was ist besser für suchen? Unsortierter Baum oder Liste? Aufgabe Multiple Choice – Traversierungsarten Inorder : links, node, rechts? Inorder: node, links , rechts? Preorder: ... .... .... TYPE adresse == (name : denotation, strasse : denotation, stadt : denotation) TYPE suchbaum == knoten(links : suchbaum, adresse : adresse, rechts : suchbaum) Aufgabe suchbaum 1 Suchbaum in eine Liste ausgeben Aufgabe suchbaum 2 Suchbaum aufbauen aus Liste Aufgabe suchbaum 3 Map für Suchbäume erstellen Aufgabe suchbaum 4 Höhe von einem Suchbaum mit n-Knoten? Aufgabe suchbaum 5 Funktion für die höhe eines Suchbaumes erstellen