Diskrete Mathematik: Lernpaket

Formelsammlungen, die wichtigsten Lösungsschritte zu jedem Thema und 8 Übungsaufgaben, mit vollständigen Lösungen am Ende.

Neue AufgabenZurück zum Kurs

Wähle im Druckfenster „Als PDF speichern“, um eine Kopie auf deinem Gerät zu behalten.

1Formeln und Methoden

Aussagenlogik & Beweise

Zeilen einer Wahrheitstafel
2ⁿ
Implikation
p → q ≡ ¬p ∨ q ≡ ¬q → ¬p
Negierte Implikation
¬(p → q) ≡ p ∧ ¬q
Äquivalenz (Bikonditional)
p ↔ q ≡ (p → q) ∧ (q → p)
De Morgan
¬(p ∧ q) ≡ ¬p ∨ ¬q, ¬(p ∨ q) ≡ ¬p ∧ ¬q
Distributivgesetze
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r), p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
Negierte Quantoren
¬∀x P(x) ≡ ∃x ¬P(x), ¬∃x P(x) ≡ ∀x ¬P(x)
Modus ponens, Modus tollens
p → q, p ⊢ q; p → q, ¬q ⊢ ¬p

Methode

  1. Zähle die verschiedenen Variablen: Die Wahrheitstafel hat 2ⁿ Zeilen und beginnt mit lauter Einsen.
  2. Gib jeder Teilformel eine eigene Spalte und fülle die Spalten von innen nach außen.
  3. Wende die Regel jedes Junktors an: → ist nur bei 1 → 0 gleich 0, ↔ ist 1, wenn beide Seiten übereinstimmen.
  4. Vergleiche bei Äquivalenzen die letzten Spalten Zeile für Zeile; schau bei einem Argument nur auf die Zeilen, in denen alle Prämissen 1 sind.
  5. Um eine quantifizierte Aussage zu negieren, ziehe ¬ nach innen, vertausche ∀ und ∃ und negiere die innere Formel.

Mengen, Relationen & Funktionen

Zwei Mengen
|A ∪ B| = |A| + |B| − |A ∩ B|
Drei Mengen
|A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|
Differenz und Komplement
A − B = A ∩ B′, |A′| = |U| − |A|
Potenzmenge und Produkt
|𝒫(A)| = 2|A|, |A × B| = |A|·|B|
Teilmengen der Größe k
C(n, k) = n!/(k!(n − k)!)
Funktionen A → B
nᵐ; injective n!/(n − m)!; surjective Σ (−1)ᵏ C(n, k)(n − k)ᵐ
Relationen auf n Elementen
2n²; reflexive 2n² − n; symmetric 2n(n+1)/2
Verkettung
(g ∘ f)(x) = g(f(x))

Methode

  1. Zeichne ein Venn-Diagramm und entscheide Bereich für Bereich, was zum Mengenausdruck gehört.
  2. Fülle bei Zählaufgaben die Bereiche von der Mitte nach außen: erst alle Mengen, dann Paare, dann einzelne Mengen, dann das Äußere.
  3. Nutze das Inklusions-Exklusions-Prinzip als Kontrolle: |A ∪ B| = |A| + |B| − |A ∩ B|.
  4. Prüfe bei einer Relation jede Eigenschaft an jedem Paar und gib ein Gegenbeispiel an, wenn sie nicht gilt.
  5. Zähle bei einer Funktion die Pfeile, die bei jedem Element von B ankommen: höchstens einer heißt injektiv, mindestens einer surjektiv.

Graphentheorie

Handschlaglemma
Σ deg(v) = 2|E|
Vollständige Graphen
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Regulärer Graph
|E| = n·k/2
Baum und Wald
|E| = n − 1, |E| = n − c
Blätter eines Baums
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
Kreis: alle Grade gerade; Weg: genau 2 ungerade Grade
Hamilton-Kreise in Kn
(n − 1)!/2
Dijkstra-Aktualisierung
d(v) = min(d(v), d(u) + w(u, v))
Wege der Länge L
(Mᴸ)ij

Methode

  1. Schreibe den Grad jedes Knotens auf; die Grade summieren sich zum Doppelten der Kantenzahl.
  2. Prüfe bei Euler-Aufgaben, ob der Graph zusammenhängend ist, und zähle die Knoten mit ungeradem Grad.
  3. Verwende bei Bäumen n − 1 Kanten und das Handschlaglemma.
  4. Führe bei Dijkstra eine Tabelle der vorläufigen Abstände und schließe in jeder Runde den kleinsten noch offenen Knoten ab.
  5. Sortiere für einen minimalen aufspannenden Baum die Kanten nach Gewicht und überspringe jede Kante, die einen Kreis schließt (Kruskal), oder lass einen Baum von einem Startknoten aus wachsen (Prim).

