Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011.

Größe: px
Ab Seite anzeigen:

Download "Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011."

Transkript

1 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 Grundlegende Definitionen und Schreibweisen Rechnen mit Mengen Kartesisches Produkt Relationen und Funktionen Binäre Relationen Abbildungen

2 1 1 Aussagen Definition [1.1] Eine Aussage ist ein Satz, der entweder wahr oder falsch ist, dh die Aussage ist Element der Menge {wahr, falsch}. So eine Aussage kann in normaler Sprache oder auch mathematischer Sprache formuliert sein. Die Aussageform bildet eine beliebige Menge auf diese zweielementige Menge ab. Beispiel [1.2] Man hat die Aussageform A(x) = x ist eine P flanze, die von der Menge der lebenden Organismen auf {wahr, falsch} abbildet. Für x = Blauf lossenthunf isch ist die Aussage falsch. Für x = Gänseblümchen ist die Aussage wahr. Zwei Aussagen A und B lassen sich mit Hilfe von Junktoren zu neuen Aussagen zusammenfügen. Seien zum Beispiel A(x) wie in Bsp 1.1 und B(x) = x ist rot. Junktor Zeichen Bedeutung Beispiel Negation A nicht A x ist keine Pflanze. Konjunktion A B A und B x ist eine rote Pflanze. Disjunktion A B A oder B x ist rot oder eine Pflanze. Implikation A B wenn A, dann B Wenn x durch 6 teilbar ist, dann ist x durch 3 teilbar. Äquivalenz A B A genau dann, wenn B x ist genau dann durch 2 und 3 teilbar, wenn x durch 6 teilbar ist. Tabelle 1: Junktoren Im Fall der Implikation nennt man A die Voraussetzung und B die Behauptung. A ist hinreichende Bedingung für B. B ist notwendige Bedingung für A. Um den Wahrheitswert einer zusammengesetzten Aussage zu überprüfen, bietet es sich an, eine Wahrheitstabelle zu erstellen. Mit Hilfe dieser können auch einfache Rechenregeln nachgewiesen werden. A B A A B A B A B A B w w f w w w w w f f f w f f f w w f w w f f f w f f w w Tabelle 2: Wahrheitstabelle Satz[1.3] Die De Morganschen Regeln zur Verneinung von Konjunktion und Disjunktion lauten:

3 2 ( (A B)) ( A B) ( (A B)) ( A B) Des weiteren können Quantoren dazu verwendet werden Aussagen zu treffen. Dies funktioniert, wie im folgenden definiert: w Definition[1.4] Aussage mit dem Quantor :( x M : A(x)) f w Definition[1.5] Aussage mit dem Quantor :( x M : A(x)) f Daraus folgt: ( x M : A(x)) = ( x M : A(x)) ( x M : A(x)) = ( x M : A(x)) Satz[1.5] (A B) ( B A) falls f/ A(M) falls f A(M) falls w A(M) falls w / A(M) Zum Beweisen kann man auf verschieden Arten vorgehen: direkt, indirekt (man verwendet dabei, dass Satz[1.5] gilt), Widerspruchsbeweis, vollständige Induktion, und über einen konstuktiven Beweis. Die vollständige Induktion ist ein wichtiges Instrument, wenn es um das Beweisen bei z. B. Folgen geht. Satz[1.6] Es sei A(n) eine Aussage über alle natürlichen Zahlen n a, wobei a eine festgewählte natürliche Zahl sei. A(n) ist für alle n a richtig, wenn die folgenden Bedingungen erfüllt sind: (I 1 ) A(a) ist richtig. (I 2 ) Unter der Voraussetzung, dass A(n) bis n richtig ist, muss A(n+1) ebenfalls richtig sein.

4 3 2 Mengenlehre 2.1 Grundlegende Definitionen und Schreibweisen Definition[2.1.1] nach Cantor. Eine Menge ist jede Zusammenfassung von bestimmten, wohlunterschiedenen Objekten unserer Anschauung oder unseres Denkens, welche die Elemente dieser Menge genannt werden, zu einem Ganzen. Beispiele[2.1.2] zur Notation von Mengen. M = {0, 1, 2} M = {x : x isst gerne Snickers} M = {x R : x 10} Definition[2.1.3] Seien A und B Mengen. A heißt Teilmenge von B bzw B Obermenge oder auch Grundmenge von A, in Zeichen A B, wenn A B : x A : x B A und B heißen gleich, in Zeichen A = B, wenn gilt A = B : A B B A Definition[2.1.4] Für endliche Mengen M bezeichnet man die Anzahl der Elemente als ihre Mächtigkeit oder auch Kardinalität, in Zeichen M. Bei nicht endlicher Anzahl ist die Mächtigkeit M =. Beispiel[2.1.5] Für M = {1, 2, {3, 4}} ist die Mächtigkeit M = 3. Definition[2.1.6] Sei eine Menge M gegeben. Die Menge aller Teilmengen von M heißt Potenzmenge und wir geschrieben als P(M) = {A : A M} = {A : A ist T eilmenge von M} Beispiel[2.1.7] Sei M = {1, 2}. Dann ist P(M) = {, {1}, {2}, {1, 2}}.

