Aufgabe Bonus.1. Aufgabe Bonus.2. Aufgabe Bonus.3. Aufgabe Bonus.4. HTWK Leipzig, Fakultät IMN Prof. Dr. Sibylle Schwarz

Transkript

1 HTWK Leipzig, Fakultät IMN Prof. Dr. Sibylle Schwarz Bonus. Übung zur Vorlesung Modellierung Wintersemester 2017/18 Lösungen bis 3. Januar 2018 einzusenden im Opal-Kurs zum Modul: Aufgabe Bonus.1 Geben Sie vier Mengen A, B, C, D an, so dass A B = C D =, A C, 1 A D, B C = {2}, B D = {3} und B \ (C D) gilt. Aufgabe Bonus.2 Welche der folgenden Aussagen sind für jedes beliebige Paar von Mengen (A, B) (2 M ) 2 wahr und welche falsch? Begründen Sie Ihre Antworten. a. (A B) (A \ B ), b. (B A) (B A = B), c. (A B) (A \ B = ), d. (A B) (A B = A), e. (B A) (A \ B ). Aufgabe Bonus.3 Welche der folgenden Aussagen gelten für die Menge M = 2 {0,1} {0}? Begründen Sie Ihre Antworten. a. M g. {0} M b. M c. { } M d. { } M e. 0 M f. 0 M h. {0} M i. {{0}} M j. {{0, 1}} M k. {0, {1}} M l. {{0}, {1}} M Aufgabe Bonus.4 Wahr, falsch oder Typfehler? Begründen Sie Ihre Antworten. a. ε = h. ε {ab, ε} b. ε c. ε d. ε e. ε f. ε {ab, ε} {ε} g. ε {ab, ε} i. = j. {ε} = ε k. {ε} = {ε} l. {a, b} = {ab} m. {a, b} = ({a} {b}) n. {b} ({a} {b} ) = {a, b}

2 Aufgabe Bonus.5 Die Relation R N N ist definiert durch R = {(m, n) a N(am = n)}. Geben Sie für jede Zahl k {0, 2, 3, 4, 6, 12} an: a. π 2 ( R {k} ) b. π 2 ( R 1 {k} ) Aufgabe Bonus.6 Zeigen Sie, dass für alle binären Relationen R A B und S B C gilt a. (R S) 1 = R 1 S 1 b. (R S) 1 = S 1 R 1 Aufgabe Bonus.7 Welche der folgenden Aussagen gelten für alle binären Relationen R M 2 auf Mengen M? Begründen Sie Ihre Antworten. a. Jede asymmetrische Relation ist irreflexiv. b. Jede irreflexive Relation ist asymmetrisch. c. Jede antisymmmetrische Relation ist asymmetrisch. d. Jede transitive irreflexive Relation ist asymmetrisch. Aufgabe Bonus.8 Beantworten Sie die folgenden Fragen und begründen Sie Ihre Antworten: a. Wieviele Kanten hat der K 7? b. Für welche n N enthält der K n einen Eulerkreis? c. Für welche n N enthält der K n einen bipartiten Teilgraphen? d. Geben Sie alle Zahlen n an, für die K n ein Teilgraph des C 5 ist. e. Geben Sie alle Zahlen n an, für die C n ein Teilgraph des K 5 ist. Aufgabe Bonus.9 Eine Graph G, der isomorph zu seinem Komplement G ist, heißt selbstkomplementär. a. Geben Sie alle selbstkomplementären Graphen mit höchstens 4 Ecken an. b. Geben Sie alle selbstkomplementären Graphen mit höchstens 5 Kanten an. c. Für welche n 10 gibt es selbstkomplementäre Graphen mit n Knoten? Begründen Sie. Aufgabe Bonus.10 a. Geben Sie die Menge aller Bäume an, in denen zwischen je zwei verschiedenen Blättern ein Pfad ungerader Länge existiert. Begründen Sie Ihre Antwort. b. Geben Sie die Menge aller Bäume an, in denen alle Pfade zwischen je zwei verschiedenen Blättern dieselbe Länge haben. Begründen Sie Ihre Antwort.