Zahlentheorie & modulare Arithmetik

Division mit Rest
a = q·n + r, 0 ≤ r < n
Euklid
gcd(a, b) = gcd(b, a mod b)
Kleinstes gemeinsames Vielfaches
lcm(a, b) = a·b/gcd(a, b)
Inverse
a·a⁻¹ ≡ 1 (mod n), gcd(a, n) = 1
Lineare Kongruenz
a·x ≡ b → x ≡ a⁻¹·b (mod n)
Eulersche φ-Funktion
φ(n) = n·∏(1 − 1/p), φ(pᵏ) = pᵏ − pᵏ⁻¹
Fermat
aᵖ⁻¹ ≡ 1 (mod p)
RSA
n = pq, φ = (p − 1)(q − 1), d = e⁻¹ mod φ, c = mᵉ mod n, m = cᵈ mod n

Methode

  1. Reduziere zuerst jede Zahl modulo n; die Reste liegen zwischen 0 und n − 1.
  2. Teile für einen ggT wiederholt mit dem euklidischen Algorithmus; der letzte Rest ungleich null ist der ggT.
  3. Führe für ein Inverses den erweiterten Algorithmus aus und behalte den Koeffizienten von a; addiere n, falls er negativ ist.
  4. Löse a·x ≡ b, indem du mit a⁻¹ multiplizierst; kombiniere zwei Kongruenzen, indem du x = r₁ + m₁k schreibst.
  5. Schreibe bei Potenzen den Exponenten binär und quadriere wiederholt; bei RSA gilt d = e⁻¹ mod φ(n) mit φ(n) = (p − 1)(q − 1).

2Übungsaufgaben

1.Aussagenlogik & BeweiseMittel
r → ¬qr ∧ ¬q¬r ∨ ¬q¬r → ¬q

Welche Formel ist logisch äquivalent zu ¬(r → q)? Klicke sie an.

¬(r → q)
  1. 1r → ¬q
  2. 2r ∧ ¬q
  3. 3¬r ∨ ¬q
  4. 4¬r → ¬q
2.Aussagenlogik & BeweiseSchwer
c → ac ∧ a¬c → ¬aa → c

Die Prämissen c → b; b → a sind gegeben. Welche Konklusion folgt daraus? Klicke sie an.

c → bb → a
  1. 1c → a
  2. 2c ∧ a
  3. 3¬c → ¬a
  4. 4a → c
3.Mengen, Relationen & FunktionenMittel
UFGS

In einer Gruppe von 55 Studierenden sprechen 32 Französisch (F), 31 Deutsch (G) und 22 Spanisch (S). 18 sprechen Französisch und Deutsch, 9 Französisch und Spanisch, 17 Deutsch und Spanisch, und 5 sprechen alle drei. Wie viele liegen nur in F?

|U| = 55
|F − (G ∪ S)| =
4.Mengen, Relationen & FunktionenSchwer

Wie viele Relationen auf einer Menge mit 4 Elementen sind sowohl reflexiv als auch symmetrisch? Nenne die Zahl N.

|X| = 4
N =
5.GraphentheorieMittel

Ein Baum hat 4 Knoten vom Grad 5, 2 Knoten vom Grad 2, und alle seine anderen Knoten sind Blätter (Grad 1). Wie viele Blätter L hat er?

4 × deg 52 × deg 2
L =
6.GraphentheorieSchwer
ABCDEF

Wie viele Wege der Länge 3 führen von B nach A? Ein Weg darf Knoten und Kanten wiederholen. Nenne die Zahl N.

M = AdjazenzmatrixL = 3
N =
7.Zahlentheorie & modulare ArithmetikMittel

Bestimme das Inverse von 11 modulo 85: die Zahl x mit 0 < x < 85 und 11·x ≡ 1 (mod 85).

a = 11n = 85
11−1 mod 85 =
8.Zahlentheorie & modulare ArithmetikSchwer
mc = me​ mod n435m = cd​ mod n?(n, e) = (517, 13)d

Ein RSA-Schlüssel verwendet p = 11, q = 47 und e = 13. Entschlüssele den Geheimtext c = 435: Bestimme die Nachricht m.

p = 11q = 47e = 13c = 435
m =

3Lösungen

1.Aussagenlogik & Beweise

Antwort: r ∧ ¬q

