• Keine Ergebnisse gefunden

HTWK Leipzig, Fakultät IMN Prof. Dr. Sibylle Schwarz

N/A
N/A
Protected

Academic year: 2022

Aktie "HTWK Leipzig, Fakultät IMN Prof. Dr. Sibylle Schwarz"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

HTWK Leipzig, Fakultät IMN

Prof. Dr. Sibylle Schwarz sibylle.schwarz@htwk-leipzig.de

6. Übung zur Vorlesung „Modellierung“

Wintersemester 2014/15 gestellt am 6. November 2014

Aufgabe 6.1:

Lösen Sie die folgenden Aufgaben für die binäre RelationR⊆ {1,2,3,4}2 mit R ={(1,2),(2,3),(3,4),(2,1),(3,2),(4,3)}

a. Geben Sie die Relation R−1 an.

b. Geben Sie die Relation R◦R an.

c. Bestimmen Sie für jede der RelationenR, R−1, R◦R, welche der folgenden Eigenschaften für sie zutreffen:

• reflexiv

• irreflexiv

• transitiv

• symmetrisch

• asymmetrisch

• antisymmetrisch Aufgabe 6.2:

Bestimmen Sie für die RelationS ⊆ {a, b, c, d}2 mit S ={(a, a),(b, b),(c, c),(a, c),(a, d),(b, d),(c, a),(d, a)}

• die reflexive Hülle,

• die symmetrische Hülle,

• die transitive Hülle.

Aufgabe 6.3:

a. Geben Sie eine Relation S ∈ {1,2,3,4}2 an, die weder symmetrisch noch asymmetrisch noch antisymmetrisch ist.

b. Geben Sie zwei symmetrische Relationen R ⊆ M ×M und Q ⊆M ×M auf der Menge M ={a, b, c}an, deren Verkettung R◦Qnicht symmetrisch ist.

Aufgabe 6.4:

Auf der Potenzmenge der MengeM ={0,1,2}ist die zweistellige RelationR⊆2M×2M definiert durch R={(X, Y)|X∩Y =∅}.

a. Geben Sie eine umgangssprachliche Beschreibung der Relation R an.

b. Geben Sie eine extensionale Darstellung der RelationR(durch Angabe aller ihrer Elemente) an.

c. Geben Sie eine umgangssprachliche Beschreibung und eine extensionale Darstellung für das Komplement R der RelationR an.

d. Welche der Eigenschaften reflexiv, irreflexiv, transitiv, symmetrisch, asymmetrisch, anti- symmetrisch habenR und R ?

e. GiltI2M ⊆R? Gilt I2M ⊆R ?

(2)

Aufgabe 6.5:

Die folgenden Tabellen repräsentieren die Relationen L (Lieblingsgetränke) und A (Getränke- Angebot)

Lieblingsgetränke Person Getränk Tina Cola Tina Wasser Paul Bier Anna Rotwein Anna Wasser Klaus Wasser Klaus Weißwein Anna Bier Moni Eierlikör Moni Cola

Getränke-Angebot Restaurant Getränk Seeblick Wasser Seeblick Eierlikör Talschenke Bier Talschenke Wasser Berghof Rotwein Berghof Weißwein

Außerdem ist bekannt:

• Paul ist Annas Vater.

• Anna und Klaus sind Tinas Eltern.

• Moni ist die Mutter von Klaus.

a. Geben Sie für die Relationen L, A, E (ist Elternteil von), M (männlich), W (weiblich) jeweils Stelligkeit und Wertebereiche an.

b. Geben Sie jeweils extensionale Darstellungen und umgangssprachliche Beschreibungen für die folgenden Mengen und Relationen an:

• L|{Anna,Klaus}

• L−1|{Bier,Wasser}

• A−1|{Bier,Wasser}

• π1(A)

• π2 L|{Anna,Klaus}

• E−1

• L◦A−1

c. Stellen Sie die Relation istEnkelVon durch die Relation E dar.

Übungsaufgaben, Folien und weitere Hinweise zur Vorlesung finden Sie online unter www.imn.htwk-leipzig.de/~schwarz/lehre/ws14/modellierung

Referenzen

ÄHNLICHE DOKUMENTE

Bestimmen Sie für jeden Zustand auf dem Weg zur Lösung die Werte der drei in der Vorlesung besprochenen heuristischen Funktionen (Anzahl der Zahlen auf einer falschen Position,

Sei B die Menge aller partiellen Funktionen, die durch ein Goto-Programm berechnet werden können, in dem der Befehl GotoZ nicht vorkommt (nur unbedingte Sprünge), Geben Sie

Ergänzung der Details zur Herstellung der Initialkonfiguration, Ablesen des Resul- tates aus Finalkonfiguration in nach bei der in der Vorlesung vorgestellten Kon- struktion einer TM

Wie lassen sich Terme über einer Signatur Σ “ tpf, nq | n P N u (Funktionssymbole mit Stelligkeit) codieren. Übungsaufgaben, Folien und weitere Hinweise zur Vorlesung finden Sie

Ist die alternierende Quersumme einer gegebenen natürlichen Zahl in Dezimal- darstellung durch 11 teilbar?. Ist eine gegebene Zahl das Produkt von genau

Übungsaufgaben, Folien und weitere Hinweise zur Vorlesung finden Sie online

Übung zu Theoretische Informatik: Berechenbarkeit und Komplexität Wintersemester 2019/20 zu lösen bis 28.

Zeigen Sie, dass jede rekursiv aufzählbare Menge abzählbar ist.