Mathematische Grundlagen der Computerlinguistik
|
|
- Kajetan Fürst
- vor 6 Jahren
- Abrufe
Transkript
1 Mengen und Mengenoperationen (Teil I) Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014
2 Table of Contents Mengen und ihre Darstellung Darstellung endlicher Mengen Darstellung unendlicher Mengen 1 Mengen und ihre Darstellung Darstellung endlicher Mengen Darstellung unendlicher Mengen 2 Gleichheit Inklusion 3 4
3 Mengen und ihre Darstellung I Darstellung endlicher Mengen Darstellung unendlicher Mengen Definition nach G. Cantor Unter einer Menge verstehen wir jede M von bestimmten, wohlunterschiedenen Objekten unserer Anschauung oder unseres Denkens (welche Elemente von M genannt werden) zu einem Ganzen. Mengen sind also eine Reihe von Elementen. Elemente sind entweder in einer Menge enthalten oder nicht. Wir schreiben: a M (a ist in M enthalten) a / M (a ist nicht in M enthalten)
4 Mengen und ihre Darstellung II Darstellung endlicher Mengen Darstellung unendlicher Mengen Per Konvention werden Mengen meist mit Großbuchstaben (A, B, C,..., M, N,..., S,... ) und die Elemente einer Menge mit Kleinbuchstaben (a A, b B,... ) betitelt. Es gibt zwei grundsätzliche Strategien, um Mengen darzustellen: Endliche Mengen lassen sich darstellen, indem alle Elemente, die sie enthalten, explizit aufgezählt werden. Unendliche (und natürlich auch endliche Mengen mit sehr vielen Elementen) können mit einer Eigenschaft ϕ, die auf die Objekte zutrifft, die in der Menge enthalten sind, implizit dargestellt werden.
5 Darstellung endlicher Mengen I Darstellung endlicher Mengen Darstellung unendlicher Mengen Endliche Mengen können dargestellt werden, indem alle enthaltenen Elemente aufgezählt werden. Dazu verwendet man geschweifte Klammern: M = {1, 2, 3} N = {M, i, s, p} A = {} B = M ist somit die Menge mit den Elementen 1, 2 und 3. N ist z.b. die Menge der Buchstaben des Wortes Mississippi. A und B sind beides leere Mengen (d.h. Mengen, die keine Elemente enthalten).
6 Darstellung endlicher Mengen II Darstellung endlicher Mengen Darstellung unendlicher Mengen Mengen können selbst wiederum andere Mengen enthalten. Hierzu einige Beispiele: M = { } hat genau ein Element, nämlich die leere Menge. M = {{1, 2, 3}, {1, 2}} hat zwei Elemente, die Mengen {1, 2, 3} und {1, 2}. M = {{ }, } hat ebenfalls zwei Elemente, nämlich { } und die leere Menge.
7 Darstellung endlicher Mengen III Darstellung endlicher Mengen Darstellung unendlicher Mengen Eine einfache Intuition, um sich Mengen vorzustellen insbesondere den Unterschied zwischen der leeren Menge und der Menge { }, die als einziges Element die leere Menge enthält ist die Darstellung von Mengen als Schachteln mit (oder ohne) Inhalt. In dieser Darstellungsform ist z.b. eine leere Schachtel offensichtlich etwas anderes als eine Schachtel, die eine leere Schachtel enthält. Abbildung : Schachteldarstellung von Mengen
8 Darstellung unendlicher Mengen I Darstellung endlicher Mengen Darstellung unendlicher Mengen Mengen können mit einer Eigenschaft ϕ beschrieben werden. Diese Eigenschaft definiert all jene Elemente, die in der Menge enthalten sind. So bezeichnet {x ϕ(x)} die Menge aller Objekte x, für die die Aussage ϕ wahr ist. {y ϕ(y) χ(y)} enthält alle Objekte y für die die Aussagen ϕ und χ wahr sind. Was bezeichnet die Menge {x N x > 5}? Was bezeichnet die Menge {a lieben(a, Anna)}?
9 Darstellung unendlicher Mengen II Darstellung endlicher Mengen Darstellung unendlicher Mengen Die Eigenschaften zur Definition von Mengen können aus komplexen Kombinationen von Aussagen und Bedingungen bestehen: M := {x N y N : x = 2y} M ist somit die Menge aller natürlichen geraden Zahlen. Es können auch Mengen definiert werden, deren Elemente nicht notwendigerweise berechnet werden können: M := {n N n ist die kleinste Primzahl oberhalb von k}
10 Table of Contents Mengen und ihre Darstellung Gleichheit Inklusion 1 Mengen und ihre Darstellung Darstellung endlicher Mengen Darstellung unendlicher Mengen 2 Gleichheit Inklusion 3 4
11 Extensionalitätsprinzip I Gleichheit Inklusion Extensionalitätsprinzip Zwei Mengen M und N sind gleich genau dann, wenn sie dieselben Elemente enthalten: M = N : x : (x M x N) Für Beweise kann das Extensionalitätsprinzip direkt zum Vergleich von Mengen herangezogen werden. Man muss dabei immer zeigen, dass alle Elemente von M auch in N vorkommen und umgekehrt.
12 Extensionalitätsprinzip II Gleichheit Inklusion Direkt aus dem Extensionalitätsprinzip lassen sich die folgenden Äquivalenzen ableiten: {1, 2, 3} = {3, 2, 1} = {2, 3, 1}... {1, 2, 3} = {1, 1, 2, 3} = {1, 1, 2, 2, 3} =... {M, i, s, p} = {M, i, s, s, i, s, s, i, p, p, i} Überprüfen Sie diese äquivalenten Mengen mit Hilfe des Extensionalitätsprinzips!
13 Extensionalitätsprinzip III Gleichheit Inklusion Inhaltlich besagt das Extensionalitätsprinzip, dass bei einem Prozess der davon abstrahiert wird, welche Anschauung bei der Auswahl der Elemente maßgebend war. Somit kann eine Gleichheit {x ϕ(x)} = {x ψ(x)} gelten, auch wenn ϕ und ψ nichts miteinander gemeinsam haben: {4} = {n N 3 < n n < 5} = { 16} {Morgenstern} = {Abendstern} = {Venus}
14 Teilmenge Mengen und ihre Darstellung Gleichheit Inklusion Teilmenge M und N seien Mengen. N heißt Teilmenge von M genau dann, wenn jedes Element von N auch Element von M ist: M N : x : (x M x N) N heißt echte Teilmenge von M genau dann, wenn N Teilmenge von M ist und zusätzlich N M gilt. Oftmals schreibt man N M (resp. N M), um auszudrücken, dass N keine (echte) Teilmenge von M ist.
15 Venn-Diagramm Mengen und ihre Darstellung Gleichheit Inklusion Abbildung : Teilmengenbeziehung A B im Venn-Diagramm Zur Veranschaulichung von Mengen und deren möglichen Beziehungen untereinander verwendet man oft sog. Venn-Diagramme. Beim Arbeiten mit Venn-Diagrammen sollte man sich aber immer vergegenwärtigen, dass einige der dargestellten Menge i.a. leer sein können.
16 Eigenschaften von Teilmengen Gleichheit Inklusion Lemma: Für beliebige Mengen L, M, N gilt stets: (L M M N) L N (1) (M N N M) M = N (2) M M M (3) Wie kann man diese drei Eigenschaften jeweils beschreiben?
17 Gleichheit Inklusion Beweis der Transitivität der Teilmengenbeziehung I Mit einem Venn-Diagramm ist die Transitivität der Teilmengenbeziehung gut zu verstehen. Hier soll nun einmal der triviale Beweis der Eigenschaft 1 der vorherigen Folie (L M M N) L N vorgeführt werden, anhand dessen ein wichtiges Beweisrezept vorgestellt werden soll.
18 Gleichheit Inklusion Beweis der Transitivität der Teilmengenbeziehung II Zwei Eigenschaften von Aussagen sind für die folgende Beweisführung von Bedeutung: Die Eigenschaft der Implikation nur dann überhaupt falsch sein zu können, wenn die Prämisse wahr ist. Man kann bei der Beweisführung von Implikationen immer davon ausgehen, dass die Prämisse stimmt. Das Rezept zum Beweis des Allquantors. Zum Beweis des Allquantors muss ein generisches Element g verwendet werden, mit dem die Aussage erfüllt wird.
19 Gleichheit Inklusion Beweis der Transitivität der Teilmengenbeziehung III Zum Beweis der Eigenschaft (L M M N) L N können wir als Erstes die Teilmengenbeziehung mit ihrer Definition ersetzen: x : (x L x M) (4) x : (x M x N) (5) Zu zeigen ist die Konklusion L N ebenfalls mit der Definition der Teilmenge: x : (x L x N) (6) Für den eigentlichen Beweis benötigen wir noch folgende aussagenlogische Tautologie 1 : (α (α β)) β (7) 1 Siehe hierzu Tautologie 17 aus Satz 1.1 des Skripts.
20 Gleichheit Inklusion Beweis der Transitivität der Teilmengenbeziehung IV Wir verwenden ein beliebiges Objekt g und wollen zeigen, dass g L auch g N impliziert (vgl 6). Dabei können wir annehmen, dass tatsächlich g L gilt (Implikation): 1 Mit 4 gilt: g L g M 2 Aus 7 folgt dann: g M 3 Mit 5 gilt: g M g N 4 Aus 7 folgt dann: g N 5 Somit gilt g L g N und (L M M N) L N ist bewiesen.
21 Table of Contents Mengen und ihre Darstellung 1 Mengen und ihre Darstellung Darstellung endlicher Mengen Darstellung unendlicher Mengen 2 Gleichheit Inklusion 3 4
22 Vereinigung zweier Mengen Die Vereinigung zweier Mengen resultiert in einer Ergebnismenge, die alle Elemente beider Mengen enthält: Definition der Vereinigung Die Menge A B := {x x A x B} heißt Vereinigung von A und B. Abbildung : Venn-Diagramm der Vereinigungsmenge von A B
23 Durchschnitt zweier Mengen Der Durchschnitt zweier Mengen resultiert in einer Ergebnismenge, die alle Elemente enthält, die in beiden Mengen vorkommen: Definition des Durchschnitts Die Menge A B := {x x A x B} heißt Durchschnitt von A und B. Zwei Mengen A und B heißen disjunkt falls gilt: A B =. Abbildung : Venn-Diagramm der Durchschnittsmenge von A B
24 Beispiel I Mengen und ihre Darstellung Die Vereinigung der Mengen {1, 3, 4} und {1, 2, 4, 9} ist {1, 2, 3, 4, 9}. Die Vereinigung der Mengen {{1, 3, 4}} und {{1, 2, 4, 9}} ist {{1, 3, 4}, {1, 2, 4, 9}}. Im Schachtelbild vereinigen wir jeweils den Inhalt der beiden Ausgangsschachteln in einer neuen Schachtel. Dabei werden doppelte Elemente eliminiert:
25 Beispiel II Mengen und ihre Darstellung Der Durchschnitt der Mengen {1, 3, 4} und {1, 2, 4, 9} ist {1, 4}. Der Durchschnitt der Mengen {{1, 3, 4}} und {{1, 2, 4, 9}} ist {}. Im Schachtelbild werden nur diejenigen Elemente der Schachteln ausgewählt, die in beiden Schachteln vorkommen:
26 Eigenschaften Mengen und ihre Darstellung Lemma Für beliebige Mengen A, B und C gelten stets folgende Identitäten: A A = A (Idempotenz) (8) A A = A A B = B A (Kommutativität) (9) A B = B A A (B C) = (A B) C (Assoziativität) (10) A (B C) = (A B) C A (B C) = (A B) (A C) (Distributivität) (11) A (B C) = (A B) (A C) A = A, A = (12)
27 Beweis der Kommutativität von I Um die Kommutativität von (9) zu beweisen, verwenden wir das Standardrezept, um die Gleichheit von Mengen zu beweisen. Um die Gleichheit zweier Mengen zu beweisen, muss man zeigen, dass alle Elemente der einen Menge Element der anderen sind und umgekehrt. Desweiteren benötigen wir noch diese aussagenlogische Tautologie 2 : (α β) (β α) (13) 2 Siehe hierzu Tautologie 4 aus Satz 1.1 des Skripts.
28 Beweis der Kommutativität von II Zu beweisen: A B = B A. 1 x (A B) 2 Durch Ersetzen mit der Definition der Vereinigung erhalten wir: (x A) (x B) 3 Über die aussagenlogische Tautologie 13 erhalten wir: (x B) (x A) 4 Damit erhalten wir über die Definition der Vereinigung: x (B A) Gemäß dem Extensionalitätsprinzip (x N x M) folgt nun A B = B A
29 Differenz I Mengen und ihre Darstellung Definition Differenz Die Menge A \ B := {x x A x B} heißt Differenz der Mengen A und B. Dabei muss nicht A B oder B A gelten. Abbildung : Differenz zwischen den Mengen A und B.
30 Differenz II Mengen und ihre Darstellung Lemma Für beliebige Mengen A und B gilt stets: Beispiele: A \ = A (14) A B = A \ B = A B \ A = B (15) Es gilt: {4, 1, 2} \ {1, 4, 6} = {2} Es gilt: {1, 5, 6} \ {4, 1, 2} = {5, 6} Es gilt: {{1, 3, 4}} \ {{1, 3, 4, 9}} = {{1, 3, 4}}
31 Symmetrische Differenz I Definition symmetrische Differenz Die Menge A B := (A \ B) (B \ A) heißt symmetrische Differenz der Mengen A und B. Dabei muss nicht A B oder B A gelten. Abbildung : Symmetrische Differenz zwischen den Mengen A und B
32 Symmetrische Differenz II Lemma Für beliebige Mengen A, B und C gilt stets: A B = (A B) \ (A B) (16) A B = B A (17) A (B C) = (A B) C (18) A A = (19) A (A B) = B (20) A (B C) = (A B) (A C) (21) A B = A B = A B (22) Beispiele: Es gilt: {4, 1, 2} {1, 5, 6} = {4, 2, 5, 6} Es gilt: {4, 1, 5, 6} \ {1, 5, 6} = {4}
33 I Mengen und ihre Darstellung Definition Ist A Teilmenge von B, so wird die Differenz B \ A auch von A in B genannt. Abbildung : von A in B
34 II Mengen und ihre Darstellung Lemma De Morgansche Regeln (einfache Form) Es seien A und B beliebige Teilmengen einer Menge M. Das Symbol bezeichne die bildung in M; dann gilt immer: (A B) = ( A) ( B) (23) (A B) = ( A) ( B) (24)
35 Beweis I Mengen und ihre Darstellung Zum Beweis der De Morganschen Regel (23) benötigen wir wieder das allgemeine Rezept zum Beweis von Mengengleichheit (Extensionalitätsprinizp) und die beiden aussagenlogischen Tautologien 3 : α (β γ) (α β) (α γ) (25) (α β) ( α β) (26) 3 Siehe hierzu Tautologien 10 und 7 aus Satz 1.1 des Skripts.
36 Beweis II Mengen und ihre Darstellung 1 Alle Elemente der einen Menge müssen Element der anderen sein: x (A B) 2 Definition der Schnittmenge und des s (A und B Teilmenge von M): x M ((x A) (x B)) 3 Umformung mit (26): x M ( (x A) (x B)) 4 Umformung mit (25): ((x M) (x A)) (( (x M) (x B)) 5 Definition des s: x ( A) ( B)
37 III Mengen und ihre Darstellung Lemma Es seien A, B beliebige Teilmengen einer Menge M. Das Symbol bezeichne wiederum die bildung in M; dann gilt stets: ( A) = A (27) A B B A (28) = M (29) M = (30) A B A B = M (31)
38 Table of Contents Mengen und ihre Darstellung 1 Mengen und ihre Darstellung Darstellung endlicher Mengen Darstellung unendlicher Mengen 2 Gleichheit Inklusion 3 4
39 tl;dr Mengen und ihre Darstellung Endliche Menge können immer durch explizite Angabe aller ihrer Elemente definiert werden. Unendliche Mengen können immer über eine Eigenschaft, die alle Elemente erfüllen müssen definiert werden. Zwei Mengen sind gleich wenn sie die selben Elemente enthalten (Extensionalitätsprinzip). Eine Menge ist Teilemenge einer anderen, wenn alle ihre Elemente auch in der anderen vorkommen. Die Vereinigung zweier Mengen ist die Menge aller Elemente die mindestens in einer der beiden vorkommen. Der Durchschnitt zweier Mengen ist die Menge aller Elemente die in beiden Menge vorkommen.
Mathematische Grundlagen der Computerlinguistik
Mengen und Mengenoperationen (Teil II) Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Table of Contents 1 2 3 Definition Mengenfamilie Eine Menge, deren sämtliche Elemente selbst wiederum
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.
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 Computerlinguistik
Centrum für Informations- und Sprachverarbeitung (CIS) 10. Juni 2014 Table of Contents 1 2 Äquivalenz Der Begriff der Äquivalenz verallgemeinert den Begriff der Gleichheit. Er beinhaltet in einem zu präzisierenden
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
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
MehrMathematische Grundlagen der Computerlinguistik
kartesische Produkte und und Funktionen (Teil I) Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Table of Contents kartesische Produkte und 1 kartesische Produkte und 2 Darstellung
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: {
MehrDieser Foliensatz darf frei verwendet werden unter der Bedingung, dass diese Titelfolie nicht entfernt wird.
Thomas Studer Relationale Datenbanken: Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL Springer, 2016 ISBN 978-3-662-46570-7 Dieser Foliensatz darf frei verwendet werden unter der Bedingung,
MehrEuler-Venn-Diagramme
Euler-Venn-Diagramme Mengendiagramme dienen der graphischen Veranschaulichung der Mengenlehre. 1-E1 1-E2 Mathematische Symbole c leere Menge Folge-Pfeil Äquivalenz-Pfeil Existenzquantor, x für (mindestens)
MehrTheorie der Informatik. Theorie der Informatik. 2.1 Äquivalenzen. 2.2 Vereinfachte Schreibweise. 2.3 Normalformen. 2.
Theorie der Informatik 24. Februar 2014 2. Aussagenlogik II Theorie der Informatik 2. Aussagenlogik II 2.1 Äquivalenzen Malte Helmert Gabriele Röger 2.2 Vereinfachte Schreibweise Universität Basel 24.
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung
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
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 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
MehrMathematik 1, Teil B
FH Oldenburg/Ostfriesland/Wilhelmshaven Fachb. Technik, Abt. Elektrotechnik u. Informatik Prof. Dr. J. Wiebe www.et-inf.fho-emden.de/~wiebe Mathematik 1, Teil B Inhalt: 1.) Grundbegriffe der Mengenlehre
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
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
MehrAussagenlogik. Übersicht: 1 Teil 1: Syntax und Semantik. 2 Teil 2: Modellierung und Beweise. Aussagenlogik H. Kleine Büning 1/25
Aussagenlogik Übersicht: 1 Teil 1: Syntax und Semantik 2 Teil 2: Modellierung und Beweise Aussagenlogik H. Kleine Büning 1/25 Einführendes Beispiel Falls Lisa Peter trifft, dann trifft Lisa auch Gregor.
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
MehrEinfü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
MehrEinführung in die Logik
Einführung in die Logik Klaus Madlener und Roland Meyer 24. April 2013 Inhaltsverzeichnis 1 Aussagenlogik 1 1.1 Syntax................................. 1 1.2 Semantik............................... 3 1.3
MehrMengenoperationen, Abbildungen
TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik Prof. Dr. Friedrich Roesler Ralf Franken, PhD Max Lein Z6 Rechengesetze für Mengenoperationen Lineare Algebra 1 WS 2006/07 en Blatt 3 06.11.2006 Mengenoperationen,
MehrEinführung in die mathematische Logik
Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 3 Tautologien In der letzten Vorlesung haben wir erklärt, wie man ausgehend von einer Wahrheitsbelegung λ der Aussagevariablen
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
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:
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
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,
MehrMathematische Grundlagen der Computerlinguistik
Centrum für Informations- und Sprachverarbeitung (CIS) 13. Juni 2014 Table of Contents 1 2 Hüllen Wie bereits beim Übergang von Quasi-Ordnungen zu partiellen Ordnungen gesehen ist es oftmals sinnvoll von
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
Mehr1 Mengen. 1.1 Elementare Definitionen. Einige mathematische Konzepte
Einige mathematische Konzepte 1 Mengen 1.1 Elementare Definitionen Mengendefinition Die elementarsten mathematischen Objekte sind Mengen. Für unsere Zwecke ausreichend ist die ursprüngliche Mengendefinition
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 4. Aussagenlogik Syntax und Semantik der Aussagenlogik Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Syntax der Aussagenlogik:
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
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
Mehrf(1, 1) = 1, f(x, y) = 0 sonst üblicherweise Konjunktion, manchmal auch
Belegungen, Wahrheitsfunktionen 1. Wie viele binäre Funktionen gibt es auf der Menge {0, 1} (d.h., Funktionen von {0, 1} 2 nach {0, 1})? Geben Sie alle diese Funktionen an, und finden Sie sinnvolle Namen
MehrAufgabenblatt Punkte. Aufgabe 1 (Negation) Seien e R, n, m, k N und. Negieren Sie φ. 4. Lösung Es gilt
ufgabenblatt 3 40 Punkte ufgabe 1 (Negation) Seien e R, n, m, k N und φ e [e > 0 k n, m (((n k) (m k)) 1/n 1/m < e)] Negieren Sie φ. 4 Es gilt ϕ e [e > 0 k n, m (((n k) (m k)) 1/n 1/m < e)] e [e > 0 [
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
MehrVorkurs Mathematik. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG
Vorkurs Mathematik JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Lennéstraße 43, 1. OG pinger@uni-bonn.de September/Oktober 2017 JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Vorkurs Mathematik September/Oktober
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
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
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!
Mehrdefinieren 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
MehrMathematische Grundlagen der Computerlinguistik
Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Table of Contents 1 2 Ähnlich wie Funktionen besitzen Relationen charakteristische Eigenschaften. Diese Eigenschaften definieren wie
MehrAnalysis I für Studierende der Ingenieurwissenschaften
Analysis I für Studierende der Ingenieurwissenschaften Ingenuin Gasser Department Mathematik Universität Hamburg Technische Universität Hamburg Harburg Wintersemester 2008/2009 1 Kapitel 1: Aussagen, Mengen
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
MehrKapitel 1.1. Aussagenlogik: Syntax. Mathematische Logik (WS 2011/12) Kapitel 1.1: Aussagenlogik: Syntax 1/ 1
Kapitel 1.1 Aussagenlogik: Syntax Mathematische Logik (WS 2011/12) Kapitel 1.1: Aussagenlogik: Syntax 1/ 1 Übersicht 1.1.1 Die Sprache der Aussagenlogik 1.1.2 Explizite vs. implizite Definitionen 1.1.3
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
MehrLösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren
Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 11. Oktober 2016, Fehler, Ideen, Anmerkungen und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de
Mehr1.2 Klassen und Mengen
14 1.2 Klassen und Mengen Als undefinierten Grundbegriff verwenden wir den Begriff der Klasse. Dieser ist allgemeiner als der Mengenbegriff und wird in der Algebra zur Definition sogenannter Kategorien
Mehr2 Mengenlehre. Definition: Unter einer Menge M versteht man die Zusammenfassung von unterscheidbaren Objekten (den Elementen) zu einem Ganzen.
Mengenlehre 2 Mengenlehre Definition: Unter einer Menge M versteht man die Zusammenfassung von unterscheidbaren Objekten (den Elementen) zu einem Ganzen. Üblicherweise werden Mengen mit Großbuchstaben
MehrLogische Grundlagen der Mathematik, WS 2014/15
Logische Grundlagen der Mathematik, WS 2014/15 Thomas Timmermann 26. November 2014 Was kommt nach den natürlichen Zahlen? Mehr als die natürlichen Zahlen braucht man nicht, um einige der schwierigsten
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
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
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
MehrDie Prädikatenlogik erster Stufe: Syntax und Semantik
Die Prädikatenlogik erster Stufe: Syntax und Semantik 1 Mathematische Strukturen und deren Typen Definition 1.1 Eine Struktur A ist ein 4-Tupel A = (A; (R A i i I); (f A j j J); (c A k k K)) wobei I, J,
Mehr(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
MehrGrundlagen der Mathematik
Universität Hamburg Winter 016/17 Fachbereich Mathematik Janko Latschev Lösungsskizzen 6 Grundlagen der Mathematik Präsenzaufgaben (P9) Die Ordnung der natürlichen Zahlen I Wir hatten in der Vorlesung
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.
MehrMathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1
Mathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1 1 Vorbemerkungen Mathematische Begriffe und Argumentationsweisen sind in vielen Fällen nötig, wo man über abstrakte Objekte sprechen und
Mehr3 Mengen und Abbildungen
$Id: mengen.tex,v 1.2 2008/11/07 08:11:14 hk Exp hk $ 3 Mengen und Abbildungen 3.1 Mengen Eine Menge fasst eine Gesamtheit mathematischer Objekte zu einem neuen Objekt zusammen. Die klassische informelle
MehrVorlesung 2. Tilman Bauer. 6. September 2007
Vorlesung 2 Universität Münster 6. September 2007 Organisatorisches Meine Koordinaten: Sprechstunden: Di 13:30-14:30 Do 9:00-10:00 tbauer@uni-muenster.de Zimmer 504, Einsteinstr. 62 (Hochhaus) für alle
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
MehrKapitel L:II. II. Aussagenlogik
Kapitel L:II II. Aussagenlogik Syntax der Aussagenlogik Semantik der Aussagenlogik Eigenschaften des Folgerungsbegriffs Äquivalenz Formeltransformation Normalformen Bedeutung der Folgerung Erfüllbarkeitsalgorithmen
MehrMengen und Abbildungen
Mengen und Abbildungen Der Mengenbegriff Durchschnitt, Vereinigung, Differenzmenge Kartesisches Produkt Abbildungen Prinzip der kleinsten natürlichen Zahl Vollständige Induktion Mengen und Abbildungen
MehrMathematik für Techniker
Siegfried Völkel u.a. Mathematik für Techniker 7., neu bearbeitete und erweiterte uflage 16 1 Rechenoperationen Prinzip der Mengenbildung Wenn eine ussageform für die Objekte eines Grundbereichs vorliegt,
Mehrtechnische universität dortmund Dortmund, im Dezember 2011 Fakultät für Mathematik Prof. Dr. H. M. Möller
technische universität dortmund Dortmund, im Dezember 2011 Fakultät für Mathematik Prof. Dr. H. M. Möller Lineare Algebra für Lehramt Gymnasien und Berufskolleg Zusammenfassung der Abschnitte 4.3 und 4.4
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
MehrKAPITEL 0. Zur Vorbereitung
KAPITEL 0 Zur Vorbereitung 1. Grundbegriffe aus der Mengenlehre Es soll hier kurz auf die aus der Schule teilweise bekannte elementare Mengenlehre eingegangen werden, da wir deren Schreib und Sprechweise
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
MehrKapitel 3: Die Sätze von Euler, Fermat und Wilson. 8 Der Satz von Euler
Kapitel 3: Die Sätze von Euler, Fermat und Wilson In diesem Kapitel wollen wir nun die eulersche -Funktion verwenden, um einen berühmten Satz von Euler zu formulieren, aus dem wir dann mehrere interessante
MehrGrundlagen der Logik
Grundlagen der Logik Denken Menschen logisch? Selektionsaufgabe nach Watson (1966): Gegeben sind vier Karten von denen jede auf der einen Seite mit einem Buchstaben, auf der anderen Seite mit einer Zahl
MehrTopologische Grundbegriffe I. 1 Offene und Abgeschlossene Mengen
Topologische Grundbegriffe I Vortrag zum Proseminar Analysis, 26.04.2010 Nina Neidhardt und Simon Langer Im Folgenden soll gezeigt werden, dass topologische Konzepte, die uns schon für die Reellen Zahlen
MehrUniversität Innsbruck WS 2013/2014. Brückenkurs. Formale Konzepte. 3. Auflage. Harald Zankl. 15. Januar 2014
Universität Innsbruck WS 013/014 Brückenkurs Formale Konzepte 3. Auflage Harald Zankl 15. Januar 014 Institut für Informatik Innsbruck, Österreich Inhaltsverzeichnis 1 Definition, Satz, Beweis 1.1 Aufgaben................................
Mehr2.1 Beschreibung von Mengen 2.2 Formale Logik 2.3 Beziehungen zwischen Mengen 2.4 Mengenoperationen
2. Mengen 2.1 Beschreibung von Mengen 2.2 Formale Logik 2.3 Beziehungen zischen Mengen 2.4 Mengenoperationen 2. Mengen GM 2-1 Wozu Mengen? In der Mathematik Au dem Mengenbegri kann man die gesamte Mathematik
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
Mehr2 ZAHLEN UND VARIABLE
Zahlen und Variable 2 ZAHLEN UND VARIABLE 2.1 Grundlagen der Mengenlehre Unter einer Menge versteht man die Zusammenfassung von unterscheidbaren Objekten zu einem Ganzen. Diese Objekte bezeichnet man als
MehrTU7 Aussagenlogik II und Prädikatenlogik
TU7 Aussagenlogik II und Prädikatenlogik Daniela Andrade daniela.andrade@tum.de 5.12.2016 1 / 32 Kleine Anmerkung Meine Folien basieren auf den DS Trainer von Carlos Camino, den ihr auf www.carlos-camino.de/ds
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
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 2 28.04.2015 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Organisatorisches Termine Donnerstags: 30.04.2015 nicht
MehrKapitel 1.5. Ein adäquater Kalkül der Aussagenlogik. Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls
Kapitel 1.5 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2012/13) Kapitel 1.5: Kalküle 1/30 Syntaktischer
Mehr5. Äquivalenzrelationen
5. Äquivalenzrelationen 35 5. Äquivalenzrelationen Wenn man eine große und komplizierte Menge (bzw. Gruppe) untersuchen will, so kann es sinnvoll sein, zunächst kleinere, einfachere Mengen (bzw. Gruppen)
MehrBrückenkurs Mathematik
Brückenkurs Mathematik 6.10. - 17.10. Vorlesung 1 Logik,, Doris Bohnet Universität Hamburg - Department Mathematik Mo 6.10.2008 Zeitplan Tagesablauf: 9:15-11:45 Vorlesung Audimax I 13:00-14:30 Übung Übungsräume
MehrGrundlagen der Mathematik
Universität Hamburg Winter 2016/17 Fachbereich Mathematik Janko Latschev Lösungsskizzen 3 Grundlagen der Mathematik Präsenzaufgaben (P4) Wir betrachten die Menge M := P({1, 2, 3, 4}). Dann gilt 1 / M,
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
MehrSatz 7. A sei eine Teilmenge des nichttrivialen Vektorraums (V,+, ). Dann sind die folgende Aussagen äquivalent.
Definition der Basis Def. Es sei (V,+, ) ein nichttrivialer Vektorraum. Die Menge A V heißt eine Basis-Menge, falls sie (a) linear unabhängig ist und (b) span(a) = V. Satz 7. A sei eine Teilmenge des nichttrivialen
MehrR = {(1, 1), (2, 2), (3, 3)} K 1 = {1} K 2 = {2} K 3 = {3}
Äquivalenzrelationen Aufgabe 1. Lesen Sie im Skript nach was eine Äquivalenzrelation und eine Äquivalenzklasse ist. Gegeben ist die Menge A = {1, 2, 3. Finden Sie 3 Äquivalenzrelationen auf A und geben
MehrMengenlehre. Aufgaben mit Lösungen
Mengenlehre Aufgaben mit Lösungen Inhaltsverzeichnis 1 Hilfsmittel 1 1. Zahlenmengen........................................ 1 2. Symbole........................................... 1 3. Intervalle: Schreibweise...................................
Mehr1 Mengenlehre. 1.1 Grundbegriffe
Dieses Kapitel behandelt Grundlagen der Mengenlehre, die in gewisser Weise am nfang der Mathematik steht und eine Sprache bereitstellt, die zur weiteren Formulierung der Mathematik sehr hilfreich ist.
MehrLogik für Informatiker
Logik für Informatiker 2. Aussagenlogik Teil 3 30.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Letztes Mal Aussagenlogik Syntax: welche Formeln? Semantik:
MehrEin und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben.
2 Aussagenlogik () 2.3 Semantik von [ Gamut 4-58, Partee 7-4 ] Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s und s 2 unterschiedliche Wahrheitswerte haben. Beispiel: Es regnet.
MehrKapitel 1. Grundlegendes
Kapitel 1 Grundlegendes Abschnitt 1.4 Vollständige Induktion Charakterisierung der natürlichen Zahlen Die Menge N 0 = {0, 1, 2, 3,...} der natürlichen Zahlen läßt sich wie folgt charakterisieren: 1. 0
MehrGrundlagen der Mathematik
Universität Hamburg Winter 2016/17 Fachbereich Mathematik Janko Latschev Grundlagen der Mathematik Lösungsskizzen 2 Präsenzaufgaben (P2) Wir betrachten drei Teilmengen der natürlichen Zahlen: - A = {n
Mehraus der Bedingung/Annahme A folgt ein Widerspruch ), so ist A falsch!
Bemerkungen: 1 Die Bedeutung von (und damit ) ist klar. wird oft, vor allem in Beweisen, auch als geschrieben (im Englischen: iff, if and only if). 2 Für zwei boolesche Aussagen A und B ist A B falsch
MehrAufgabe. Gelten die folgenden Äquivalenzen?. 2/??
Äquivalenz Zwei Formeln F und G heißen (semantisch) äquivalent, falls für alle Belegungen A, die sowohl für F als auch für G passend sind, gilt A(F ) = A(G). Hierfür schreiben wir F G.. 1/?? Aufgabe Gelten
MehrMengenlehre. Jörg Witte
Mengenlehre Jörg Witte 25.10.2007 1 Grbegriffe Die Menegenlehre ist heute für die Mathematik grlegend. Sie spielt aber auch in der Informatik eine entscheidende Rolle. Insbesondere fußt die Theorie der
Mehr1. Gruppen. 1. Gruppen 7
1. Gruppen 7 1. Gruppen Wie schon in der Einleitung erläutert wollen wir uns in dieser Vorlesung mit Mengen beschäftigen, auf denen algebraische Verknüpfungen mit gewissen Eigenschaften definiert sind.
Mehr2.1 Definitionen Sätze und Beweise Erklärungen zu den Definitionen... 15
Mengen Übersicht.1 Definitionen................................................. 11. Sätze und Beweise............................................ 14.3 Erklärungen zu den Definitionen...............................
MehrMengenlehre. Mengenlehre. Quick Start Informatik Theoretischer Teil WS2011/ Oktober QSI - Theorie - WS2011/12
Mengenlehre Mengenlehre Quick Start Informatik Theoretischer Teil WS2011/12 10. Oktober 2011 Mengen Mengen Den Begriff Menge hat Cantor wie folgt beschrieben: Definition (Menge) Unter einer Menge verstehen
MehrBA-INF 011 Logik und Diskrete Strukturen WS 2013/14 Mögliche Klausuraufgaben Stand vom
Prof. Dr. Norbert Blum Elena Trunz Informatik V BA-INF 011 Logik und Diskrete Strukturen WS 2013/14 Mögliche Klausuraufgaben Stand vom 5.2.2014 Bitte beachten Sie, dass die tatsächlichen Klausuraufgaben
Mehr