5 2.2 Rechnen mit Mengen Rechnen mit Mengen Um sich das Rechnen mit Mengen zu veranschaulichen, ist es nützlich die jeweilige Aufgabe anhand von Eulerschen Kreisen darzustellen. Dies ist jedoch kein Ersatz für einen formalen Beweis. Dieser muss mit Hilfe der Junktoren oder Wahrheitstabellen durchgeführt werden. Zu Beginn noch ein paar Grundlagen: Jede Menge enthält die leere Menge und sich selbst. Dies sind die sog. trivialen Teilmengen. {a} / {a}, es ist jedoch {a} {a}. a {a}. Wichtig ist, dass {a} {{a}}!! und sind transitiv (transitiv wird bei den Relationen nochmals ausführlicher erklärt). Nun zu einigen Definitionen rund um das Rechnen mit Mengen: Definition[2.2.1] Der (Durch-)Schnitt zweier Mengen A und B ist A B := {x : x A x B} Definition[2.2.2] Die Vereinigung zweier Mengen A und B ist A B := {x : x A x B} Definition[2.2.3] Die Differenz zweier Menge A und B ist A\B := {x : x A x / B} Definition[2.2.4] Ist A Teilmenge einer Grundmenge G, so wird die Differenz G\A als Komplement bezeichnet. In Zeichen schreibt man für das Komplement auch CA oder Ā. Definition[2.2.5] Die symmetrische Differenz zweier Mengen A und B ist A B := (A\B) (B\A) Zum Rechnen mit Regeln werden die folgenden Sätze benötigt. Es sind hier immer A, B und C beliebige Teilmengen der Grundmenge G. Satz[2.2.6] Assoziativgesetze: (A B) C = A (B C)

6 2.2 Rechnen mit Mengen 5 (A B) C = A (B C) (A B) C = A (B C) Satz[2.2.7] Kommutativgesetze: A B = B A A B = B A A B = B A Satz[2.2.8] Distributivgesetze: A (B C) = (A B) (A C) A (B C) = (A B) (A C) Satz[2.2.9] Idempotenzgesetze: A A = A A A = A C(C(A)) = A = A Satz[2.2.10] Rechengesetze bei Differenzen: (A\B) C = (A C)\(B C) A\(B C) = (A\B) (A\C) (A\B) B = A B A\(B C) = (A\B) (A\C) Satz[2.2.11] De Morgansche Regeln: A B = A B A B = A B

7 2.3 Kartesisches Produkt Kartesisches Produkt Definition[2.3.1] Es seien A 1, A 2,..., A n mit n N und n 2 nichtleere Mengen. Man betrachtet n-tupel (a 1, a 2,..., a n ) von Elementen a i A i für i=1,..., n. Zwei solche n-tupel heißen gleich, wenn sie in elementeweise übereinstimmen, i.z. (a 1, a 2,..., a n ) = (a 1, a 2,..., a n) : a i = a i i {1,..., n} Definition[2.3.2] Die Menge aller geordneteten n-tupel (a 1, a 2,..., a n ) heißt n- faches kartesiches Produkt oder n-faches Kreuzprodukt der Mengen A 1, A 2,..., A n, i. Z. A 1 A 2... A n := {(a 1, a 2,..., a n ) : a i A i i {1, 2,..., n}} Im 2-dimensionalen heißen die Tupel auch geordnete Paare und werden folgendermaßen geschrieben: (a,b), a A und b B. Es ist zu beachten, dass es im Gegensatz zu bei Mengen hier auf die Reihenfolge ankommt, dh im Allgemeinen (a, b) (b, a). Beim n-fachen kartesichen Produkt schreibt man anstelle von A... A kürzer A n. Satz[2.3.3] Sind A 1, A 2,..., A n nichtleere Mengen, so gilt A 1 A 2... A n = A 1 A 2... A n