Logische Äquivalenz: Zwei Formeln sind äquivalent (≡), wenn sie in jeder Zeile der Wahrheitstafel denselben Wert haben. Eine Tautologie ist in jeder Zeile 1, eine Kontradiktion in jeder Zeile 0, und eine Kontingenz ist keines von beiden. Nützliche Gesetze: De Morgan, ¬(a ∧ b) ≡ ¬a ∨ ¬b und ¬(a ∨ b) ≡ ¬a ∧ ¬b; a → b ≡ ¬a ∨ b ≡ ¬b → ¬a (Kontraposition); ¬(a → b) ≡ a ∧ ¬b; und die Distributivgesetze, a ∨ (b ∧ c) ≡ (a ∨ b) ∧ (a ∨ c).

Das Gesetz

¬(a → b) ≡ ¬(¬a ∨ b) ≡ a ∧ ¬b: die einzige Zeile, in der eine Implikation scheitert.
¬(r → q) ≡ r ∧ ¬q

Mit der Wahrheitstafel prüfen

q = 1, r = 1: 0 | 0 0 0 1
q = 1, r = 0: 0 | 1 0 1 0
q = 0, r = 1: 1 | 1 1 1 1
q = 0, r = 0: 0 | 1 0 1 1

Antwort

r ∧ ¬q

Die Spalten nach dem Strich sind die Optionen in der angezeigten Reihenfolge.

2.Aussagenlogik & Beweise

Antwort: c → a

Quantoren und Argumente: ¬∀x P(x) ≡ ∃x ¬P(x) und ¬∃x P(x) ≡ ∀x ¬P(x). Ziehe eine Negation nach innen, vertausche jeden Quantor, den sie passiert, und negiere die innere Formel mit den aussagenlogischen Gesetzen, etwa ¬(a → b) ≡ a ∧ ¬b. Ein Argument ist gültig, wenn die Konklusion in jeder Zeile 1 ist, in der alle Prämissen 1 sind. Eine einzige Zeile mit wahren Prämissen und falscher Konklusion ist ein Gegenbeispiel und zeigt, dass das Argument ungültig ist.

Zeilen, in denen alle Prämissen wahr sind

a = 1, b = 1, c = 1: c → a = 1, c ∧ a = 1, ¬c → ¬a = 1, a → c = 1
a = 1, b = 1, c = 0: c → a = 1, c ∧ a = 0, ¬c → ¬a = 0, a → c = 0
a = 1, b = 0, c = 0: c → a = 1, c ∧ a = 0, ¬c → ¬a = 0, a → c = 0
a = 0, b = 0, c = 0: c → a = 1, c ∧ a = 0, ¬c → ¬a = 1, a → c = 1

Schlussfolgerung

c → a (hypothetischer Syllogismus)

Antwort

c → a
3.Mengen, Relationen & Funktionen

Antwort: |F − (G ∪ S)| = 10

Mengen und Venn-Diagramme: A ∪ B enthält die Elemente in A oder B (oder beiden), A ∩ B die Elemente in beiden, A − B die Elemente von A, die nicht in B liegen, und das Komplement A′ alles in U, was nicht in A liegt. In einem Venn-Diagramm ist jeder Mengenausdruck eine Vereinigung von Bereichen, zähle ihn also Bereich für Bereich. Inklusion–Exklusion: |A ∪ B| = |A| + |B| − |A ∩ B| und |A ∪ B ∪ C| = |A| + |B| + |C| − |A ∩ B| − |A ∩ C| − |B ∩ C| + |A ∩ B ∩ C|.

Mitte und Paare

F ∩ G ∩ S: 5
F ∩ G nur: 18 − 5 = 13
F ∩ S nur: 9 − 5 = 4
G ∩ S nur: 17 − 5 = 12

Einzelne Mengen

F nur: 32 − 13 − 4 − 5 = 10
G nur: 31 − 13 − 12 − 5 = 1
S nur: 22 − 4 − 12 − 5 = 1

Antwort

|F − (G ∪ S)| = 10

Antwort

|F − (G ∪ S)| = 10
4.Mengen, Relationen & Funktionen

Antwort: N = 64

Relationen: Eine Relation R auf einer Menge X ist eine Menge geordneter Paare (x, y). R ist reflexiv, wenn (x, x) ∈ R für jedes x in X; symmetrisch, wenn zu (x, y) ∈ R immer (y, x) ∈ R gehört; antisymmetrisch, wenn (x, y) und (y, x) nur dann beide in R liegen, wenn x = y; und transitiv, wenn (x, y) und (y, z) in R (x, z) ∈ R erzwingen. Eine Äquivalenzrelation ist reflexiv, symmetrisch und transitiv und zerlegt X in disjunkte Klassen.

Die freien Entscheidungen zählen

N = 26 = 64

Antwort

N = 64
5.Graphentheorie

Antwort: L = 14

