M. Sc. Elisabeth Neumann Abgabe bis 24.01.2018 um 12 Uhr Aufgabe 11.1 (Pr¨ adikatenabstraktion)
Volltext
ÄHNLICHE DOKUMENTE
Das Programm verwaltet einen Zeiger, ¨ uber den es auf einzelne Elemente des Arrays zugreifen kann. Wir nehmen an, dass der Zeiger einen Wert aus Z annimmt. Die tats¨ achliche
[r]
Eine Safety-Eigenschaft oder Invariante eines Programms ist eine Menge Safe ⊆ Prog × State von Konfigurationen. Man sagt, die Eigenschaft ist erf¨ ullt, falls alle
In dieser Aufgabe sollen sollen Sie ausarbeiten, in wie fern sich die Konzepte der univer- sellen Turing-Maschine in diesem Modell wiederfinden lassen. Welche der Komponenten haben
Abgabe bis Do, 18.12., 12 Uhr Aufgabe 1 zur Bearbeitung in der ¨ Ubung Aufgaben 2-4 zur selbst¨ andigen Bearbeitung..
Durchführung: Die Bechergläser werden mit Hilfe des Messzylinders mit 80 ml befüllt und auf die Balkenwaage gestellt. In eins der Gläser wird 1 Spatel Speisesalz bzw.
Zeigen Sie nun, dass man diese Mengen rekursiv trennen könnte, falls es eine rekursive Interpolationsfunktion gäbe. Viel Spaß und
[r]