• Keine Ergebnisse gefunden

Aufgabe 2.3 (Schwächste Liberale Precondition - Anwendung) Es sei das folgende Programm gegeben: c=if (x≥y) then max:=x else max:=y

N/A
N/A
Info
Herunterladen
Protected

Academic year: 2021

Aktie "Aufgabe 2.3 (Schwächste Liberale Precondition - Anwendung) Es sei das folgende Programm gegeben: c=if (x≥y) then max:=x else max:=y"

Copied!
1
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Jetzt herunterladen ( 1 Seite )

Volltext

(1)

WS 2018/2019 01.11.2018 Übungen zur Vorlesung

Programmanalyse Blatt 2 Prof. Dr. Roland Meyer,

M. Sc. Sebastian Wolff,

M. Sc. Peter Chini Abgabe bis 06.11.2018 um 12 Uhr

Aufgabe 2.1 (Schwächste Liberale Precondition)

SeiSJAK=wlp(c, B). Zeigen Sie, dass folgende Aussagen gelten:

1. {A} c{B}ist gültig.

2. Falls{A′}c {B} gültig ist, dann giltA′ ⇒A.

Aufgabe 2.2 (Dijkstra)

Es seien A, B Assertions undcein Programm. Beweisen Sie:

A⇒pred(c, B) genau dann, wennpred′(A, c)⇒B.

Aufgabe 2.3 (Schwächste Liberale Precondition - Anwendung) Es sei das folgende Programm gegeben:

c=if (x≥y) then max:=x else max:=y.

Berechnen Siepred(c,(max=x)).

Abgabe bis 06.11.2018 um 12 Uhr im Kasten neben Raum 343

Referenzen

Jetzt herunterladen ( PDF - 1 Seite - 19.23 KB )

ÄHNLICHE DOKUMENTE

Aufgabe 34 Zeigen Sie die Dreiecksungleichung: ∀x, y ∈R gilt |x+y

Der nat¨urliche Logarith- mus, als Umkehrfunktion der Exponentialfunktion, ist nur f¨ur nicht-negative, reelle Werte definiert und ist differenzierbar (und damit auch stetig)..

Aufgabe:[Modelle, 4P] Zeigen oder widerlegen Sie: Sei M ={∀x∀y p(x, y)∨p(y, x)∨x=y, ∀x∀y∀z(p(x, y)∧p(y, z))→p(x, z) ∀x¬p(x, x) ∃x∀y(¬(x=y)→p(x, y)) ∃x∀y(¬(x=y)→p(y, x

Betrachte Beispiel 3.12 von Folie 169, die Arithmetik der

Aufgabe (2 Punkte): Es sei φ(x, y

Fachbereich Mathematik und Statistik Prof.

Gruppenübung, Mathematische Logik, SS 2016 Aufgabe 1 Zeigen Sie mit der Resolutionsmethode, dass folgende Formel unerfüllbar ist: (Z →X ∨Y)∧(Y → ¬X ∨Z)∧(¬Z ∨ ¬Y)∧(X ∨Z)∧(X →Y) Aufgabe 2 Was ist in (P(N

[r]

Aufgabe 3 (a) Bringen Sie die folgenden beiden Formeln in Skolem-Normalform. ∀x((¬∀y(x + y = y) → ∃y∃z(x + z + z = y + y)) ∧ ∀x∃y(x 6= y)) ∨ x + x = x x = y → (∃x(x 6= y) ∨ ((∀y(y = y)) → ∃y(x = y))) ∧ ∀x¬∃y¬∀z(x = z ∨ z = y) (b) Sei τ eine funktionale Si

[r]

Aufgabe 1 3+3+4 Punkte (a) Weisen Sie mit der Resolutionsmethode nach, dass die folgende Formel unerf¨ullbar ist : (X∨Z)∧(Y ∨ ¬Z∨X)∧(¬X∨Z)∧(¬Y ∨ ¬Z)∧(Y ∨ ¬X)

Ein Dominosystem D besteht aus einer endlichen Menge D von quadratischen Dominosteinen gleicher Gr¨ oße, deren vier Kanten (oben, unten, links, rechts) gef¨

Zeigen Sie: a) x×y⊥x und x×y⊥y, b) x×y 6= 0

Der Adressat des Briefes, der Marquis de l’Hˆ opital, hat es in der Wissen- schaftsgeschichte durch einen wohl einmaligen Vorgang zu zweifelhaftem Ruhm ge- bracht.. Die von

Aufgabe II.3 (a) Zeigen Sie, dass die Funktiond d(x, y

[r]