8 7 3 Relationen und Funktionen 3.1 Binäre Relationen Im Allgemeinen ist eine Relation eine Beziehung die zwischen Dingen besteht. Im mathematischen ist eine Relation eindeutig, dh sie besteht oder eben nicht. Das führt dazu, dass die Relation R eine Menge ist und all die n-tupel enthält, die in Relation R zueinander stehen. Die formale Definition lautet folgendermaßen: Definition[3.1.1] Es seien A 1, A 2,..., A k, k N, Mengen. Eine Teilmenge R A 1... A k heißt k-stellige oder auch k-näre Relation auf A 1... A k. Am häufigsten verwendet werden binäre Relationen. Man schreibt diese auch so: (a,b) R oder arb (dh: a steht in Relation zu b). Für R kann ein spezielles Zeichen verwendet werden, dass die Relation näher angibt. Beispiele hierfür sind,,,, =,,... Beispiel[3.1.2] Für A = A 1 = A 2 = {1, 2, 3} ist R = {(a, b) A 2 : a < b} = {(1, 2), (1, 3), (2, 3)} eine binäre Relation. Definition[3.1.3] Es sei A eine Menge und R A 2 eine binäre Relation. Man legt folgende Zusatzbezeichnungen für R fest: reflexiv : a A : (a, a) R irreflexiv : a A : (a, a) / R symmetrisch : a, b A : (a, b) R (b, a) R antisymmetrisch : a, b A : (a, b) R (b, a) / R a = b asymmetrisch : a, b A : (a, b) R (b, a) / R transitiv : a, b, c A : (a, b) R (b, c) R (a, c) R Definition[3.1.4 Eine binäre Relation R A 2 heißt Äquivalenzrelation auf A, genau dann, wenn R reflexiv, symmetrisch und transitiv ist. Definition[3.1.5] Es sei a A und R ist Äquivalenzrelation auf A. Die Menge [a] R = {b A : (a, b) R}

9 3.1 Binäre Relationen 8 (dh die Menge aller Elemente aus A, die in Relation R zu a stehen) heißt Äquivalenzklasse von a bezüglich R. Satz[3.1.6] Sei R eine Äquivalenzrelation auf einer Menge A. Dann gilt: (1) a A [a] R = A (2) a, b A ist [a] R = [b] R (a, b) R (3) a, b A ist [a] R [b] R = [a] R = [b] R (dh Äquivalenzklassen sind disjunkt). Es ist also immer möglich eine Menge A mit Hilfe einer Äquivalenzrelation R in disjunkte Äquivalenzklassen zu zerlegen. Auf jeder Menge A existieren zwei triviale Äquivalenzklassen. Diese sind R 0 = {(a, a) : a A} und R 1 = A A. Beispiel[3.1.7] Sei A die Menge der Schüler einer Schule. Die Relation R = {(a, b) A 2 : a und b gehen in dieselbe Klasse} ist eine Äquivalenzrelation, da reflexiv: Schüler x geht mit sich selbst in die Klasse symmetrisch: Wenn x mit y in der Klasse, dann auch y mit x transitiv: Wenn x mit y und y mit z in einer Klasse ist, dann auch x mit z. In diesem Fall entspricht eine Äquivalenzklasse [Gigi] R gerade der Schulklasse, in die Gigi geht. Alle Schulklassen zusammen ergeben die Menge aller Schüler. Ein Schüler kann nur in einer Klasse sein. Definition[3.1.8] Eine Partition P (auch Zerlegung oder Klasseneinteilung) einer Menge M ist eine Menge, deren Elemente nichtleere, disjunkte Teilmengen von M sind. Es muss dabei jedes Element von M in genau einem Element von P enthalten sein. Man schreibt formal: M sei eine nichtleere Menge. P P (M)\{ } heißt Partition von M, wenn gilt (1) X P = M und (2) X, Y P : X Y X Y = Es ist also M eine disjunkte Vereinigung der Mengen X P. Definition[3.1.9] Es sei R eine Äquivalenzrelation auf einer Menge A. Die Menge A /R := {[a] R : a A} heißt Faktormenge von A nach R.

10 3.2 Abbildungen Abbildungen Definition[3.2.1] Es seien A und B Mengen. Eine binäre Relation f A B heißt Funktion oder Abbildung von A nach B, wenn gilt (1) F ür jedes a A gibt es ein b B mit (a, b) f, (2) Ist (a, b 1 ) f und (a, b 2 ) f, dann ist b 1 = b 2. Man schreibt f(a)=b, da durch (1) die Existenz und durch (2) die Eindeutigkeit gegeben sind. Die Menge A =: D(f) heißt Definitionbsbereich. B ist der Bildbereich. Die Menge W (f) = {b B : a A : (a, b) f} heißt Wertebereich von f. Definition[3.2.2] Eine Funktion f heißt injektiv, wenn aus f(a 1 ) = b und f(a 2 ) = b stets folgt, dass a 1 = a 2 sein muss. In anderen Worten: es gibt keine zwei verschiedenen Elemente aus A, die auf denselben Wert in B abbilden. Definition[3.2.3] Eine Funktion heißt surjektiv, wenn W (f) = B, dh Werte- und Bildbereich übereinstimmen. In anderen Worten: Der gesamte Bildbereich wird getroffen. Definition[3.2.4] Eine Abbildung heißt bijektiv, wenn sie injektiv und surjektiv ist. Die Menge der Tupel der Abbildung wird als Graph bezeichnet. Definition[3.2.5] Ist f : M N eine Abbildung und U M, so heißt f(u) := {f(u) : u U} N die Bildmenge von U unter f. Insbesondere ist f(m)=w(f). Zum weiteren Umgang mit Abbildung ist noch von Nutzen, dass: M 1, M 2 M gilt, dass f(m 1 M 2 ) = f(m 1 ) f(m 2 ), und dass das Entsprechende im Allgemeinen jedoch nicht für (den Schnitt) gilt. Es gilt nur: f(m 1 M 2 ) (f(m 1 ) f(m 2 )). Definition[3.2.6] Für zwei Abbildungen f : M N und g : N R heißt g f : M R, m g(f(m)) die Produktabbildung oder Komposition von f und g. Wichtig dabei ist die Reihenfolge, in der die Funktionen angewendet werden: g f(m) = g(f(m)), dh erst wird f angewendet und auf das Resultat dann g.

11 3.2 Abbildungen 10 Definition[3.2.7] Jede bijektive Abbildung f : M N, m n kann umgekehrt werden. Diese inverse Abbildung wird auch Umkehrfunktion genannt: f 1 : N M, f(m) m Es gilt, dass f f 1 = id N und f 1 f = id M die Identität jeweils auf N bzw M ergeben. Injektive Abbildungen können auf ihrem Bild umgekehrt werden, dh es existiert eine inverse Abbildung f 1 : W (f) M. Definition[3.2.8] Die Einschränkung oder Restriktion einer Abbildung f : M N auf eine Teilmenge U M ist die Abbildung f /U : U N, u f(u) Definition[3.2.9] Es sei f : M N eine Abbildung und P N. Das Urbild von P unter f ist die Menge f 1 (P ) := {m M : f(m) P } Achtung: die Schreibweise f 1 meint hier nicht zwangläufig die Umkehrabbildung, da Bijektivität nicht vorausgesetzt ist. Mit Hilfe von bijektiven Abbildungen können Aussagen über die Mächtigkeit von Mengen gemacht werden. Definition[3.2.10] Eine Menge M hat die Mächtigkeit n N, i.z. M =n, wenn es eine Bijektion f : {1,..., n} M gibt. Zwei beliebige Mengen M und N sind gleichmächtig, dh dass sie die gleiche Anzahl an Elementen haben, falls es eine Bijektion f : M N gibt.

2 Mengen, Relationen, Funktionen

2 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,

Mehr

2 Mengen, Relationen, Funktionen

2 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

Mehr

Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. Aufgaben mit Musterlösung

Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. Aufgaben mit Musterlösung Technische Universität München Ferienkurs Lineare Algebra 1 Mengenlehre, Aussagen, Relationen und Funktionen Aufgaben mit Musterlösung 21. März 2011 Tanja Geib 1 Aufgabe 1 Geben Sie zu B = {0, 2, 4} und

Mehr

Mengen. (Nicht-) Elemente einer Menge { 3, 4 } { 1, { 2 }, { 3, 4 }, { 5 } } 3 { 1, { 2 }, { 3, 4 }, { 5 } }

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,

Mehr

Mengen. Eigenschaften. Spezielle Mengen (1) Prominente Mengen. ! Mengenzugehörigkeit

Mengen. 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: {

Mehr

0 Mengen und Abbildungen, Gruppen und Körper

0 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

Mehr

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }

Lö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

Mehr

Kapitel 1. Grundlagen Mengen

Kapitel 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

Mehr

Grundbegriffe Mengenlehre und Logik

Grundbegriffe Mengenlehre und Logik Grundbegriffe Mengenlehre und Logik Analysis für Informatiker und Lehramt Mathematik MS/GS/FS WS 2016/2017 Agnes Radl Mengen Georg Cantor (1895) Unter einer Menge verstehen wir jede Zusammenfassung M von

Mehr

Mathematik 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 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

Mehr

Mathematik 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 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

Mehr

Grundlagen. Kapitel Mengen

Grundlagen. 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

Mehr

Kapitel 1. Grundlagen

Kapitel 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

Mehr

Diskrete Strukturen Kapitel 2: Grundlagen (Relationen)

Diskrete 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

Mehr

Vorlesung 3: Logik und Mengenlehre

Vorlesung 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

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016 HM I Tutorium 1 Lucas Kunz 27. Oktober 2016 Inhaltsverzeichnis 1 Theorie 2 1.1 Logische Verknüpfungen............................ 2 1.2 Quantoren.................................... 3 1.3 Mengen und ihre

Mehr

Brückenkurs Mathematik 2015

Brü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

Mehr

Formale Sprachen und Automaten

Formale 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

Mehr

Einführung in die Informatik 2

Einfü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,

Mehr

Tutorium: Diskrete Mathematik

Tutorium: 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

Mehr

3. Relationen Erläuterungen und Schreibweisen

3. 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

Mehr

2 Mengen, Abbildungen und Relationen

2 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

Mehr

Diskrete Mathematik. Sebastian Iwanowski FH Wedel. Kapitel 2: Mengenlehre. Referenzen zum Nacharbeiten:

Diskrete 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)

