1. Testklausur — Sommersemester 2013 Datenstrukturen und Algorithmen 24. Mai 2013
Volltext
ÄHNLICHE DOKUMENTE
• Informationen zu einem K ¨orper (Art, Lage, Parameter, Volumen, Oberfl¨ache, Farbe) sollen auf einfache Weise ausgegeben werden k¨onnen.. (a) Implementieren Sie in Java
Node left; // Wurzel des linken Unterbaums Node right; // Wurzel des rechten Unterbaums }.. private Node root; // Wurzelknoten des
Eine Formel A in Klauselform ist genau dann unerf¨ullbar, wenn es eine endliche Konjunktion von Grundinstanzen ihrer Klauseln gibt, die unerf¨ullbar ist. Konjunktionen von
Geben Sie eine Formel der Pr¨ adikatenlogik erster Stufe an, die genau dann wahr ist, wenn es einen Turm gibt, der genau aus zwei Bl¨ ocken besteht..
Geben Sie eine Formel der Pr¨ adikatenlogik erster Stufe an, die genau dann wahr ist, wenn jeder Block und der oberste Block seines Turmes die gleiche Basis haben..
Geben Sie eine JML-Nachbedingung f¨ ur die Methode removeDup an, die besagt, dass im Ergebnis- Array kein Wert doppelt
Diese Funktion im Z¨ahler beschreibt eine nach oben ge¨offnete Parabel mit den zwei Nullstellen 1 und 4... VI.1 und P-VI.1 Untersuchen Sie, ob das Minimum, Maximum,