Gliederung. Mengen und operationen. Relationen. Funktionen. Kardinalität von Mengen. Formale Grundlagen der Informatik Knorr/Fuchs SS 2000
|
|
- Valentin Diefenbach
- vor 5 Jahren
- Abrufe
Transkript
1 Gliederung Mengen und operationen Relationen Funktionen Kardinalität von Mengen Mengen, Relationen, Funktionen 1
2 Mengen Definition (Naive Mengenlehre) Eine Menge ist die Zusammenfassung von Elementen unserer Anschauung zu einem wohldefinierten Ganzen. (Georg Cantor) Grundprinzipien Axiom der Extensionalität: Zwei Mengen sind genau dann gleich, wenn sie die gleichen Elemente enthalten. A = B ( x : x A x B ) Beispiel: { 1, 2, 3 } = { n n R n < 4 } Axiom der Komprehension: Für jede Eigenschaft können wir eine Menge bilden, die genau die Elemente enthält, die diese Eigenschaft haben. Notation 1. Aufzählung aller Elemente: { 1, { 2 }, { 3, 4 }, { 5 } } 2. Beschreibung der Eigenschaften der Elemente: { x x mod 2 = 0 } Informell wird auch geschrieben: { 2, 4, 6, 8, } Mengen, Relationen, Funktionen 2
3 Eigenschaften Mengenzugehörigkeit Die Mengenzugehörigkeit eines Elements zu einer Menge wird durch das Zeichen ausgedrückt. Teilmengen x : ( x { a 1, a n } x = a 1 S S x = a n ) x : ( x { y P(y) } P(x) ) Die Menge T heisst eine (unechte) Teilmenge der Menge A, wenn jedes Element, das in der Teilmenge T liegt, auch in der Menge A liegt: T # A ( x : x T x A ) Die Menge T heisst eine echte Teilmenge der Menge A, wenn T eine Teilmenge von A ist, aber nicht gleich A ist: Obermenge T A ( x : x T x A ) R T A Falls A # B schreibt man auch B $ A. B ist dann eine Obermenge von A. Die echte Obermenge wird analog definiert. Mengen, Relationen, Funktionen 3
4 Prominente Mengen = Menge der natürlichen Zahlen = { 1, 2, 3, } = Menge der ganzen Zahlen (eng. integers) = { 0, 1, -1, 2, -2, 3, -3, } = Menge der rationalen Zahlen = { a / b a R b } = Menge der reellen Zahlen = Menge der komplexen Zahlen Mengen, Relationen, Funktionen 4
5 Spezielle Mengen (1) Durchschnittsmenge Der Durchschnitt zweier Mengen A und B ist die Menge aller Elemente, die sowohl in A als auch in B enthalten sind. Vereinigungsmenge A P B = { x x A R x B } Die Vereinigung zweier Mengen A und B ist die Menge aller Elemente, die in A und/oder B enthalten sind. Leere Menge A B = { x x A S x B } Die leere Menge ist die Menge, die kein Element enthält. Sie wird oder {} geschrieben: Komplementärmenge = { x x x } oder x : x Ist eine Grundmenge G und eine Menge A mit A # G gegeben, so ist die Komplementärmenge A c definiert durch: A c = { x x A R x G } Mengen, Relationen, Funktionen 5
6 Spezielle Mengen (2) Potenzmenge Sei A eine Menge. Die Potenzmenge einer beliebigen Menge A ist die Menge I(A) aller Teilmengen von A. I(A) = { U U # A } Beispiel: I( { 1, 2 } ) = {, { 1 }, { 2 }, { 1, 2 } } Differenzmenge Seien A und B beliebige Mengen. Die Differenz A B, gesprochen A minus B, ist die Menge aller Elemente, die in A aber nicht in B liegen. A - B = { x x A R x B } Beispiel: { 1, 2, 3 } - { 3, 4 } = { 1, 2 } Symmetrische Differenzmenge Die symmetrische Differenz zweier Mengen A und B ist die Menge A B aller Elemente, die genau in einer der beiden Mengen liegen. A B = ( A B ) ( A P B ) Beispiel: { 1, 2, 3 } { 3, 4 } = { 1, 2, 4 } Mengen, Relationen, Funktionen 6
7 Weitere Eigenschaften Kardinalität einer Menge Sei A eine Menge mit endlich vielen Elementen. Die Anzahl A nennt man die Mächtigkeit oder Kardinalität der Menge. Zwei endliche Mengen haben dieselbe Kardinalität, wenn die Anzahl Elemente in beiden Mengen gleich ist. Die Kardinalität von unendlichen Mengen wird später definiert. Disjunktheit Zwei Mengen A und B heissen disjunkt, wenn ihr Durchschnitt leer ist. Paarweise Disjunktheit A P B = Eine Menge X von Mengen heisst paarweise disjunkt, wenn der Durchschnitt von jedem Paar von Mengen leer ist. A, B X : A B A P B = Mengen, Relationen, Funktionen 7
8 Mengen-Gesetze Idempotenz A P A = A A A = A Kommutativität A P B = B P A A B = B A Assoziativität (A P B) P C = A P (B P C) (A B) C = A (B C) Distributivität A P (B C) = (A P B) (A P C) A (B P C) = (A B) P (A C) Absorption A P (A B) = A A (A P B) = A Reflexivität A # A A $ A Kontraktion (A P B) # A (A B) $ A Monotonie A # B A P C # B P C A $ B A C $ B C Existiert eine Grundmenge G mit A,B # G, so gelten ferner: Neutrale Elemente A P G = A A = A Invariable Elemente A P = A G = G Extremalität # A G $ A De Morgansche (AP B) c = A c B c (A B) c = A c P B c Regeln Komplement A c A = G A c P A = Mengen, Relationen, Funktionen 8
9 Beweise in der Mengenlehre Venn Diagramme: graphische Veranschaulichung Direkter Beweis durch Anwendung von Definitionen, Axiomen und Gesetzen. Indirekter Beweis durch Negation der Aussage und Angabe eines Gegenbeispiels. Tableau Methode: Tabelle von Fallunterscheidungen Transfer Methode: Eine mengentheoretische Formel wird in eine äquivalente aussagenlogische Formel umgewandelt, die dann bewiesen wird. Diese Methode beruht auf der Verwandtschaft zwischen Aussagenlogik und Mengenlehre, die damit zu tun hat, dass beide Systeme boolesche Algebren sind. Mengenlehre Aussagenlogik S # P R $ Mengen, Relationen, Funktionen 9
10 Direkter Beweis: ist Teilmenge jeder Menge Gegeben: 1. T # A x : x T x A 2. x : x Zu beweisen: # A Beweis: # A x : x x A (1) # A x : x A (2) (1) Definition von #, (2) Axiom für x : x A ist eine Tautologie. Mengen, Relationen, Funktionen 10
11 Indirekter Beweis: ist nicht echte Teilmenge jeder Menge Gegeben: 1. T A ( x : x T x A ) R T A 2. x : x Zu beweisen: ( A ) Beweis: Annahme des Gegenteils: A Gegenbeispiel: A = Einsetzen in der Definition: ( x : x x ) R ( x : x x ) R ist ein Widerspruch. Mengen, Relationen, Funktionen 11
12 Direkter Beweis: ( A B ) ( A P B ) = ( A B ) ( B A ) Gegeben: Die Definitionen von P,,,, Beweis: { x x 7 A S x 7 B } { x x 7 A R x 7 B } = ( A B ) ( B A ) (1) { x ( x 7 A S x 7 B ) R ( x 7 A R x 7 B ) } = ( A B ) ( B A ) (2) { x ( x 7 A S x 7 B ) R ( x A S x B ) } = ( A B ) ( B A ) (3) { x ( x 7 A R x A ) S ( x 7 A R x B ) S ( x 7 B R x A ) S ( x 7 B R x B ) } = ( A B ) ( B A ) (4) { x ( x 7 A R x B ) S ( x 7 B R x A ) } = ( A B ) ( B A ) (5) (1) Definition P und, (2) Definition, (3) Definition und 7, de Morgan, (4) Distributivität, (5) Vereinfachung, Definitionen P und,. Mengen, Relationen, Funktionen 12
13 Geordnete Paare und n-tupel Geordnete Paare ( a, b ) heisst das geordnete Paar der Elemente a und b. Gleichheit von Paaren Die Paare ( a 1, b 1 ) und ( a 2, b 2 ) sind genau dann gleich, wenn a 1 = a 2 R b 1 = b 2. n-tupel ( a 1,, a n ) heisst das geordnete n-tupel der Elemente a 1 bis a n. Gleichheit von n-tupel Die n-tupel ( a 1,, a n ) und ( b 1,, b n ) sind genau dann gleich, wenn a 1 = b 1 R R a n = b n. Mengen, Relationen, Funktionen 13
14 Relationen Kartesisches Produkt Das kartesische Produkt der beiden Mengen A und B ist die Menge A B aller geordneten Paare (a, b) mit a A, b B. A B = { ( a, b ) a A R b B } Man schreibt A 2 = A A, A 3 = A A A, usw. Binäre Relationen Sei A eine Menge. Eine binäre Relation R auf A ist eine Teilmenge des kartesischen Produkts der Menge A mit sich selbst. R # A A Seien A 1 und A 2 Mengen. Eine binäre Relation R auf A 1 A 2 ist eine Teilmenge des kartesischen Produkts A 1 A 2. n-stellige Relationen R # A 1 A 2 Seien A 1, A 2,, A n Mengen. Eine n-stellige Relation R auf A 1, A 2,, A n ist eine Teilmenge des kartesischen Produkts der Mengen A 1, A 2,, A n. R # A 1 A 2 A n Mengen, Relationen, Funktionen 14
15 Die 16 binären Relationen auf A = {1,2} R 1 R 9 {(1,2),(2,1)} R 2 {(1,1)} R 10 {(1,2),(2,2)} R 3 {(1,2)} R 11 {(2,1),(2,2)} R 4 {(2,1)} R 12 {(1,1),(1,2),(2,1)} R 5 {(2,2)} R 13 {(1,1),(1,2),(2,2)} R 6 {(1,1),(1,2)} R 14 {(1,1),(2,1),(2,2)} R 7 {(1,1),(2,1)} R 15 {(1,2),(2,1),(2,2)} R 8 {(1,1),(2,2)} R 16 {(1,1),(1,2),(2,1),(2,2)} Mengen, Relationen, Funktionen 15
16 Spezielle Relationen Umkehrrelation Sei R # A B eine Relation. Die Umkehrrelation zur Relation R ist die Relation R -1 # B A mit Komposition von Relationen R -1 = { ( b, a ) ( a, b ) R } Seien R 1 # A B und R 2 # B C Relationen. Die Komposition R 1 R 2 # A C von R 1 und R 2 wird definiert durch a A, c C : ( a, c ) R 1 R 2 b B : ( a, b ) R 1 R ( b, c ) R 2 Mengen, Relationen, Funktionen 16
17 Eigenschaften von Relationen Eine Relation R # A B ist Linkstotal: Jedes Element a A tritt in mindestens einem Paar ( a, b ) R links auf. a A : b B : ( a, b ) R Rechtstotal: Jedes Element b B tritt in mindestens einem Paar ( a, b ) R rechts auf. b B : a A : ( a, b ) R Linkseindeutig: Für ein b B zu dem es ein a A gibt mit ( a, b ) R ist dieses linke a eindeutig. a 1, a 2 A : ( b B : ( a 1, b ) R R ( a 2, b ) R ) a 1 = a 2 Rechtseindeutig: Für ein a A zu dem es ein b B gibt mit ( a, b ) R ist dieses rechte b eindeutig. b 1, b 2 B : ( a A : ( a, b 1 ) R R ( a, b 2 ) R ) b 1 = b 2 Mengen, Relationen, Funktionen 17
18 Beispiel: Ein/Ausgabe Relation von Programmen INTEGER A READ (A) WHILE (A <> 0) DO A := A - 2 OD WRITE (A) Datentyp INTEGER: beliebig grosse ganze Zahlen Ein/Ausgabe Relation: R # mit ( x, y ) R genau dann, wenn das Programm auf die Eingabe von x mit der Ausgabe von y reagiert. Ist das Programm linkstotal, rechtstotal, linkseindeutig, rechtseindeutig? Mengen, Relationen, Funktionen 18
19 Eigenschaften von binären Relationen Eine binäre Relation R # X X ist Reflexiv: Jedes Element x steht zu sich selber in Relation. x X : ( x, x ) R Irreflexiv: Kein Element steht zu sich selber in Relation. x X : ( x, x ) R Symmetrisch: Zu jedem Paar in der Relation ist auch das gespiegelte Paar in der Relation. x, y X : ( x, y ) R ( y, x ) R Antisymmetrisch (identitiv): Zu jedem Paar in der Relation ist das gespiegelte Paar nur dann in der Relation, wenn die Elemente gleich sind. x, y X : ( x, y ) R R ( y, x ) R x = y Asymmetrisch: Zu jedem Paar in der Relation ist das gespiegelte Paar nicht in der Relation. Transitiv: x, y X : ( x, y ) R ( y, x ) R x, y, z X : ( x, y ) R R ( y, z ) R ( x, z ) R Mengen, Relationen, Funktionen 19
20 Äquivalenzrelationen Eine Äquivalenzrelation auf einer Menge M ist eine binäre Relation # M M die reflexiv, symmetrisch und transitiv ist. Partition: Sei M eine Menge. Eine Partition von M ist eine Menge P von Teilmengen von M, also P # I (M), für die die folgenden Eigenschaften gelten: 1. Keine Teilmenge der Partition ist leer. 2. Die Teilmengen der Partition sind paarweise disjunkt. 3. Die Vereinigung aller Teilmengen der Partition ist die Menge M. Eine Teilmenge einer Partition heisst Zelle. Äquivalenzklassen: Sei # M M eine Äquivalenzrelation. Zu jedem Element m M heisst die Menge (m) = { x M x m } die von m erzeugte Äquivalenzklasse. Für jede Äquivalenzrelation auf einer Menge X bildet die Menge der Äquivalenzklassen von eine Partition P von X. Mengen, Relationen, Funktionen 20
21 Beispiele von Äquivalenzrelationen 1. Sei X die Menge aller syntaktisch korrekten Pascal Programme, die einen Eingabewert lesen und entweder in eine Endlosschleife gehen oder einen Wert ausgeben. Welche der folgenden Relationen sind Äquivalenzrelationen? 1 # X X mit P 1 Q genau dann, wenn P und Q für dieselben Eingabewerte terminieren. 2 # X X mit P 2 Q genau dann, wenn P und Q für jene Eingabewerte, für die beide Programme terminieren, dieselben Ausgabewerte ergeben. 2. Geben sei die Menge aller Menschen. Welche der folgenden Relationen sind Äquivalenzrelationen? x steht zu y in Relation, falls x und y die gleiche Sprache sprechen. x steht zu y in Relation, falls x älter oder genauso alt wie y ist. x steht zu y in Relation, falls x und y sich gegenseitig kennen. Mengen, Relationen, Funktionen 21
22 Hüllen Sei M eine Menge und R # M M eine Relation. 1. Die transitive Hülle von R ist die Relation <R> t # M M definiert durch: ( x, y ) <R> t ( x, y ) R S n : t 1, t 2,, t n : ( x, t 1 ), ( t 1, t 2 ),, ( t n-1, t n ), ( t n, y ) R 2. Die symmetrische Hülle von R ist die Relation <R> s # M M definiert durch: ( x, y ) <R> s ( x, y ) R S ( y, x ) R 3. Die reflexiv-transitive Hülle von R ist die Relation <R> rt # M M definiert durch: ( x, y ) <R> rt ( x, y ) <R> t S x = y 4. Die reflexiv-symmetrisch-transitive Hülle von R ist die Relation <R> rst # M M definiert durch: <R> rst = <<R> s > rt <R> rst ist die kleinste Erweiterung von R zu einer Äquivalenzrelation. Mengen, Relationen, Funktionen 22
23 Funktionen Eine Funktion f ist eine binäre Relation f # A B, die linkstotal und rechtseindeutig ist: Zu jedem a A gibt es genau ein b B mit (a, b) f. Bei Funktionen schreibt man f : A, B anstatt f # A B und f(a) = b anstatt (a, b) f. Terminologie 1. A heisst der Definitionsbereich von f. 2. B heisst der Wertebereich von f. 3. Die Menge f(a) = { f(a) a A } heisst das Bild von f. Eigenschaften von Funktionen 1. Eine Funktion ist surjektiv, wenn sie rechtstotal ist. 2. Eine Funktion ist injektiv, wenn sie linkseindeutig ist. 3. Eine Funktionen ist bijektiv, wenn sie surjektiv und injektiv ist. Sind f : A, B und g : B, C Funktionen, so bezeichnet g f : A, C die Komposition von f und g, die durch (g f)(a) = g(f(a)) definiert ist. Mengen, Relationen, Funktionen 23
24 Spezielle Funktionen Identität Die Funktion id A : A, A, die durch id A (a) = a definiert ist, heisst die Identität. Konstante Funktion Eine Funktion c : A, B, die für alle Werte des Arguments denselben Wert hat, heisst konstant. Umkehrfunktion Eine Funktion g : B, A heisst eine Umkehrfunktion einer Funktion f : A, B, wenn g f : A, A gleich id A ist, und f g : B, B gleich id B ist. Eine Funktion hat genau dann eine Umkehrfunktion, wenn sie bijektiv ist. Diese Umkehrfunktion ist eindeutig. Charakteristische Funktion Gegen sei eine Menge A und ein Element a A. Die Funktion a : A, {0,1} ist definiert als a (a) = 1 und a (b) = 0 für b a und heisst die charakterische Funktion von a. Mengen, Relationen, Funktionen 24
25 Funktionenräume Ein Funktionenraum ist eine Menge von Funktionen. Der Funktionenraum A B ist definiert als A B = {f f : B, A }. Er beinhaltet alle Funktionen, die die Menge B auf die Menge A abbilden. Wie viele Elemente hat A B? Mengen, Relationen, Funktionen 25
26 Funktionen mit mehreren Variablen Eine Funktion kann von mehreren Variablen abhängen, und der Wertebereich kann mehrdimensional sein. Formal: f: A 1 A n, B 1 B m. Man schreibt dann für die Funktionswerte f(a 1,, a n ) = ( b 1,, b m ) = ( f 1 (a 1,, a n ),, f m (a 1,, a n ) ). Die Funktionen f 1,, f m heissen Koordinatenfunktionen. Beispiele: Additionsfunktion: :, mit (a,b)= a + b. Multiplikationsfunktion: :, mit (a,b)= a b. Spiralfunktion : sp:, mit sp(t)=( sin(t), cos(t), t ). Mengen, Relationen, Funktionen 26
27 Kardinalität von Mengen Anzahl von Elementen (informell) Sei A eine Menge mit endlich vielen Elementen. Die Anzahl A nennt man die Mächtigkeit oder Kardinalität der Menge. Zwei endliche Mengen haben dieselbe Kardinalität, wenn die Anzahl der Elemente in beiden Mengen gleich ist. Nimmt man je ein Element aus beiden Mengen heraus, bleiben am Ende zwei leere Mengen. Cantor hat diese Idee für unendliche Mengen weiterentwickelt: Zwei unendliche Mengen haben dieselbe Kardinalität, wenn sich die Elemente beider Mengen zu Pärchen zusammenfassen lassen: Z Z Z Z Z Z Z Z Z Z Mengen, Relationen, Funktionen 27
28 Kardinalität von Mengen (2) Formaler: X = Y es gibt eine Bijektion zwischen X und Y X % Y es gibt eine injektive Funktion von X nach Y Die Relation definiert durch X Y es gibt eine Bijektion zwischen X und Y ist eine Äquivalenzrelation. Wir definieren nun X als die Äquivalenzklasse ( X ) Die Kardinalität von ist? 0 (Aleph null).? 0 ist die kleinste unendliche Kardinalzahl. Mengen mit der Kardinalzahl? 0 werden abzählbar unendlich genannt. Eine weitere Kardinalzahl ist c. Dies ist die Kardinalität von I( ) und. Mengen mit der Kardinalzahl c werden überabzählbar genannt. Cantors Diagonalisierungsargument beweist c <>? 0. Mengen, Relationen, Funktionen 28
29 Cantors Diagonalisierungsargument für I( ) > Beweis durch Widerspruch. Wir nehmen an, das I( ) %. D.h., man kann jeder Teilmenge von eine Zahl aus so zuordnen, dass jede Zahl aus höchstens einmal benutzt wird. Uns interessieren die Paare, bei denen die Teilmenge von die Zahl aus nicht enthält, mit der sie gepaart wird. Beim Paar (1, { 2 }) z.b. enthält die Teilmenge die Zahl nicht, beim Paar (2, { 2, 3 }) enthält sie sie. Wir definieren eine Teilmenge M # so, dass M die Zahlen enthält, die entweder nicht gepaart sind oder mit einer Teilmenge von gepaart sind, die die Zahl nicht enthalten. M ist eine Teilmenge von. Also muss es ein Paar (z, M) geben. Ist z ein Element von M? Ja: Dann ist z gepaart mit einer Menge, die z enthält. Das ist eine Widerspruch zur Definition von M. Nein: Dann ist z gepaart mit einer Menge aus I( ) (nämlich M), die z nicht enthält. Nach der Definition von M muss z dann aber ein Element von M sein. Widerspruch. Also muss I( ) > gelten. Mengen, Relationen, Funktionen 29
30 Russelsches Paradox in der naiven Mengenlehre Axiom der Komprehension: Für jede Eigenschaft können wir eine Menge bilden, die genau die Elemente enthält, die diese Eigenschaft haben. Der Begriff der Eigenschaft muss eingeschränkt werden, sonst entsteht ein Widerspruch. Beispiel: Man definiere M als die Mengen aller Mengen, die sich selbst nicht enthalten: Frage: Enthält M sich selber? M = { X X X } Ja. Wenn M sich selbst enthält, dann darf M sich selbst nicht enthalten Nein. Wenn M sich selbst nicht enthält, dann muss M sich selbst enthalten Wir wissen aber aus der Logik, dass aus einem Widerspruch alles abgeleitet werden kann. Mengen, Relationen, Funktionen 30
31 Rechnen mit Kardinalitäten Für endliche Mengen gilt: A B = A + B A P B A B C = A + B + C A P B A P C B P C + A P B P C A - B = A - B, falls A # B A B = A B Für abzählbar unendliche Mengen gilt:? 0 +? 0 =? 0? 0? 0 =? 0 Was ist mit? 0 -? 0? Mengen, Relationen, Funktionen 31
Mengen. (Nicht-) Elemente einer Menge { 3, 4 } { 1, { 2 }, { 3, 4 }, { 5 } } 3 { 1, { 2 }, { 3, 4 }, { 5 } }
Mengen Definition (Intuitive Mengenlehre) Eine Menge ist die Zusammenfassung von Elementen unserer Anschauung zu einem wohldefinierten Ganzen. (Georg Cantor) Notation 1. Aufzählung aller Elemente: { 1,
MehrMengen. Eigenschaften. Spezielle Mengen (1) Prominente Mengen. ! Mengenzugehörigkeit
Mengen! Definition (Intuitive Mengenlehre) Eine Menge ist die Zusammenfassung von Elementen unserer Anschauung zu einem wohldefinierten Ganzen. (Georg Cantor)! Notation 1. Aufzählung aller Elemente: {
MehrMengenlehre. Begriff der Mengenzugehörigkeit x M, x Ê M >x : x { a 1. e e x = a n. } 2 x = a 1. >x : x { y P(y) } 2 P(x) Begriff der leeren Menge
Mengenlehre Grundbegriff ist die Menge Definition (Naive Mengenlehre). Eine Menge ist die Zusammenfassung von Elementen unserer Anschauung zu einem wohldefinierten Ganzen. (Georg Cantor) Notation 1. Aufzählung
Mehr3 Werkzeuge der Mathematik
3.1 Mengen (18.11.2011) Definition 3.1 Die Menge heißt leere Menge. :=»x M x x Definition 3.2 Es seien N und M Mengen. Wir definieren: und analog M N : (x M x N). N M : (x N x M). Wir sagen M ist Teilmenge
MehrTechnische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011.
Technische Universität München Ferienkurs Lineare Algebra 1 Mengenlehre, Aussagen, Relationen und Funktionen 21. März 2011 Tanja Geib Inhaltsverzeichnis 1 Aussagen 1 2 Mengenlehre 3 2.1 Grundlegende Definitionen
MehrKapitel 1. Grundlagen Mengen
Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig
MehrEinführung in die Informatik 2
Einführung in die Informatik 2 Mathematische Grundbegriffe Sven Kosub AG Algorithmik/Theorie komplexer Systeme Universität Konstanz E 202 Sven.Kosub@uni-konstanz.de Sprechstunde: Freitag, 12:30-14:00 Uhr,
Mehr2 Mengen, Relationen, Funktionen
Grundlagen der Mathematik für Informatiker 1 2 Mengen, Relationen, Funktionen 2.1 Mengen Definition 2.1 [Georg Cantor 1895] Eine Menge ist eine Zusammenfassung bestimmter, wohlunterschiedener Dinge unserer
Mehr2 Mengen, Relationen, Funktionen
Grundlagen der Mathematik für Informatiker Grundlagen der Mathematik für Informatiker Mengen, Relationen, Funktionen. Mengen Definition. [Georg Cantor 895] Eine Menge ist eine Zusammenfassung bestimmter,
MehrKapitel 1. Grundlagen
Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig
MehrEinführung in die Semantik, 2./3. Sitzung Mengen / Relatione
Eigenschaften von Einführung in die Semantik, 2./3. Sitzung Mengen / / Göttingen 2. November 2006 Eigenschaften von Mengenlehre Eigenschaften von Eigenschaften von Das Konzept Menge Eine Menge ist eine
Mehr4. Mathematische und notationelle Grundlagen. Beispiel Mengen. Bezeichnungen:
4. Mathematische und notationelle Grundlagen 4.1 Mengen Beispiel 3 A 1 = {2, 4, 6, 8}; A 2 = {0, 2, 4, 6,...} = {n N 0 ; n gerade} Bezeichnungen: x A A x x A B A B A { } x Element A x nicht Element A B
MehrFormale Sprachen und Automaten
Mengen Eine Menge ist eine Gruppe von Elementen, die eine Einheit bilden (siehe z.b. Halmos 1976). Formale Sprachen und Automaten Mathematisches Rüstzeug Mengen können verschiedene Typen von Elementen
MehrDiskrete Strukturen Kapitel 2: Grundlagen (Relationen)
WS 2016/17 Diskrete Strukturen Kapitel 2: Grundlagen (Relationen) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_16
MehrOrdnungsrelationen auf Mengen. Beispiel einer Ordnungsrelation. Spezielle Elemente von Ordnungen. Spezielle Elemente von Ordnungen
Ordnungsrelationen auf Mengen! Eine (partielle) Ordnungsrelation oder kurz Ordnung O auf einer Menge M ist eine Relation, die reflexiv, antisymmetrisch und transitiv ist. Beispiel: M = { 1, 2, 3 }, O =
MehrOrdnungsrelationen auf Mengen
Ordnungsrelationen auf Mengen Eine (partielle) Ordnungsrelation oder kurz Ordnung O auf einer Menge M ist eine Relation, die reflexiv, antisymmetrisch und transitiv ist. Beispiel: M = { 1, 2, 3 }, O =
MehrWS 2013/14. Diskrete Strukturen
WS 2013/14 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws13/14
MehrKapitel 1. Mengen und Abbildungen. 1.1 Mengen
Kapitel 1 Mengen und Abbildungen 1.1 Mengen Die Objekte der modernen Mathematik sind die Mengen. Obwohl die Logik einen axiomatischen Zugang zur Mengenlehre bietet, wollen wir uns in dieser Vorlesung auf
MehrDiskrete Mathematik. Sebastian Iwanowski FH Wedel. Kapitel 2: Mengenlehre. Referenzen zum Nacharbeiten:
DM2 Slide 1 Diskrete Mathematik Sebastian Iwanowski FH Wedel Kapitel 2: Mengenlehre Referenzen zum Nacharbeiten: Lang 3 Meinel 2, 4, 5, 10.2-10.4 (zur Vertiefung: Meinel 10.5-10.8 und Beutelspacher 10)
Mehr2 Mengen, Abbildungen und Relationen
Vorlesung WS 08 09 Analysis 1 Dr. Siegfried Echterhoff 2 Mengen, Abbildungen und Relationen Definition 2.1 (Mengen von Cantor, 1845 1918) Eine Menge M ist eine Zusammenfassung von wohlbestimmten und wohl
MehrKapitel 1. Grundlagen
Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig
MehrDiskrete Mathematik. Sebastian Iwanowski FH Wedel. Kapitel 2: Mengenlehre
Referenzen zum Nacharbeiten: Diskrete Mathematik Sebastian Iwanowski FH Wedel Kapitel 2: Mengenlehre Lang 3 Meinel 2, 4, 5, 10.2-10.4 (zur Vertiefung: Meinel 10.5-10.8 und Beutelspacher 10) Dean 2, 5-7
MehrLogische Grundlagen der Mathematik, WS 2014/15
Logische Grundlagen der Mathematik, WS 0/ Thomas Timmermann 8. Januar 0 Kardinalzahlen und die Mächtigkeit von Mengen Gleichmächtigkeit von Menge Zur Erinnerung: Wir wollen unendlich große Mengen hinsichtlich
MehrFormale Methoden 1. Gerhard Jäger 24. Oktober Uni Bielefeld, WS 2007/2008 1/22
1/22 Formale Methoden 1 Gerhard Jäger Gerhard.Jaeger@uni-bielefeld.de Uni Bielefeld, WS 2007/2008 24. Oktober 2007 2/22 Mengen Georg Cantor (1845-1918) Eine Menge ist eine Zusammenfassung von wohlunterschiedenen
Mehrmathematische Grundlagen der Modelltheorie: Mengen, Relationen, Funktionen
Einführung in die Logik - 6 mathematische Grundlagen der Modelltheorie: Mengen, Relationen, Funktionen Modelltheoretische / Denotationelle Semantik der Prdikatenlogik Ein Modell ist ein künstlich geschaffenes
MehrDiskrete Strukturen Kapitel 2: Grundlagen (Mengen)
WS 2016/17 Diskrete Strukturen Kapitel 2: Grundlagen (Mengen) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_16
MehrMengenlehre. Ist M eine Menge und x ein Element von M, so schreiben wir x M. Ist x kein Element von M, so schreiben wir x M.
Mengenlehre Eine Menge ist eine Zusammenfassung bestimmter und unterschiedlicher Objekte. Für jedes Objekt lässt sich eindeutig sagen, ob es zu der Menge gehört. Die Objekte heißen Elemente der Menge.
MehrLogik und Künstliche Intelligenz
Logik und Künstliche Intelligenz Kurze Zusammenfassung (Stand: 14. Januar 2010) Prof. Dr. V. Stahl Copyright 2007 by Volker Stahl. All rights reserved. V. Stahl Logik und Künstliche Intelligenz Zusammenfassung
MehrGrundlagen der linearen Algebra und analytischen Geometrie
Grundlagen der linearen Algebra und analytischen Geometrie Sascha Trostorff 27. Oktober 2017 Inhaltsverzeichnis I. Einführung in die Mengenlehre 3 1. Grundlagen der Aussagenlogik 4 2. Naive Mengenlehre
MehrWS 20013/14. Diskrete Strukturen
WS 20013/14 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws1314
Mehr4 Mengentheorie. 4.1 Mengen
4 Mengentheorie 4.1 Mengen Die Mengentheorie ist entwickelt worden, um eine elementare Basis für den Aufbau der gesamten Mathematik zu haben. Ihr Begründer ist Georg Cantor (1845-1918). Die Standard-Semantik
MehrOrdnungsrelationen auf Mengen
Ordnungsrelationen auf Mengen Eine (partielle) Ordnungsrelation oder kurz Ordnung O auf einer Menge M ist eine Relation, die reflexiv, antisymmetrisch und transitiv ist. Beispiel: M = { 1, 2, 3 }, O =
MehrGrundlagen. Kapitel Mengen
Kapitel 1 Grundlagen 1.1 Mengen Grundobjekte mathematischer Theorien sind Mengen. Zwar stellt man sich darunter Gesamtheiten von gewissen Dingen (den Elementen der Menge) vor, doch führt die uneingeschränkte
MehrWS 2009/10. Diskrete Strukturen
WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910
MehrAnalyis I - Grundlagen
Elementare Aussagenlogik October 23, 2008 Elementare Aussagenlogik Definition Eine Aussage im Sinne der Aussagenlogik ist eine sprachliche Aussage, bei der klar entschieden werden kann, ob sie wahr oder
MehrWESTFÄLISCHE WILHELMS-UNIVERSITÄT MÜNSTER. Diskrete Strukturen. wissen leben WWU Münster
MÜNSTER Diskrete Strukturen Dietmar Lammers Vorlesung SoSe 2010 > Relationen MÜNSTER Diskrete Strukturen 41/101 Seien A und B und für n N seien A 1 A 2...A n Mengen > Relationen MÜNSTER Diskrete Strukturen
MehrWS 2009/10. Diskrete Strukturen
WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910
Mehr1. Mengentheoretische Grundbegriffe. naiver Mengenbegriff : Eine Menge ist eine Zusammenfassung M von bestimmten, wohlunterschiedenen
1. Mengentheoretische Grundbegriffe Cantors (1845 1918) naiver Mengenbegriff : Slide 1 Eine Menge ist eine Zusammenfassung M von bestimmten, wohlunterschiedenen Objekten unserer Anschauung oder unseres
MehrVorbereitungskurs Mathematik zum Sommersemester 2015 Mengen und Relationen
Vorbereitungskurs Mathematik zum Sommersemester 2015 Mengen und Relationen Susanna Pohl Vorkurs Mathematik TU Dortmund 10.03.2015 Mengen und Relationen Mengen Motivation Beschreibung von Mengen Mengenoperationen
MehrTutorium: Diskrete Mathematik
Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 24.11.2016 (Teil 2) 23. November 2016 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler 23. November 2016
MehrDer Kalkül der Mengen 1 / 64
Der Kalkül der Mengen 1 / 64 Präzise beschreiben und argumentieren: Aber wie? In welcher Sprache sollten wir versuchen, komplexe Sachverhalte vollständig und eindeutig zu beschreiben? Natürliche Sprachen
MehrFormale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016
Formale Methoden 2 Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2015/2016 Teil 1: Wiederholung 1 Mengen 2 Abbildungen 3 Exkurs Beweistechniken 4 Relationen Definition Operationen Eigenschaften Äquivalenzrelationen
MehrGrundlagen: 1. Logik. Aussagen und Aussagenformen Wahrheitstabellen; Tautologien und Kontradiktionen Logische Äquivalenz. Prädikate und Quantoren
Zusammenfassung Grundlagen Logik, Mengen, Relationen, Folgen & Mengenfamilien, Kardinalitäten Techniken Mathematisches Beweisen, Induktion, Kombinatorische Beweise Strukturen Graphen 1 Grundlagen: 1. Logik
MehrVorlesung 3: Logik und Mengenlehre
28102013 Erinnerung: Zeilen-Stufen-Form (ZSF) eines LGS 0 0 1 c 1 0 0 0 1 0 0 1 c r 0 0 0 c r+1 0 0 0 0 0 0 0 0 0 c m Erinnerung: Information der Zeilen-Stufen-Form Aus der ZSF liest man ab: Folgerung
MehrÜbung: Teilmengen. Beweis: Für alle Elemente einer Menge, die Teilmenge einer Menge ist, gilt, dass auch Element von ist. (Definition der Teilmenge)
15 Übung: Teilmengen seien Mengen. Zu zeigen ist: wenn Beweis: dann auch Für alle Elemente einer Menge, die Teilmenge einer Menge ist, gilt, dass auch Element von ist. (Definition der Teilmenge) für alle
MehrBrückenkurs Mathematik 2015
Technische Universität Dresden Fachrichtung Mathematik, Institut für Analysis Dr.rer.nat.habil. Norbert Koksch Brückenkurs Mathematik 2015 1. Vorlesung Logik, Mengen und Funktionen Ich behaupte aber, dass
MehrFunktionen, Mächtigkeit, Unendlichkeit
Funktionen, Mächtigkeit, Unendlichkeit Nikolai Nowaczyk http://math.nikno.de, Lars Wallenborn http://www.wallenborn.net/ Frühjahrsakademie 12.04. - 14.04.2013 Inhaltsverzeichnis
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 19. Oktober 2017 1/27 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage
MehrGrundbegriffe der Informatik Kapitel 3: Mengen, Alphabete, Abbildungen
Grundbegriffe der Informatik Kapitel 3: Mengen, Alphabete, Abbildungen Thomas Worsch KIT, Institut für Theoretische Informatik Wintersemester 2015/2016 GBI Grundbegriffe der Informatik KIT, Institut für
MehrGrundlagen der Theoretischen Informatik
1 Grundlagen der Theoretischen Informatik Till Mossakowski Fakultät für Informatik Otto-von-Guericke Universität Magdeburg Wintersemester 2014/15 2 Notation für Wörter w a is die Anzahl der Vorkommen von
MehrEine Relation R in einer Menge M ist eine Teilmenge von M x M. Statt (a,b) R schreibt man auch arb.
4. Relationen 4.1 Grundlegende Definitionen Relation R in einer Menge M: Beziehung zwischen je 2 Elementen von M. Beispiel
MehrLösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }
Zur Einleitung: Lineare Gleichungssysteme Wir untersuchen zunächst mit Methoden, die Sie vermutlich aus der Schule kennen, explizit einige kleine lineare Gleichungssysteme. Das Gleichungssystem I wird
MehrVorlesung Diskrete Strukturen Relationen
Vorlesung Diskrete Strukturen Relationen Bernhard Ganter WS 2009/10 Relationen Es seien A und B Mengen. Eine (binäre) Relation zwischen A und B ist eine Teilmenge von A B. Ein wichtiger Spezialfall ist
MehrAussagenlogik. Mengenlehre. Relationen. Funktionen. Zahlentheorie. Vollständige Induktion. Reihen. Zahlenfolgen. WS 2016/17 Torsten Schreiber
Mengenlehre Aussagenlogik Relationen Zahlentheorie Funktionen Vollständige Induktion Zahlenfolgen Reihen 193 Definition einer Menge: Beziehungsjunktoren: ist Element, d.h. Wert und Format stimmen überein
MehrLineare Algebra 1. Detlev W. Hoffmann. WS 2013/14, TU Dortmund
Lineare Algebra 1 Detlev W. Hoffmann WS 2013/14, TU Dortmund 1 Mengen und Zahlen 1.1 Mengen und Abbildungen Eine Menge ist eine Zusammenfassung wohlunterscheidbarer Objekte unserer Anschauung/unseres Denkens/unserer
Mehr2 Mengen und Abbildungen
2.1 Mengen Unter einer Menge verstehen wir eine Zusammenfassung von Objekten zu einem Ganzen. Die Objekte heiÿen Elemente. Ist M eine Menge und x ein Element von M so schreiben wir x M. Wir sagen auch:
MehrBemerkungen zur Notation
Bemerkungen zur Notation Wir haben gerade die Symbole für alle und es gibt gebraucht. Dies sind so genannte logische Quantoren, und zwar der All- und der Existenzquantor. Die Formel {a A; ( b B)[(a, b)
MehrDiskrete Strukturen. Vorlesung 3: Naive Mengenlehre. 30. Oktober 2018
Diskrete Strukturen Vorlesung 3: Naive Mengenlehre 30. Oktober 2018 2 Organisation Prüfung: vorauss. am Freitag, den 22. Februar 2019 von 10 11 Uhr im AudiMax, HS 3, HS 9 Abmeldungen noch bis zum 12. Januar
MehrAnmerkungen zu Mengen und Abbildungen
Anmerkungen zu Mengen und Abbildungen Kartesisches Produkt von n Mengen und n-stellige Relationen Sind M 1, M,, M n nichtleere Mengen, so ist ihr kartesisches Produkt erklärt als Menge aller geordneter
MehrTeil 4. Mengen und Relationen
Teil 4 Mengen und Relationen KAPITEL 10 Äquivalenzrelationen und Faktormengen 1. Äquivalenzrelationen Wir nennen eine Relation von A nach A auch eine Relation auf A. DEFINITION 10.1. SeiΡeine Relation
Mehr3. Relationen Erläuterungen und Schreibweisen
3. Relationen Eine Relation ist allgemein eine Beziehung, die zwischen Dingen bestehen kann. Relationen im Sinne der Mathematik sind ausschließlich diejenigen Beziehungen, bei denen stets klar ist, ob
Mehr1.3 Relationen und Funktionen
1.3. RELATIONEN UND FUNKTIONEN 1 1.3 Relationen und Funktionen Es gibt eine Konstruktion (Übungsaufgabe!) einer Klasse (a, b) mit der Eigenschaft (a, b) = (c, d) a = c b = d. Diese Klasse (a, b) heißt
MehrAbbildungen. Kapitel Definition: (Abbildung) 5.2 Beispiel: 5.3 Wichtige Begriffe
Kapitel 5 Abbildungen 5.1 Definition: (Abbildung) Eine Abbildung zwischen zwei Mengen M und N ist eine Vorschrift f : M N, die jedem Element x M ein Element f(x) N zuordnet. Schreibweise: x f(x) 5. Beispiel:
MehrAbschnitt 3: Mathematische Grundlagen
Abschnitt 3: Mathematische Grundlagen 3. Mathematische Grundlagen 3.1 Mengen und Abbildungen 3.2 Induktion und Rekursion 3.3 Ausdrücke 3 Mathematische Grundlagen Einf. Progr. (WS 08/09) 102 Überblick 3.
MehrAbschnitt 3: Mathematische Grundlagen
Abschnitt 3: Mathematische Grundlagen 3. Mathematische Grundlagen 3.1 3.2 Induktion und Rekursion 3.3 Boolsche Algebra Peer Kröger (LMU München) Einführung in die Programmierung WS 14/15 48 / 155 Überblick
MehrWarum Mathe? IG/StV-Mathematik der KFU-Graz. 1 Mengen Mengenoperationen Rechenregeln Mengen 4. Funktionen 7
Warum Mathe? IG/StV-Mathematik der KFU-Graz März 2011 Inhalt 1 Mengen 1 1.1 Mengenoperationen.............................. 2 1.2 Rechenregeln.................................. 3 2 Übungsbeispiele zum
Mehr5.9 Permutationsgruppen. Sei nun π S n. Es existiert folgende naive Darstellung: Kürzer schreibt man auch
5.9 Permutationsgruppen Definition 103 Eine Permutation ist eine bijektive Abbildung einer endlichen Menge auf sich selbst; o. B. d. A. sei dies die Menge U := {1, 2,..., n}. S n (Symmetrische Gruppe für
MehrFormale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015
Formale Methoden 2 Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015 1 Mengen 2 Relationen Definition Operationen Eigenschaften Äquivalenzrelationen Mehrstellige Relationen 3 Abbildungen 4
Mehr1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen
1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist
Mehr1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen
. Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!
Mehr0 Mengen und Abbildungen, Gruppen und Körper
0 Mengen und Abbildungen, Gruppen und Körper In diesem Paragrafen behandeln wir einige für die Lineare Algebra und für die Analysis wichtige Grundbegriffe. Wir beginnen mit dem Begriff der Menge. Auf Cantor
MehrVorlesung Diskrete Strukturen Relationen
Vorlesung Diskrete Strukturen Relationen Bernhard Ganter Institut für Algebra TU Dresden D-01062 Dresden bernhard.ganter@tu-dresden.de WS 2009/10 1 Bernhard Ganter, TU Dresden Modul Einführung in die Mathematik
MehrLineare Algebra I. - 1.Vorlesung - Prof. Dr. Daniel Roggenkamp & Falko Gauß. Monday 12 September 16
Lineare Algebra I - 1.Vorlesung - Prof. Dr. Daniel Roggenkamp & Falko Gauß 1. Mengen und Abbildungen: Mengen gehören zu den Grundlegendsten Objekten in der Mathematik Kurze Einführung in die (naive) Mengelehre
MehrVorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion
Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Saskia Klaus 07.10.016 1 Motivation In den ersten beiden Vorträgen des Vorkurses haben wir gesehen, wie man aus schon bekannten Wahrheiten
MehrTheoretische Grundlagen des Software Engineering
Theoretische Grundlagen des Software Engineering 1: Grundlagen, Sprachen, Automaten schulz@eprover.org Software Systems Engineering Definition Eine Definition ist eine genaue Beschreibung eines Objektes
MehrDie Mengenlehre ist ein Grundelement der Sprache der Mathematik und geht als
Kapitel 1 Naive Mengenlehre 1.1 Mengen (Mengenalgebra; kartesisches Produkt) Die Mengenlehre ist ein Grundelement der Sprache der Mathematik und geht als naive Mengenlehre (im Gegensatz zur strengen Axiomatik)
MehrKapitel 2 Mathematische Grundlagen
Kapitel 2 Mathematische Grundlagen Ziel: Einführung/Auffrischung einiger mathematischer Grundlagen 2.1 Mengen, Relationen, Ordnungen Definition: Eine Menge ist eine Zusammenfassung von wohlbestimmten und
MehrMengen, Funktionen und Logik
Wirtschaftswissenschaftliches Zentrum Universität Basel Mathematik für Ökonomen 1 Dr. Thomas Zehrt Mengen, Funktionen und Logik Literatur Referenz: Gauglhofer, M. und Müller, H.: Mathematik für Ökonomen,
Mehr7 Äquivalenzrelationen
71 7 Äquivalenzrelationen 7.1 Äquivalenzrelationen und Klassen Definition Eine Relation R auf einer Menge oder einem allgemeineren Objektbereich heißt eine Äquivalenzrelation, falls sie reflexiv, symmetrisch
MehrMathematik für Ökonomen 1
Mathematik für Ökonomen 1 Dr. Thomas Zehrt Wirtschaftswissenschaftliches Zentrum Universität Basel Herbstemester 2008 Mengen, Funktionen und Logik Inhalt: 1. Mengen 2. Funktionen 3. Logik Teil 1 Mengen
MehrFormale Methoden 2. Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015
Formale Methoden 2 Gaetano Geck Lehrstuhl I Logik in der Informatik WS 2014/2015 Teil 1: Mengenlehre 1 Mengen Einleitung Beschreibung und Beispiele Operationen Verhältnisse Kartesisches Produkt 2 Relationen
MehrÜbersichtsblatt Hertrampf/Bahrdt. 1 Mathematische Aussagen. Theoretische Informatik I WS2018/19
Theoretische Informatik I WS2018/19 Übersichtsblatt Hertrampf/Bahrdt Institut für Formale Methoden der Informatik Theoretische Informatik Universität Stuttgart 1 Mathematische Aussagen Um mathematische
MehrKapitel 2. Mathematische Grundlagen. Skript zur Vorlesung Einführung in die Programmierung
LUDWIG- MAXIMILIANS- UNIVERSITY MUNICH DEPARTMENT INSTITUTE FOR INFORMATICS DATABASE Kapitel 2 Mathematische Grundlagen Skript zur Vorlesung Einführung in die Programmierung im Wintersemester 2012/13 Ludwig-Maximilians-Universität
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16 15. Oktober 2015 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage veröffentlicht
MehrFür unseren Gebrauch ist eine Menge bestimmt durch die in ihr enthaltenen Elemente. Ist M eine Menge, so ist ein beliebiges Objekt m wieder so ein
Mengen 1.2 9 1.2 Mengen 7 Der Begriff der Menge wurde am Ende des 19. Jahrhunderts von Georg Cantor wie folgt eingeführt. Definition (Cantor 1895) Eine Menge ist eine Zusammenfassung M von bestimmten,
Mehr1 Mengen. 1.1 Definition
1 Mengen 1.1 Definition Eine Menge M ist nach dem Begründer der Mengenlehre Georg Cantor eine Zusammenfassung von wohlunterschiedenen(verschiedenen) Elementen. Eine Menge lässt sich durch verschiedene
MehrDer Kalkül der Mengen. Die Sprache der Mathematik 1 / 69
Der Kalkül der Mengen Die Sprache der Mathematik 1 / 69 Präzise beschreiben und argumentieren: Aber wie? In welcher Sprache sollten wir versuchen, komplexe Sachverhalte vollständig und eindeutig zu beschreiben?
MehrAlgebra. Eine Menge A heißt abzählbar, wenn A gilt. Insbesondere sind, und abzählbar, und sind nicht abzählbar (überabzählbar).
Algebra 1 Mengen 1.1 Operationen A Anzahl der Elemente von A (Mächtigkeit, Betrag, Kardinalität) (A) Potenzmenge von X ( (A) = 2 A ) A B wenn jedes Element von A auch Element von B ist. A = B (A B und
MehrKardinalzahlen. Bemerkung. Eine unendliche Kardinalzahl α muss eine Limesordinalzahl sein. (Beweis zur Übung)
Kardinalzahlen Kardinalzahlen sollen die Größe von Mengen messen, daher suchen wir eine Aussage der Form, dass jede Menge bijektiv auf eine Kardinalzahl abgebildet werden kann. Um eine brauchbare Theorie
Mehr2 Lösungen zu Kapitel 2
2 Lösungen zu Kapitel 2 2. Lösung. Die Funktion f ist nicht injektiv. So gibt es (unendlich) viele Paare (x, y) mit f(x, y) = 0, etwa (0, 0) und (/2, ). Die Funktion f ist surjektiv. Zum Beispiel gilt
Mehr1.1 Mengen und Abbildungen
Lineare Algebra I WS 2015/16 c Rudolf Scharlau 3 1.1 Mengen und Abbildungen In diesem Abschnitt stellen wir die grundlegende mathematische Sprache und Notation zusammen, die für jede Art von heutiger Mathematik
MehrFolgen. Definition. Sei M eine beliebige Menge. Eine Abbildung a : N M oder a : N 0 M heißt eine Folge.
Folgen Eine Folge stellt man sich am einfachsten als eine Aneinanderreihung von Zahlen (oder Elementen irgendeiner anderen Menge) vor, die immer weiter geht Etwa,,,,,, oder,,, 8,,,, oder 0,,,,,,,, In vielen
MehrKapitel 1: Grundbegriffe
Kapitel 1: Stefan Ruzika Mathematisches Institut Universität Koblenz-Landau Campus Koblenz Stefan Ruzika (KO) 1 / 20 Gliederung 1 Logik Ein ganz kurzer Ausflug in die Kombinatorik Stefan Ruzika (KO) 2
MehrZusatzmaterial zur Mathematik I für E-Techniker Übung 1
Mathematik I für E-Techniker C. Erdmann WS 011/1, Universität Rostock, 1. Vorlesungswoche Zusatzmaterial zur Mathematik I für E-Techniker Übung 1 Wiederholung - Theorie: Mengen Der grundlegende Begriff
MehrMengen und Abbildungen
1 Mengen und bbildungen sind Hilfsmittel ( Sprache ) zur Formulierung von Sachverhalten; naive Vorstellung gemäß Georg Cantor (1845-1918) (Begründer der Mengenlehre). Definition 1.1 Eine Menge M ist eine
MehrWas bisher geschah. Klassische Prädikatenlogik (der ersten Stufe): Syntax Modellierungsbeispiele
Was bisher geschah Klassische Aussagenlogik zur Modellierung von Aussagen Syntax: induktive Definition der Menge AL(P) (Baumstruktur) strukturelle Induktion (Funktionen, Nachweise) Semantik: Belegungen
Mehr