Mehr

Mengen, Funktionen und Logik

Mengen, 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,

Mehr

WS 2009/10. Diskrete Strukturen

WS 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

Mehr

Diskrete Mathematik. Sebastian Iwanowski FH Wedel. Kapitel 2: Mengenlehre

Diskrete 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

Mehr

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10 Fakultät für Mathematik Fachgebiet Mathematische Informatik Anhang Lineare Algebra I Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA Wintersemester 2009/10 A Relationen Definition A.1. Seien X, Y beliebige

Mehr

Kapitel 1. Grundlagen

Kapitel 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

Mehr

Mathematische Grundlagen der Computerlinguistik Relationen und Funktionen

Mathematische Grundlagen der Computerlinguistik Relationen und Funktionen Mathematische Grundlagen der Computerlinguistik Relationen und Funktionen Dozentin: Wiebke Petersen 2. Foliensatz Wiebke Petersen math. Grundlagen 20 n-tupel und Cartesisches Produkt Mengen sind ungeordnet,

Mehr

2 Mengen und Abbildungen

2 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:

Mehr

Lineare Algebra. Jung Kyu Canci. Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle

Lineare Algebra. Jung Kyu Canci. Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle Lineare Algebra Jung Kyu Canci Mit der Hilfe von: Stefano Iula, Olivia Ebneter, Katharina Laubscher, Viviane Wehrle Herbstsemester 2015 2 Inhaltsverzeichnis 1 Einführung in die Lineare Algebra 5 1.1 Elementare