3 Aufgabe Bonus.11 Zeigen Sie, dass es keinen zusammenhängenden (ungerichteten schlingenfreien) Graphen mit n Knoten und weniger als n 1 Kanten gibt. Aufgabe Bonus.12 a. Beschreiben Sie die folgenden Sachverhalte durch logische Formeln: Tom hat drei Paar Schuhe: ein Paar rote Stiefel, ein Paar blaue Stiefel und ein Paar grüne Halbschuhe. E trägt immer genau eines dieser Paare. Seine grünen Schuhe trägt er immer, wenn kein Schnee liegt. Liegt Schnee, dann trägt er Stiefel. Wenn die Sonne nicht scheint, trägt er seine gelbe Jacke. Seine Freundin mag kein Rot, deshalb trägt er nie etwas rotes, wenn er sie besucht. Tom trägt nie gelb und blau zugleich. Verwenden Sie dazu nur die Aussagevariablen: G Tom trägt grüne Schuhe R Tom trägt rote Stiefel. B Tom trägt blaue Stiefel. J Tom trägt seine gelbe Jacke. F Tom besucht seine Freundin. S Es liegt Schnee. O Die Sonne scheint. b. Bei welchem Wetter kann Tom seine Freundin mit Jacke besuchen? Welche Schuhe trägt er dabei? Aufgabe Bonus.13 Ein Hundertjähriger berichtet über seine Essgewohnheiten: Wenn ich keinen Fisch esse, dann esse ich Eiscreme oder trinke Bier. Wenn ich Bier trinke und auf die Eiscreme verzichte, dann esse ich Fisch oder trinke kein Bier. Wenn ich dagegen Fisch oder Eiscreme esse, dann trinke ich kein Bier und esse auch keine Eiscreme. a. Formalisieren Sie jede dieser Aussagen durch eine aussagenlogische Formel (wenn man davon ausgeht, dass er als erfahrener Mann das inklusive oder meint). Geben Sie dabei auch die Bedeutung der dazu verwendeten Aussagevariablen an. b. Durch welche Diät hat der alten Mann ein so hohes Alter erreicht? Aufgabe Bonus.14 Gegeben ist die Formel ϕ = (a b) (b c). a. Geben Sie die Modellmenge der Formel ϕ an. b. Ist die Formel ϕ allgemeingültig? Begründen Sie Ihre Antwort. c. Geben Sie eine zur Formel ϕ äquivalente Formel in konjunktiver Normalform an.

4 Aufgabe Bonus.15 Finden Sie die Modellmengen für die Formel ϕ = ((p (q r)) ( p (q r))) und ihre Negation ϕ. Aufgabe Bonus.16 Überlegen Sie sich, wie Eulersche Quadrate der Größe n n durch aussagenlogische Formeln in CNF modelliert werden können. Informationen zu Eulerschen Quadraten finden Sie z.b. unter a. Wieviele Aussagenvariablen werden benötigt? Welche Information repräsentieren sie? b. Wie lassen sich die Spielregeln durch aussagenlogische Formeln in CNF modellieren? c. Wie lassen sich Eulersche Quadrate mit SAT-Solvern lösen? Aufgabe Bonus.17 Welche der folgenden Aussagen sind korrekt? ( a b) (a b) b a b (a b) (1) a b a b ((a b) (b c)) ((a b) c) (4) a b (a b) (b a) (5) (a (a b)) b Begründen Sie jede Ihrer Antworten durch äquivalente Umformungen oder Angabe eines Gegenbeispieles. Aufgabe Bonus.18 a. Geben Sie für P = {p, q, r, s} eine aussagenlogische Formel ϕ AL(P ) an, die genau von allen Belegungen erfüllt wird, unter denen mindestens zwei der Atome falsch sind. b. Geben Sie zu eine zu dieser Formel äquivalente Formel ψ AL(P ) in DNF an. c. Geben Sie zu eine zu dieser Formel äquivalente Formel η AL(P ) in CNF an. (2) (3) (6) Aufgabe Bonus.19 Welche der folgenden Aussagen gelten: Mod((p q) (p q)) Mod((p p) q) Mod((p q) (p q) (p q)) Mod((p p) q) Begründen Sie Ihre Antworten. Aufgabe Bonus.20 Schreiben Sie die folgenden Aussagen und deren Negation als prädikatenlogische Formeln auf. Geben Sie jeweils auch die Mengen der relevanten Individuen, Funktionen und Relationen und an. a. Alle Primzahlen sind gerade. (mit den Prädikaten P (x) x ist prim, G(x) x ist gerade) b. Jede natürliche Zahl hat eine natürliche Zahl als Vorgänger. (mit den Prädikaten N(x) es gilt x N, P (x, y) x ist Vorgänger von y)

