BuK/IIm11/Studenten/sistsche
Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
== Eigenschaften von Funktionen ==
{| border="1" cellpadding="5" cellspacing="0"
!Eigenschaft
!Beschreibung
!Darstellung
!Formel Beispiele
|-
||surjektiv || Jedes Element aus B hat mindestens einen Partner in A || XXX || $ \R \Rightarrow \R_{+}, x \rightarrow x^2 $
|-
||nicht surjektiv || ||XXX|| $ \R \Rightarrow \R, x \rightarrow x^2 $, da z.B. -1 keinen zugehörigen x Wert besitzt
|-
||injektiv || Jedes Element aus B hat höchstens einen Partner in A || XXX || $ \N \Rightarrow \N, x \rightarrow x^2 $
|-
||nicht injektiv || || XXX || $ \Z \Rightarrow \Z, x \rightarrow x^2 $, da -1 und 1 das selbe Ergebnis besitzen.
|-
||bijektiv || Jedes Element aus B hat genau einen Partner in A (muss injektiv und surjektiv sein) || XXX || $ \R_{+} \Rightarrow \R_{+}, x \rightarrow x^2 $
|-
||nicht bijektiv || || XXX || $ \R \Rightarrow \R_{+}, x \rightarrow x^2 $
|-
|}
== Beispiele ==
{| border="1" cellpadding="5" cellspacing="0"
!Funktion $X \Rightarrow Y$
!Darstellung
|-
||injektiv,surjektiv || XXX
|-
||injektiv,nicht surjektiv || XXX
|-
||nicht injektiv,surjektiv || XXX
|-
||nicht injektiv,nicht surjektiv || XXX
|-
|}
== Potenzmenge ==
Ist die Menge aller Teilmengen. $ P(X) = \{U | U \subset X\} $Sie besitzt $2^n -1$ Elemente.
# Leere Menge aufnehmen
# Mengen mit 1 Element aufnehmen
# Mengen mit 2 Elementen aufnehmen
## 1. Element mit 2.
## 1. Element mit 3.
## ...
## 1. Element mit n.
## 2. Element mit 3.
## ...
## n-1. Element mit n.
# ...
# n Stellige Menge aufnehmen
=== Beispiel ===
$ P(\{a,b,c\})=\{\{\emptyset\},$<br />
$ P(\{a,b,c\})=\{\{\emptyset\},\{a\},\{b\},\{c\},$<br />
$ P(\{a,b,c\})=\{\{\emptyset\},\{a\},\{b\},\{c\}\},\{ab\},\{ac\},\{bc\},$<br />
$ P(\{a,b,c\})=\{\{\emptyset\},\{a\},\{b\},\{c\}\},\{ab\},\{ac\},\{bc\}\},\{abc\}\} $<br />
== Aufgabe 2 und 3 ==
{| border="1" cellpadding="5" cellspacing="0"
!$A$
!$B$
!$C$
!$\overline{A}$
!$\overline{B}$
!$\overline{C}$
!$A \Rightarrow B$
!$B \Rightarrow C$
|-
|| W || W || W || F || F || F || W || W
|-
|| W || W || F || F || F || W || W || F
|-
|| W || F || W || F || W || F || F || W
|-
|| W || F || F || F || W || W || F || W
|-
|| F || W || W || W || F || F || W || W
|-
|| F || W || F || W || F || W || W || F
|-
|| F || F || W || W || W || F || W || W
|-
|| F || F || F || W || W || W || W || W
|-
|}
=== Aufgabe 2 ===
Beweisen Sie die Aussage, wonach aus der Gültigkeit der Aussagen $A \Rightarrow B$, $B \Rightarrow C$ und $\overline{C}$ die Gültigkeiten von $\overline{A}$ und $\overline{B}$ folgen. Stellen Sie den Sachverhalt in einer
Wahrheitstabelle dar.
Lösung: Laut der Spalten $\overline{C}, A \Rightarrow B, B \Rightarrow C$ werden diese nur in Zeile 8 Wahr
{| border="1" cellpadding="5" cellspacing="0"
!$\overline{A}$
!$\overline{B}$
!$\overline{C}$
!$A \Rightarrow B$
!$B \Rightarrow C$
|-
|| W || W || W || W || W
|-
|}
=== Aufgabe 3 ===
Was kann man über die Gültigkeit von A und B schließen, wenn bekannt ist, dass $A \Rightarrow B$, $B \Rightarrow C$ und $C$ gelten?
Verwenden Sie die Tabelle aus der vorhergehenden Aufgabenlösung.
'''Lösung:''' Laut Spalten $C, A \Rightarrow B , B \Rightarrow C$ werden diese in Zeile 1,5,7 Wahr woraus folgt:
{| border="1" cellpadding="5" cellspacing="0"
!$A$
!$B$
!$C$
!$A \Rightarrow B$
!$B \Rightarrow C$
|-
|| W || W || W || W || W
|-
|| F || W || W || W || W
|-
|| F || F || W || W || W
|-
|}