Mehr

mathematische Grundlagen der Modelltheorie: Mengen, Relationen, Funktionen

mathematische 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

Mehr

Mathematik für Ökonomen 1

Mathematik 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

Mehr

(1.18) Def.: Eine Abbildung f : M N heißt

(1.18) Def.: Eine Abbildung f : M N heißt Zurück zur Mengenlehre: Abbildungen zwischen Mengen (1.17) Def.: Es seien M, N Mengen. Eine Abbildung f : M N von M nach N ist eine Vorschrift, die jedem x M genau ein Element f(x) N zuordnet. a) M = N

Mehr

Warum Mathe? IG/StV-Mathematik der KFU-Graz. 1 Mengen Mengenoperationen Rechenregeln Mengen 4. Funktionen 7

Warum 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

Mehr

Anmerkungen zu Mengen und Abbildungen

Anmerkungen 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

Mehr

Höhere Mathematik I - Skript

Höhere Mathematik I - Skript Höhere Mathematik I - Skript Theodor Hillebrand 16. November 2010 Inhaltsverzeichnis 1 Mengen und Abbildungen 1 1.1 Einführung, Denition............................ 1 1 Mengen und Abbildungen Mengenlehre

Mehr

Einführung in die Mengenlehre

Einführung in die Mengenlehre Einführung in die Mengenlehre D (Menge von Georg Cantor 845-98) Eine Menge ist eine Zusammenfassung bestimmter wohlunterschiedener Objekte unseres Denkens oder unserer Anschauung zu einem Ganzen wobei

Mehr

1.1 Mengen und Abbildungen

1.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

Mehr

4. Mathematische und notationelle Grundlagen. Beispiel Mengen. Bezeichnungen:

4. 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

Mehr

Abschnitt 3: Mathematische Grundlagen

Abschnitt 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

Mehr

Vorlesung Diskrete Strukturen Relationen

Vorlesung 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

Mehr

1 Grundlagen. 1.1 Aussagen

1 Grundlagen. 1.1 Aussagen 1 Grundlagen 1.1 Aussagen In der Mathematik geht es um Aussagen. Eine Aussage ist ein statement, das entweder wahr oder falsch sein kann. Beides geht nicht! Äußerungen, die nicht die Eigenschaft haben,

Mehr

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/2018

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/2018 Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/2018 23. November 2017 1/40 Satz 4.27 (Multinomialsatz) Seien r, n N 0. Dann gilt für

Mehr

Analyis I - Grundlagen

Analyis 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

Mehr

Relationen. Bernhard Ganter. Institut für Algebra TU Dresden D Dresden