Euler, Hamilton und Bäume: Ein zusammenhängender Graph hat einen Euler-Kreis (jede Kante einmal, zurück zum Start), wenn jeder Knoten geraden Grad hat, und einen Euler-Weg, der kein Kreis ist, wenn genau zwei Knoten ungeraden Grad haben; der Weg verläuft dann von einem ungeraden Knoten zum anderen. Ein Hamilton-Kreis besucht jeden Knoten einmal; Kn hat (n − 1)!/2 davon. Ein Baum mit n Knoten hat n − 1 Kanten, und ein zusammenhängender Graph mit m Kanten behält einen aufspannenden Baum, wenn man m − n + 1 Kanten entfernt.

Handschlaglemma für einen Baum

L + 24 = 2(L + 6) − 2
L = 14

Antwort

L = 14

Abkürzung: L = 2 + Σ (d − 2) über die Knoten mit Grad d ≥ 3.

6.Graphentheorie

Antwort: N = 4

Grade: Der Grad eines Knotens ist die Anzahl der Kanten, die an ihm enden. Jede Kante hat zwei Enden, daher summieren sich die Grade zum Doppelten der Kantenzahl: Σ deg(v) = 2|E| (das Handschlaglemma). Die Anzahl der Knoten mit ungeradem Grad ist deshalb gerade. Kn hat n(n − 1)/2 Kanten, ein k-regulärer Graph mit n Knoten hat nk/2, und ein Baum mit n Knoten hat n − 1 Kanten.

Adjazenzmatrix

A: 0 1 0 0 0 0
B: 1 0 1 1 1 0
C: 0 1 0 0 1 0
D: 0 1 0 0 1 1
E: 0 1 1 1 0 0
F: 0 0 0 1 0 0

Ein weiterer Schritt

(M³)BA = 0·0 + 4·1 + 1·0 + 1·0 + 2·0 + 1·0 = 4

Antwort

N = 4
7.Zahlentheorie & modulare Arithmetik

Antwort: 11−1 mod 85 = 31

Inverse und Kongruenzen: a hat genau dann ein Inverses modulo n, wenn ggT(a, n) = 1. Der erweiterte euklidische Algorithmus schreibt 1 = s·n + t·a, und dann ist a⁻¹ ≡ t (mod n). Eine Kongruenz a·x ≡ b (mod n) mit ggT(a, n) = 1 hat die Lösung x ≡ a⁻¹·b. Zwei Kongruenzen x ≡ r₁ (mod m₁) und x ≡ r₂ (mod m₂) mit teilerfremden Moduln haben eine Lösung modulo m₁·m₂ (chinesischer Restsatz). Eulers φ(n) zählt die Zahlen von 1 bis n, die zu n teilerfremd sind: φ(n) = n·∏(1 − 1/p).

Erweiterter euklidischer Algorithmus

Jeder Rest r wird als r ≡ t·11 (mod 85) geschrieben.

r = 85, t = 0
r = 11, q = 7, t = 1
r = 8, q = 1, t = −7
r = 3, q = 2, t = 8
r = 2, q = 1, t = −23
r = 1, q = 2, t = 31

Inverse

1 ≡ 31·11 (mod 85)
x = 31
Probe: 11·31 = 341 = 4·85 + 1

Antwort

11−1 mod 85 = 31
8.Zahlentheorie & modulare Arithmetik

Antwort: m = 404

Modulare Potenzen und RSA: Berechne aᵏ mod n durch wiederholtes Quadrieren: Schreibe k binär, quadriere, reduziere nach jedem Schritt und multipliziere die Potenzen, deren Bit 1 ist. Fermat: aᵖ⁻¹ ≡ 1 (mod p) für eine Primzahl p, die a nicht teilt, der Exponent lässt sich also modulo p − 1 reduzieren. RSA: Wähle Primzahlen p und q, n = p·q und φ(n) = (p − 1)(q − 1); der öffentliche Exponent e ist teilerfremd zu φ(n), und der private Exponent ist d = e⁻¹ mod φ(n). Verschlüssele mit c = mᵉ mod n und entschlüssele mit m = cᵈ mod n.

Privater Exponent

n = 517, φ(n) = 460
d = 13−1 mod 460 = 177

Durch wiederholtes Quadrieren entschlüsseln

177 = 128 + 32 + 16 + 1
4351 ≡ 435 (mod 517)
4352 ≡ 3 (mod 517)
4354 ≡ 9 (mod 517)
4358 ≡ 81 (mod 517)
43516 ≡ 357 (mod 517)
43532 ≡ 267 (mod 517)
43564 ≡ 460 (mod 517)
435128 ≡ 147 (mod 517)
435177 ≡ 435·357·267·147 ≡ 404 (mod 517)

Nachricht

m = 404
Probe: 40413 mod 517 = 435

Antwort

m = 404

ExamProblems · examproblems.com/courses/discrete-mathematics