5 Aufgabe Bonus.21 Geben Sie für die Signaturen Σ F 1 = {(c, 0)}, Σ F 2 = {(f, 1)} und Σ R = {(R, 2)} jeweils die intensionale Darstellungen und zwei verschiedene Elemente (sofern diese existieren) der folgenden Mengen an. Beispiel: für Σ F = Σ F 2 gilt Term(Σ F, {x, y}) = {f i (x) i N} {f i (y) i N} mit Notation: f i (x) = f(... f(x)...) }{{} i mal zwei verschiedene Elemente aus Term(Σ F, {x, y}): y, f(f(x)) a. Term(Σ F, ) mit Σ F = Σ F 1 b. Term(Σ F, ) mit Σ F = Σ F 2 c. Term(Σ F, {x, y}) mit Σ F = Σ F 1 d. Term(Σ F, ) mit Σ F = Σ F 1 Σ F 2 e. Term(Σ F, {x, y}) mit Σ F = Σ F 1 Σ F 2 f. Atom((Σ F, Σ R ), ) mit Σ F = Σ F 1 g. Atom((Σ F, Σ R ), {x, y}) mit Σ F = Σ F 1 h. Atom((Σ F, Σ R ), ) mit Σ F = Σ F 2 i. Atom((Σ F, Σ R ), {x, y}) mit Σ F = Σ F 2 j. Atom((Σ F, Σ R ), ) mit Σ F = Σ F 1 Σ F 2 k. Atom((Σ F, Σ R ), {x, y}) mit Σ F = Σ F 1 Σ F 2 l. Atom((Σ F, Σ R ), ) mit Σ F = m. Atom((Σ F, Σ R ), {x, y}) mit Σ F = n. Atom((Σ F, Σ R ), ) mit Σ R = o. Atom((Σ F, Σ R ), {x, y}) mit Σ R = Aufgabe Bonus.22 Lösen Sie Aufgabe 2.14 in Uwe Kastens, Hans Kleine Büning: Modellierung - Grundlagen und formale Methoden. Arbeiten Sie dazu erst den Abschnitt 2.9 durch. Aufgabe Bonus.23 Lösen Sie die Aufgabe 5.4 aus Uwe Kastens, Hans Kleine Büning: Modellierung - Grundlagen und formale Methoden. Aufgabe Bonus.24 Gegeben ist die Signatur Σ = (Σ R, Σ F ) mit Σ F = {(f, 1), (c, 0)} und Σ R = {(P, 1), (Q, 2)}. a. Bestimmen Sie für die folgenden Zeichenketten, ob es sich um korrekt geformte Terme oder Atome oder nichts von beiden handelt. (a) f(c) (b) P (c, x) (c) P (f(f(y))) (d) Q(f(x), f(c)) (e) f(q(c, x)) (f) Q(f(y), c)

6 (g) P (y) (Q(c, y) P (f(y))) b. Die Σ-Strukturen A = (A, A ) und B = (B, B ) sind definiert durch A = Z c A = 3 n Z : f A (n) = n P A = {n N n 0 (mod 3)} Q A = {(m, n) /Z 2 m n} B = {0, 1} c B = 1 w {0, 1} : f B (w) = 0w P B = {w {0, 1} w 1 = w w } Q B = {(u, v) ({0, 1} ) 2 u 0 = v 0 } die Belegungen α : {x, y} A durch α = {x 2, y 2} und β : X B durch β(x) = 01, β(y) = ε. Geben Sie für jede der korrekten Zeichenketten aus Teilaufgabe a. ihre Werte in den Interpretationen (A, α) und (B, β) an. Übungsaufgaben, Folien und weitere Hinweise zur Vorlesung finden Sie online unter