Relationen. Bernhard Ganter. Institut für Algebra TU Dresden D Dresden Relationen Bernhard Ganter Institut für Algebra TU Dresden D-01062 Dresden bernhard.ganter@tu-dresden.de Relationen Es seien A und B Mengen. Eine (binäre) Relation zwischen A und B ist eine Teilmenge von

Mehr

Höhere Mathematik für die Fachrichtung Physik

Höhere Mathematik für die Fachrichtung Physik Karlsruher Institut für Technologie Institut für Analysis Dr. Christoph Schmoeger Dipl.-Math. Sebastian Schwarz WS 2018/2019 18.10.2018 Höhere Mathematik für die Fachrichtung Physik Lösungsvorschläge zum

Mehr

Algebra. Eine Menge A heißt abzählbar, wenn A gilt. Insbesondere sind, und abzählbar, und sind nicht abzählbar (überabzählbar).

Algebra. 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

Mehr

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18 Vorkurs Mathematik Prof. Udo Hebisch WS 2017/18 1 1 Logik 2 1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

Mehr

Tutorium: Diskrete Mathematik

Tutorium: Diskrete Mathematik Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 01.12.2017 (Teil 1) 22. November 2017 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler 22. November 2017

Mehr

Mathematische Strukturen

Mathematische Strukturen Mathematische Strukturen Lineare Algebra I Kapitel 3 16. April 2013 Kartesisches Produkt Das kartesische Produkt (benannt nach René Descartes) von n Mengen M 1,..., M n ist M 1 M n := {(x 1,..., x n )

Mehr

Lineare Algebra, Teil I

Lineare Algebra, Teil I Lineare Algebra, Teil I (Folien zur Vorlesung) Joachim Stöckler Auszüge aus dem Vorlesungsskript von Prof. Rudolf Scharlau aus dem WS 2009/10 werden auf den Folien verwendet. Für die Bereitstellung dieses

Mehr

Mathematische Grundlagen der Computerlinguistik Relationen und Funktionen

Mathematische Grundlagen der Computerlinguistik Relationen und Funktionen Mathematische Grundlagen der Computerlinguistik Relationen und Funktionen Dozentin: Wiebke Petersen 2. Foliensatz Wiebke Petersen math. Grundlagen 25 n-tupel und Cartesisches Produkt Mengen sind ungeordnet,

Mehr

Grundbegriffe aus Logik und Mengenlehre

Grundbegriffe aus Logik und Mengenlehre Prof. Dr. B. Niethammer Dr. C. Seis, R. Schubert Institut fr Angewandte Mathematik Universitt Bonn Grundbegriffe aus Logik und Mengenlehre Wir wollen im Folgenden eine kurze Einführung in die Grundbegriffe

Mehr

Lineare Algebra 1. Detlev W. Hoffmann. WS 2013/14, TU Dortmund

Lineare 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

Mehr

Zusatzmaterial zur Mathematik I für E-Techniker Übung 1

Zusatzmaterial 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

Mehr

Grundlagen der Mathematik

Grundlagen der Mathematik Grundlagen der Mathematik Übungsaufgaben zu Kapitel 1 Einführung 1.1.1 Für reelle Zahlen a und b gilt (a+b) (a-b) = a 2 -b 2. Was ist die Voraussetzung? Wie lautet die Behauptung? Beweisen Sie die Behauptung.

Mehr

Abschnitt 3: Mathematische Grundlagen

Abschnitt 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.

Mehr

Grundlagen der linearen Algebra und analytischen Geometrie

Grundlagen 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

Mehr

17 Lineare Abbildungen

17 Lineare Abbildungen Chr.Nelius: Lineare Algebra II (SS2005) 1 17 Lineare Abbildungen Wir beginnen mit der Klärung des Abbildungsbegriffes. (17.1) DEF: M und N seien nichtleere Mengen. Eine Abbildung f von M nach N (in Zeichen:

Mehr

4. Funktionen und Relationen

4. Funktionen und Relationen 4. Funktionen und Relationen Nikolaus von Oresmes Richard Dedekind (1831-1916) René Descartes 1596-1650 Pierre de Fermat 1607/8-1665 Seite 1 Inhalt der Vorlesung Teil 4: Funktionen und Relationen 4.1 Funktionen:

Mehr

1.1 Mengen und Abbildungen

1.1 Mengen und Abbildungen Lineare Algebra 2005-2013 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

Mehr

Kapitel 2. Mathematische Grundlagen. Skript zur Vorlesung Einführung in die Programmierung

Kapitel 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

Mehr

Abschnitt 3: Mathematische Grundlagen

Abschnitt 3: Mathematische Grundlagen Abschnitt 3: Mathematische Grundlagen 3. Mathematische Grundlagen 3.1 3.2 Boolsche Algebra 3.3 Induktion und Rekursion Peer Kröger (LMU München) Einführung in die Programmierung WS 16/17 46 / 708 Überblick

Mehr

Logik, Mengen und Abbildungen

Logik, Mengen und Abbildungen Kapitel 1 Logik, Mengen und bbildungen Josef Leydold Mathematik für VW WS 2016/17 1 Logik, Mengen und bbildungen 1 / 26 ussage Um Mathematik betreiben zu können, sind ein paar Grundkenntnisse der mathematischen

Mehr

Mathematik-Vorkurs für Informatiker (Wintersemester 2012/13) Übungsblatt 8 (Relationen und Funktionen)

Mathematik-Vorkurs für Informatiker (Wintersemester 2012/13) Übungsblatt 8 (Relationen und Funktionen) DEPENDABLE SYSTEMS AND SOFTWARE Fachrichtung 6. Informatik Universität des Saarlandes Christian Eisentraut, M.Sc. Julia Krämer Mathematik-Vorkurs für Informatiker (Wintersemester 0/3) Übungsblatt 8 (Relationen

Mehr

Grundlegendes der Mathematik

Grundlegendes der Mathematik Kapitel 2 Grundlegendes der Mathematik (Prof. Udo Hebisch) 2.1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

Mehr

MATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/ OKTOBER 2016

MATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/ OKTOBER 2016 MATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/17 MARK HAMILTON LMU MÜNCHEN 1.1. Grundbegriffe zu Mengen. 1. 17. OKTOBER 2016 Definition 1.1 (Mengen und Elemente). Eine Menge ist die Zusammenfassung

Mehr

Fü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

Fü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,

Mehr

= { } Absolutes Komplement Universe Relatives Komplement von

= { } Absolutes Komplement Universe Relatives Komplement von Allgemeines ist Teiler von Mengen Mächtigkeit Anzahl Elemente in der Menge Potenzmenge Menge aller Teilmengen von { } { { } { } { }} Beziehungen bzw. ist in enthalten ist Teilmenge von ist Obermenge von

Mehr

Relationen. Es seien A und B Mengen. Eine (binäre) Relation zwischen A und B ist eine Teilmenge von A B.

Relationen. Es seien A und B Mengen. Eine (binäre) Relation zwischen A und B ist eine Teilmenge von A B. Mathematik I für Informatiker Relationen auf einer Menge p. 1 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 der,

Mehr

Einführung in die Semantik, 2./3. Sitzung Mengen / Relatione

Einfü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

Mehr

Analysis I - Notizen 1. Daniel Lenz Jena - Wintersemester 2016

Analysis I - Notizen 1. Daniel Lenz Jena - Wintersemester 2016 Analysis I - Notizen 1 Daniel Lenz Jena - Wintersemester 2016 1 Es handelt sich nicht um ein Skriptum zur Vorlesung. Besten Dank an alle, die zu Verbesserungen früherer Notizen zur Analysis I beigetragen

Mehr

Grundlagen der Theoretischen Informatik

Grundlagen 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

Mehr

Vorbereitungskurs Mathematik zum Sommersemester 2015 Mengen und Relationen

Vorbereitungskurs 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

Mehr

Abbildungen. Kapitel Definition: (Abbildung) 5.2 Beispiel: 5.3 Wichtige Begriffe

Abbildungen. 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:

Mehr

Diskrete Strukturen Kapitel 2: Grundlagen (Mengen)

Diskrete 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

Mehr

Grundlagen: 1. Logik. Aussagen und Aussagenformen Wahrheitstabellen; Tautologien und Kontradiktionen Logische Äquivalenz. Prädikate und Quantoren

Grundlagen: 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

Mehr

Kapitel 1 Grundbegriffe der Mengenlehre und der Logik

Kapitel 1 Grundbegriffe der Mengenlehre und der Logik Wolter/Dahn: Analysis Individuell 3 Kapitel 1 Grundbegriffe der Mengenlehre und der Logik In diesem Abschnitt werden einige Grundbegriffe der Mengenlehre und grundlegende 1/0/0 Prinzipien der mathematischen

Mehr

Bemerkungen zur Notation

Bemerkungen 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)

Mehr

Grundlagen der Mengenlehre

Grundlagen der Mengenlehre mathe plus Grundlagen der Mengenlehre Seite 1 1 Grundbegriffe Grundlagen der Mengenlehre Def 1 Mengenbegriff nach Georg Cantor (1845-1918) Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener

Mehr

Elemente der Analysis I Kapitel 3: Einführung III, Summen, Logik, Mengen, Beweise

Elemente der Analysis I Kapitel 3: Einführung III, Summen, Logik, Mengen, Beweise Elemente der Analysis I Kapitel 3: Einführung III, Summen, Logik, Mengen, Beweise Prof. Dr. Volker Schulz Universität Trier / FB IV / Abt. Mathematik 15. November 2010 http://www.mathematik.uni-trier.de/

Mehr

Vorkurs: Grundlagen für das Mathematikstudium. Caroline Uhler

Vorkurs: Grundlagen für das Mathematikstudium. Caroline Uhler Vorkurs: Grundlagen für das Mathematikstudium Caroline Uhler Inhaltsverzeichnis 1 Logische Grundbegriffe 3 2 Elementare Mengenlehre 5 3 Relationen und Abbildungen 8 3.1 Produkte......................................

Mehr

Vorkurs Mathematik 2016

Vorkurs Mathematik 2016 Vorkurs Mathematik 2016 WWU Münster, Fachbereich Mathematik und Informatik PD Dr. K. Halupczok Skript VK3 vom 15.9.2016 VK3: Elementare Mengenlehre Der grundlegendste Begri, mit dem Objekte und Strukturen

Mehr

Algebraische Grundlagen 1

Algebraische Grundlagen 1 Algebraische Grundlagen 1 B.Grabowski 25. Oktober 2011 1 (C) Prof.Dr.B.Grabowski, HTW des Saarlandes, 10/2011, Skript zur Vorlesung Höhere Mathematik 1 Inhaltsverzeichnis 1 Algebra-Grundlagen 2 1.1 Zweiwertige

Mehr

WS 2009/10. Diskrete Strukturen

WS 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

Mehr

Formale 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 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

definieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1.

definieren eine Aussage A als einen Satz, der entweder wahr (w) oder falsch (f) (also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1. 22 Kapitel 1 Aussagen und Mengen 1.1 Aussagen Wir definieren eine Aussage A als einen Satz, der entweder wahr w) oder falsch f) also insbesondere nicht beides zugleich) ist 1. Beispiel 1.1. 2 ist eine

