4 Mengentheorie. 4.1 Mengen
|
|
- Joachim Fertig
- vor 5 Jahren
- Abrufe
Transkript
1 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 ( ). Die Standard-Semantik von PL1 wird unter Verwendung der Mengentheorie formuliert. Umgekehrt kann die Mengentheorie in einer prädikatenlogischen Sprache präzise dargestelllt werden. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 1
2 Der klassische Mengenbegriff Eine Menge ist eine abstrakte Zusammenfassung bestimmter wohlunter-schiedener Objekte unserer Anschauung oder unseres Denkens zu einem Ganzen. Diese Objekte sind die Elemente der Menge. abstrakt : Die Objekte werden nicht in einem physischen Sinne zusammengefasst. Zusammenfassung : Die Objekte werden nicht auf eine bestimmte Weise angeordnet. wohlunterschieden : Die Objekte müssen für sich genommen identifizierbar sein. Anschauung / Denken : Es kann sich um konkrete oder abstrakte Objekte handeln. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 2
3 Mengen werden gewöhnlich mit ABC,,,, XYZ,,,, Elemente von Mengen, d.h. beliebige Objekte, mit abc,,,, xyz,,, notiert. Die Elementrelation zwischen Objekten und Mengen wird mit der 2-stelligen Prädikatskonstanten notiert: a A: a ist Element von A Eine alternative Schreibweise, die der von uns benutzten PL1-Notation entspricht, ist: ( aa, ) Johannes Dölling: Logik für Linguisten. WiSe 2012/13 3
4 D4.1 a A= ( a A) def a ist kein Element von A Johannes Dölling: Logik für Linguisten. WiSe 2012/13 4
5 D4.2 A= B= xx [ A x B] def A ist identisch mit B ( A und B sind gleich, A und B sind dieselbe Menge ) A B D4.3 A B= ( A= B) (d.h. x[ x A x B x A x B] ) def A ist verschieden von B Johannes Dölling: Logik für Linguisten. WiSe 2012/13 5
6 Eine endliche Menge ist eine Menge, die endlich viele Elemente enthält. Beispiel: die Menge der Monde des Saturn Eine unendliche Menge ist eine Menge, die unendlich viele Elemente enthält. Beispiel: die Menge aller Primzahlen Johannes Dölling: Logik für Linguisten. WiSe 2012/13 6
7 Eine Einermenge ist eine Menge, die genau ein Element enthält. Dabei muss klar zwischen der Menge und ihrem einzigen Element unterschieden werden. Beispiel: die Menge, die nur Georg Cantor enthält Die leere Menge ist diejenige Menge, die kein Element enthält, d.h. xx [ ] bzw. xx [. ] Beispiel: die Menge, die nur runde Quadrate enthält Johannes Dölling: Logik für Linguisten. WiSe 2012/13 7
8 Mengen können selbst Elemente von Mengen sein. Es wird zwischen Mengen verschiedener Stufe unterschieden (Bertrand Russell, , Typen-theorie): Mengen, die Individuen als Elemente enthalten, sind Mengen der 1. Stufe. Mengen, die Mengen der n-ten Stufe ( 1 n ) als Elemente enthalten, sind Mengen der n+1. Stufe. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 8
9 Spezifikation von Mengen (A) Aufzählung (Listennotation): { x,, x } 1 n : die Menge bestehend aus x,, x 1 n ( die Menge, die aus x,, x 1 n besteht ) { x }: die Einermenge bestehend aus x Beispiele: {,,}: die Menge bestehend aus,und { Karlo,Hans,Pluto }: { KarloHansPluto,, }: die Menge bestehend aus Karlo, Hans und Pluto die Menge bestehend aus den Namen Karlo, Hans und Pluto Johannes Dölling: Logik für Linguisten. WiSe 2012/13 9
10 { }: {{} a }: die Menge bestehend aus der leeren Menge die Menge bestehend aus der Einer-menge { a } {{},, } a a : die Menge bestehend aus { a }, a und {{ abc,, },{{ d },1},Hans}: die Menge bestehend aus den Mengen { abc,, } und {{ d },1} und Hans? Von welcher Stufe sind die angegebenen Mengen? Johannes Dölling: Logik für Linguisten. WiSe 2012/13 10
11 (B) Abstraktion (Prädikatsnotation): { x...} : die Menge der x, für die gilt:... { x P( x )}: die Menge der x, für die gilt: P( x ) ( die Menge der P ) Beispiele: { x MENSCH( x )}: die Menge der x, für die gilt: x ist ein Mensch ( die Menge der Menschen ) alternativ: { x x ist ein Mensch} Johannes Dölling: Logik für Linguisten. WiSe 2012/13 11
12 Weitere Beispiele: { x x N und x 2 und x 100} { x x ist deutsche Bundeskanzlerin} { x QUADRAT( x) RUNDx ( )} { x x existiert oder x existiert nicht} Johannes Dölling: Logik für Linguisten. WiSe 2012/13 12
13 ? Gib an, welche der folgenden Mengen identisch sind. (1) { x x ist Primzahl und x 10} (2) (3) { x x ist Primzahl, gerade und x> 2} (4) {2,3,5,7} Johannes Dölling: Logik für Linguisten. WiSe 2012/13 13
14 Prinzip der Mengenkonversion Für ein beliebiges a gilt: a { x P( x)} gdw Pa ( ). Johannes Dölling: Logik für Linguisten. WiSe 2012/13 14
15 Mächtigkeit von Mengen Die Anzahl der Elemente einer Menge A ist deren Mächtigkeit (oder Kardinalität). Sie wird mit A, #A oder card( A ) angegeben. Im Falle einer endlichen Menge ist deren Mächtigkeit eine natürliche Zahl. Beispiele: { a,{ c,2}} = 2 { x x ist ein Vokal, der im Wort Paris vorkommt} = 2 = 0 Johannes Dölling: Logik für Linguisten. WiSe 2012/13 15
16 Teilmengenrelationen Neben der Identitätsrelation können zwischen Mengen auch Teilmengenrelationen bestehen. D4.4 A B= xx [ A x B] def A ist eine Teilmenge von B ( B ist eine Obermenge vona ) B A Beispiele: Johannes Dölling: Logik für Linguisten. WiSe 2012/13 16
17 {2,3, e} {2,3, e} { a} {{ a}, a} { x x studiert Linguistik} Die leere Menge ist Teilmenge einer beliebigen Menge, d.h. X[ X]. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 17
18 D4.5 A B= ( A B) (d.h. xx [ A x B] ) def A ist keine Teilmenge von B Johannes Dölling: Logik für Linguisten. WiSe 2012/13 18
19 D4.6 A B= A B A B def A ist eine echte Teilmenge von B ( B ist eine echte Obermenge von A ) B A + Johannes Dölling: Logik für Linguisten. WiSe 2012/13 19
20 Beispiele: {2, e} {2,3, e}, { a} {{ a}, a}, { x x studiert Linguistik} Johannes Dölling: Logik für Linguisten. WiSe 2012/13 20
21 D4.7 A B= ( A B) def A ist keine echte Teilmenge von B Beispiele: { abc,, } { abc,, } { abc,, } { ab, } { abc,, } {2,4,9} Johannes Dölling: Logik für Linguisten. WiSe 2012/13 21
22 ? Gib an, welche Teilmengenrelationen zwischen folgenden Mengen bestehen. S,, {{ S }}, { S} Johannes Dölling: Logik für Linguisten. WiSe 2012/13 22
23 Mengentheoretische Gesetze Die Identität ist reflexiv: A= A symmetrisch: ( A= B) ( B= A) transitiv: ( A= B) ( B= C) ( A= C) Die Teilmengenrelation ist reflexiv: A A antisymmetrisch: ( A B) ( B A) ( A= B) transitiv: ( A B) ( B C) ( A C) Die echte Teilmengenrelation ist irreflexiv: A A asymmetrisch: ( A B) ( B A) transitiv: ( A B) ( B C) ( A C) Reflexivität, Irreflexivität, Symmetrie usw. sind Eigenschaften von Relationen. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 23
24 Die Identität ist eine Äquivalenzrelation. Die Teilmengenrelation ist eine schwache Ordnungsrelation. Die echte Teilmengenrelation ist eine strenge Ordnungsrelation. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 24
25 Weitere Relationen zwischen Mengen sind z.b. die Überlappung (o) und die Disjunktheit ( ) von Mengen.? Gib die Definitionen dieser Mengenrelationen an. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 25
26 4.2 Operationen mit Mengen Mit Hilfe von mengentheoretischen Operationen lassen sich neue Mengen bilden. Potenzmenge ( power set ) D4.8 P ( A) = { X X A} (auch: powa, ( ) ( A) ) def P von A Die Potenzmenge von A ist die Menge aller Teilmengen von A. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 26
27 Wenn A eine Menge der n-ten Stufe ist, dann ist P ( A) eine Menge der n+1. Stufe. Mächtigkeit von Potenzmengen: Wenn A = n, dann P ( A ) = 2 n, d.h (n-mal). Johannes Dölling: Logik für Linguisten. WiSe 2012/13 27
28 Beispiele: P ({Hans,Maria}) = {,{Hans},{Maria},{Hans,Maria}} P ({1,2,3}) = {,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}} P ({ S}) = {,{ S}} P ( = ) { } P ({ S,{ S}}) = {,{ S},{{ S}},{ S,{ S}}}? Gib für {{ ab, }, c } die Potenzmenge an. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 28
29 Mengenvereinigung ( union ) D4.9.1 A B= { x x A x B} def A vereinigt mit B Die Vereinigung von A und B ist die Menge, die alle Elemente, die in A oder in B vorkommen, und nur diese enthält. A B Johannes Dölling: Logik für Linguisten. WiSe 2012/13 29
30 Beispiele: { abc,, } {1,2} = { abc,,,1,2} { S} { S,{ S}} = { S,{ S}} { et, } = { et, } Johannes Dölling: Logik für Linguisten. WiSe 2012/13 30
31 Verallgemeinerung: D4.9.2 U= { x XX [ U x X]} def die Vereinigungsmenge von U (alternativ:{ x X : X Ux [ X]}, oder einfacher: { x X Ux [ X]} ) Beispiel: { } { ab, },{47},{ cd,, f} = { ab,,47, cd,, f} Johannes Dölling: Logik für Linguisten. WiSe 2012/13 31
32 Mengendurchschnitt ( intersection ) D A B= { x x A x B} def A geschnitten mit B Die Durchschnitt von A und B ist die Menge, die alle Elemente, die sowohl in A als auch in B vorkommen, und nur diese enthält. A B Johannes Dölling: Logik für Linguisten. WiSe 2012/13 32
33 Beispiele: {2,3,7,11} {1,2,3,4} = {2,3} { a,{ a}} { a,{ a},{ a,{ a}}} = { a,{ a}} { ab, } {1,2} = Johannes Dölling: Logik für Linguisten. WiSe 2012/13 33
34 Verallgemeinerung: D U= { x XX [ U x X]} def die Schnittmenge von U (alternativ:{ x X : X Ux [ X]}, oder einfacher: { x X Ux [ X]} ) Beispiel: {{0,1},{0,1,2,3},{1} } = {1} Johannes Dölling: Logik für Linguisten. WiSe 2012/13 34
35 Mengendifferenz ( subtraction ) D4.11 A\ B= { x x A x B} def A ohne B Die Differenz von A und B ist die Menge, die genau die Elemente aus A enthält, die nicht in B vorkommen. A B Beispiele: Johannes Dölling: Logik für Linguisten. WiSe 2012/13 35
36 {Hans,Maria}\{Maria} = {Hans}, { S}\{ S } =, {0,1}\ = {0,1} Johannes Dölling: Logik für Linguisten. WiSe 2012/13 36
37 Komplement einer Menge Ein Spezialfall der Differenz ist das Komplement einer Menge A bezüglich einer vorausgesetzten Grundmenge G, wobei A G. Dabei ist G entweder explizit angegeben oder aus dem Kontext entnehmbar. D4.12 A' = G \ A def (alternativ:{ x G x A} ) Das Komplement von A ist die Menge, die genau die Elemente der Grundmenge G enthält, die nicht in A vorkommen. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 37
38 A G Beispiele: Sei G = { abcd,,, }. { a}' = { bcd,, } { db, }' = { ac, } { abcd,,, }' = Johannes Dölling: Logik für Linguisten. WiSe 2012/13 38
39 Mengentheoretische Gesetze Idempotenz: Kommutativität: A A= A A A= A A B= B A A B= B A Assoziativität: A ( B C) = ( A B) C A ( B C) = ( A B) C Distributivität: A ( B C) = ( A B) ( A C) Identität: A = A A ( B C) = ( A B) ( A C) A G= G A = A G = A Johannes Dölling: Logik für Linguisten. WiSe 2012/13 39
40 Komplement: A A' =G ( A')' = A A A' = A\ B= A B' De Morgansche Gesetze: ( A B)' = A' B' ( A B)' = A' B' Konsistenz: A B A B= B A B A B= A Johannes Dölling: Logik für Linguisten. WiSe 2012/13 40
41 Identische Umformungen Die Gesetze für die mengentheoretischen Operationen erlauben es, Mengenausdrücke durch identische Umformungen ineinander zu überführen und dabei insbesondere auch zu vereinfachen. Beispiele: ( A B) ( B C)' = ( A B) ( B' C') de Morgan = A ( B ( B' C')) Assoziativität = A (( B B') C') Assoziativität = A ( G C') Komplement = A ( C' G ) Kommutativität = A G Identität =G Identität ( B A) A' = A' ( B A) Kommutativität Johannes Dölling: Logik für Linguisten. WiSe 2012/13 41
42 = ( A' B) ( A' A) Distributivität = ( A' B) Komplement = A' B Identität = B A' Kommutativität = B\ A Komplement Johannes Dölling: Logik für Linguisten. WiSe 2012/13 42
43 Algebraische Strukturen Eine Algebraische Struktur (oder Algebra) A= Af,,, f 1 n ist eine Menge A, auf der Operationen f 1,, f n definiert sind. Seien und 2-stellige Operatoren, * ein 1-stelliger Operator und 1 und 0 ausgezeichnete Elemente einer Menge B. Eine Boolesche Algebra BA= B,,,*,1,0 ist eine algebraische Struktur, die die Gesetze der Assoziativität, Kommutativität, Distributivität, Identität und des Komplements erfüllt (George Boole, ). Potenzmengen von beliebigen nichtleeren Mengen X haben die Struktur einer Booleschen Algebra P ( X),,,', X,. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 43
44 Beispiel: Sei X= { abc,, }. Dann ist ( abc) P {,, },,,',{ abc,,,}, eine Boolesche Algebra. Die Aussagenlogik AL ist ebenfalls eine Boolesche Algebra B,,,,,, wobei B die Menge der Formeln von AL ist und und entsprechend die tautologischen bzw. die kontradiktorischen Formeln repräsentieren. Die AL-Konnektoren, und werden deshalb auch Boolesche Operatoren genannt. Johannes Dölling: Logik für Linguisten. WiSe 2012/13 44
4 Elementare Mengentheorie
4 Elementare Mengentheorie 4 Elementare Mengentheorie 4.1 Mengen [ Partee 3-11, McCawley 135-140, Chierchia 529-531 ] Die Mengentheorie ist entwickelt worden, um eine asis für den ufbau der gesamten Mathematik
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
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
MehrMengen. (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
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
MehrWas bisher geschah Klassische Aussagenlogik zur Modellierung von Aussagen Syntax: Formeln
Was bisher geschah Klassische Aussagenlogik zur Modellierung von Aussagen Syntax: Formeln induktive Definition der Menge AL(P) (Baumstruktur) strukturelle Induktion (Funktionen, Nachweise) syntaktische
MehrGliederung. Mengen und operationen. Relationen. Funktionen. Kardinalität von Mengen. Formale Grundlagen der Informatik Knorr/Fuchs SS 2000
Gliederung Mengen und operationen Relationen Funktionen Kardinalität von Mengen Mengen, Relationen, Funktionen 1 Mengen Definition (Naive Mengenlehre) Eine Menge ist die Zusammenfassung von Elementen unserer
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
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,
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
MehrMathematischer Vorbereitungskurs für das MINT-Studium
Mathematischer Vorbereitungskurs für das MINT-Studium Dr. B. Hallouet b.hallouet@mx.uni-saarland.de WS 2016/2017 Vorlesung 3 MINT Mathekurs WS 2016/2017 1 / 21 Vorlesung 3 (Lecture 3) Einführung in die
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
MehrVorlesung Diskrete Strukturen Die Sprache der modernen Mathematik
Vorlesung Diskrete Strukturen Die Sprache der modernen Mathematik Bernhard Ganter Institut für Algebra TU Dresden D-01062 Dresden bernhard.ganter@tu-dresden.de WS 2009/10 1 Bernhard Ganter, TU Dresden
MehrRelationen können als spezielle Mengen verstanden werden.
4.3 Relationen Relationen können als spezielle Mengen verstanden werden. Hierfür muss zunächst der Begriff eines weiteren mengentheoretischen Objektes der des geordneten n-tupels eingeführt werden. Johannes
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
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,
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
MehrMathematischer Vorbereitungskurs für das MINT-Studium
Mathematischer Vorbereitungskurs für das MINT-Studium Dr. B. Hallouet b.hallouet@mx.uni-saarland.de SS 2017 Vorlesung 2 MINT Mathekurs SS 2017 1 / 23 Vorlesung 2 (Lecture 2) Einführung in die 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
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
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
MehrGrundkurs Semantik. Sitzung 3: Mengenlehre. Andrew Murphy
Grundkurs Semantik Sitzung 3: Mengenlehre Andrew Murphy andrew.murphy@uni-leizpig.de Grundkurs Semantik HU Berlin, Sommersemester 2015 http://www.uni-leipzig.de/ murphy/semantik15 15. Mai 2015 Basiert
MehrGrundlagen 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
MehrMengen, Logik. Jörn Loviscach. Versionsstand: 17. Oktober 2009, 17:42
Mengen, Logik Jörn Loviscach Versionsstand: 17. Oktober 2009, 17:42 1 Naive Mengenlehre Mengen sind die Grundlage fast aller mathematischen Objekte. Ob die Zahl 7, ein Kreis in der Ebene, die Relation
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
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 =
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.
MehrIm allerersten Unterabschnitt wollen wir uns mit einer elementaren Struktur innerhalb der Mathematik beschäftigen: Mengen.
Kapitel 1 - Mathematische Grundlagen Seite 1 1 - Mengen Im allerersten Unterabschnitt wollen wir uns mit einer elementaren Struktur innerhalb der Mathematik beschäftigen: Mengen. Definition 1.1 (G. Cantor.
MehrMathematische Grundlagen der Computerlinguistik I. Mengen und Mengenoperationen (Teil 1)
Mathematische Grundlagen der Computerlinguistik I Mengen und Mengenoperationen (Teil 1) Exzerpt aus dem Skript von Prof. Dr. Klaus U. Schulz Michaela Geierhos M.A. Centrum für Informations- und Sprachverarbeitung
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
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
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,
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
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
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
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
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
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
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 =
MehrMathematische Grundlagen der Computerlinguistik Mengen und Mengenoperationen
Mathematische Grundlagen der Computerlinguistik Mengen und Mengenoperationen Dozentin: Wiebke Petersen 1. Foliensatz Wiebke Petersen math. Grundlagen 6 Frage Was ist eine Menge? 1 Minute zum Nachdenken
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
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
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
MehrFür ist Element von und ist nicht Element von schreibt man: 2
3 Mengen, Logik Jörn Loviscach Versionsstand: 2. Dezember 2011, 16:25 Die nummerierten Felder sind absichtlich leer, zum Ausfüllen in der Vorlesung. Videos dazu: http://www.j3l7h.de/videos.html This work
MehrEine Menge A ist die Zusammenfassung gleichartiger Elemente zu einer Gesamtheit. Eine Menge kann definiert werden durch
1.2 Mengenlehre Grundlagen der Mathematik 1 1.2 Mengenlehre Definition: Menge, Element, Variablenraum Eine Menge A ist die Zusammenfassung gleichartiger Elemente zu einer Gesamtheit. Eine Menge kann definiert
MehrMengen (siehe Teschl/Teschl 1.2)
Mengen (siehe Teschl/Teschl 1.2) Denition nach Georg Cantor (1895): Eine Menge ist eine Zusammenfassung von bestimmten und wohlunterschiedenen Objekten unserer Anschauung oder unseres Denkens zu einem
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
Mehr3 Mengen, Logik. 1 Naive Mengenlehre
3 Mengen, Logik Jörn Loviscach Versionsstand: 21. September 2013, 15:53 Die nummerierten Felder sind absichtlich leer, zum Ausfüllen beim Ansehen der Videos: http://www.j3l7h.de/videos.html This work is
Mehr5.1 Operationen 5.2 Boolsche Algebren 5.3 Monoide, Gruppen, Ringe, Körper 5.4 Quotientenalgebren
5. Algebra 5.1 Operationen 5.2 Boolsche Algebren 5.3 Monoide, Gruppen, Ringe, Körper 5.4 Quotientenalgebren 5. Algebra GM 5-1 Black Box Allgemein ist eine Black Box ein Objekt, dessen innerer Aufbau und
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
MehrMathematische Grundlagen der Computerlinguistik
Mengen und Mengenoperationen (Teil I) Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Table of Contents Mengen und ihre Darstellung Darstellung endlicher Mengen Darstellung unendlicher
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
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
MehrRelationen. 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
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)
MehrMathematik 1 für Informatik Inhalt Grundbegrie
Mathematik 1 für Informatik Inhalt Grundbegrie Mengen, speziell Zahlenmengen Aussagenlogik, Beweistechniken Funktionen, Relationen Kombinatorik Abzählverfahren Binomialkoezienten Komplexität von Algorithmen
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!
MehrKapitel 0: Grundbegriffe Gliederung
Gliederung 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechenbarkeitstheorie 4. Komplexitätstheorie 5. Kryptographie 0/2, Folie 1 2009 Prof. Steffen Lange - HDa/FbI - Theoretische Informatik
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
MehrMengenlehre und vollständige Induktion
Fachschaft MathPhys Heidelberg Mengenlehre und vollständige Induktion Vladislav Olkhovskiy Vorkurs 018 Inhaltsverzeichnis 1 Motivation 1 Mengen.1 Grundbegriffe.................................. Kostruktionen
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
MehrLineare 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
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
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
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
MehrMengenlehre. 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
MehrMengenlehre Zahlbereiche. II Mengenlehre. Propädeutikum Holger Wuschke. 18. September 2018
Propädeutikum 2018 18. September 2018 in der Mengenlehre Denition einer Menge (Georg Cantor, 1869) Unter einer Menge verstehen wir jede Zusammenfassung M von bestimmten wohlunterschiedenen Objecten m unsrer
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
Mehr2 Mengenlehre. 2.1 Grundlagen Definition
2 Mengenlehre 2.1 Grundlagen Einer der wichtigsten Grundbegriffe in der Mathematik ist der Mengenbegriff. Die zugehörige Theorie - die Mengenlehre - bildet die Grundlage für die gesamte Mathematik. Nur
MehrZur Vorbereitung auf die Vorlesung Grundlagen der theoretischen Informatik Mo 4., Mi 6. und Fr. 8. Oktober in H/C 3310 um Uhr.
M a t h e m a t i s c h e s P r o p ä d e u t i k u m Zur Vorbereitung auf die Vorlesung Grundlagen der theoretischen Informatik Mo 4., Mi 6. und Fr. 8. Oktober in H/C 3310 um14 00-16 00 Uhr. Erfahrungsgemäß
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
MehrGrundbegriffe 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
MehrN = f0; 1; 2; : : : g: [n] = f1; : : : ; ng: M = f x j x hat die Eigenschaft E g:
1 Mengen Gregor Cantor denierte 1895 eine Menge als eine Zusammenfassung wohldenierter, unterscheidbarer Objekte. Eine Menge wird als neues Objekt angesehen, die Menge ihrer Objekte. Ein Objekt x aus der
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
MehrMathematische 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,
MehrPrädikate sind Funktionen. Prädikatenlogik. Quantoren. n stellige Prädikate. n stellige Prädikate:
Aussagenlogik: Aussagen Ausssageformen Prädikatenlogik beschäftigt sich mit Aussagen sind Sätze die entweder wahr oder falsch sind sind Sätze mit Variablen, die beim Ersetzen dieser Variablen durch Elemente
MehrDer Kalkül der Mengen. Die Sprache der Mathematik 1 / 68
Der Kalkül der Mengen Die Sprache der Mathematik 1 / 68 Präzise beschreiben und argumentieren: Aber wie? In welcher Sprache sollten wir versuchen, komplexe Sachverhalte vollständig und eindeutig zu beschreiben?
MehrRückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen
Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung
MehrSeminar Mathematische Logik L-Strukturen und Syntax der Prädikatenlogik
Seminar Mathematische Logik L-Strukturen und Syntax der Prädikatenlogik Linda Raabe 7. März 2012 1 L-Strukturen Definition 1.1 (Struktur) Eine Struktur A ist eine nichtleere Trägermenge A zusammen mit
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
MehrRelationen und Funktionen
Vorkurs Mathematik Dr. Regula Krapf Sommersemester 018 Relationen und Funktionen Definition. Seien M und N Mengen. Eine Relation auf M N ist eine Teilmenge R M N. Falls (x,y) R, so schreibt man auch x
MehrRückblick. Erweiterte b-adische Darstellung von Kommazahlen. 7,1875 dargestellt mit l = 4 und m = 4 Bits. Informatik 1 / Kapitel 2: Grundlagen
Rückblick Erweiterte b-adische Darstellung von Kommazahlen 7,1875 dargestellt mit l = 4 und m = 4 Bits 66 Rückblick Gleitkommazahlen (IEEE Floating Point Standard 754) lassen das Komma bei der Darstellung
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
MehrMengen. Welche dieser Mengen sind paarweise gleich, ungleich? Begründung!
Hinweis: Auf den Übungsblättern in diesem Semester wird es grundsätzlich die drei Aufgabentypen Vorbereitungsaufgabe, Tutoraufgabe und Hausaufgabe geben. Die als Vorbereitung bezeichneten Aufgaben dienen
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
MehrInformatik I Tutorium WS 07/08
Informatik I Tutorium WS 07/08 Vorlesung: Prof. Dr. F. Bellosa Übungsleitung: Dipl.-Inform. A. Merkel Tutorium: 2 Tutor: Jens Kehne Tutorium 7: Dienstag,. Dezember 2007 Agenda des heutigen Tutoriums Übersicht
MehrDiskrete Strukturen WiSe 2012/13 in Trier
Diskrete Strukturen WiSe 2012/13 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 8. November 2012 1 Diskrete Strukturen Gesamtübersicht Organisatorisches und Einführung Mengenlehre Relationen
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.
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
MehrElemente der Verbandstheorie
Elemente der Verbandstheorie Michael Zirpel (mz@qlwi.de), München 13. April 2013 1 Verband Eine Menge L mit den Verknüpfungen : L L L,(a,b) a b : L L L,(a,b) a b bezeichnet man als Verband (L,, ), engl.
Mehr