Mehr

10 Formale Grundlagen

10 Formale Grundlagen 95 10 Formale Grundlagen 10.1 Mengentheorie Die Aussagen hierzu sind aus [?, S.13-21] und [?, S.75-136]. In [?] sind die nötigsten Aussagen zusammengefaßt. In [?] sind insbesondere Links und Rechtsinverse

Mehr

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier

Diskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre

Mehr

Fachwissenschaftliche Grundlagen

Fachwissenschaftliche Grundlagen Fachwissenschaftliche Grundlagen Vorlesung im Wintersemester 2011/2012, Universität Landau Roland Gunesch 4. Vorlesung Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 4. Vorlesung 1 / 21 Themen

Mehr

A B A und B w w w w f f f w f f f f. A B A oder B (A B) w w w w f w f w w f f f

A B A und B w w w w f f f w f f f f. A B A oder B (A B) w w w w f w f w w f f f Kapitel 1 Zum Aufwärmen 1.1 Aussagen Eine Aussage im üblichen Sinn ist nicht unbedingt eine Aussage im mathematischen Sinn. Aussagen wie Mathe ist doof sind keine Aussagen im mathematischen Sinn, weil

Mehr

1 Grundstrukturen der Mathematik. Themen: Mathematische Logik Relationen Gruppen, Ringe, Körper

1 Grundstrukturen der Mathematik. Themen: Mathematische Logik Relationen Gruppen, Ringe, Körper 1 Grundstrukturen der Mathematik Themen: Mathematische Logik Relationen Gruppen, Ringe, Körper 1.1 Mathematische Logik Eine Formel oder ein Satz der Alltagssprache heißt Aussage, wenn sie wahr oder falsch

Mehr

Logik und Künstliche Intelligenz

Logik 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

Mehr

Elementare Mengenlehre

Elementare Mengenlehre Vorkurs Mathematik, PD Dr. K. Halupczok WWU Münster Fachbereich Mathematik und Informatik 5.9.2013 Ÿ2 Elementare Mengenlehre Der grundlegendste Begri, mit dem Objekte und Strukturen der Mathematik (Zahlen,

Mehr

Grundbegriffe der Informatik Kapitel 3: Mengen, Alphabete, Abbildungen

Grundbegriffe 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

Mehr

Mengenlehre. Mengenlehre. Vorkurs Informatik WS 2013/ September Vorkurs Informatik - WS2013/14

Mengenlehre. Mengenlehre. Vorkurs Informatik WS 2013/ September Vorkurs Informatik - WS2013/14 Mengenlehre Mengenlehre Vorkurs Informatik WS 2013/14 30. September 2013 Mengen Mengen Definition (Menge) Unter einer Menge verstehen wir jede Zusammenfassung M von bestimmten wohlunterschiedenen Objekten

Mehr