Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren
|
|
- Gertrud Bach
- vor 7 Jahren
- Abrufe
Transkript
1 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 1 Mengenlehre und Logik Aufgabe 1.1. Welche der folgenden Ausdrücke sind Aussagen? Begründe! Wenn der Ausdruck eine Aussage ist, entscheide, ob sie wahr oder falsch ist! = 2 2. In Dresden ist das Wetter gut. 3. Ich mag Mathematik. 4. Johann Sebastian Bach. 5. Pferde sind Paarhufer. 6. Dieser Satz ist eine Aussage. 7. Dieser Satz ist keine Aussage. 8. Dieser Satz ist eine wahre Aussage. 9. Dieser Satz ist eine falsche Aussage. Lösung. Diese Antworten sind nur ein Vorschlag, man könnte sich auch andere Gedanken machen! (Außer vielleicht in Punkt 1 bis 4) 1. wahre Aussage (Wir gehen einfach davon aus, dass dieser Ausdruck das bedeutet, was wir denken, das er bedeutet. Diese Frage verdeutlicht, dass man immer einen Kontext braucht, um entscheiden zu können, ob etwas wahr oder falsch ist.) 1
2 2. Hängt vom Ort und vom Zeitpunkt, an dem es gesagt wird, ab. Damit ist es nicht möglich, aus diesem Satz selbst zu erkennen, ob er wahr ist. Also keine Aussage. 3. Hängt vom Sprecher ab. Damit ist es nicht möglich, aus diesem Satz selbst zu erkennen, ob er wahr ist. Also keine Aussage. 4. Ist nur ein Name. Damit ist die Frage nach wahr oder Falsch sinnlos. Also keine Aussage. 5. falsche Aussage. Pferde sind Unpaarhufer. 6. wahre Aussage. 7. falsche Aussage. (Dieser und der 6. Satz bilden ein Paar, das aus einer Aussage und ihrer Negation besteht. Wenn also der sechste Satz wahr ist, sollte dieser falsch sein. Allerdings ist es eine Frage, ob man diese Art Selbstbezüglichkeit, die in beiden Sätzen zu Tage tritt, noch für Aussagen zulassen will oder nicht. In diesem Sinne sind insbesondere die Antworten 6 und 7 diskutabel.) 8. keine Aussage, denn man kann nicht sinnvoll entscheiden, ob der Satz wahr oder falsch ist. Wenn er wahr ist, muss seine Negation (also Satz 9) falsch sein. Wir wir gleich erörtern werden, ist das beides aber sinnlos. 9. keine Aussage, denn man kann nicht sinnvoll entscheiden, ob der Satz wahr oder falsch ist: Angenommen, er sei wahr. Dann muss er, um wahr zu sein eine falsche Aussage sein. Wenn man andererseits annimmt, der Satz sei falsch, dann müsste seine Negation wahr sein, also müsste er eine wahre Aussage sein. Aufgabe 1.2. Stelle die Wahrheitstabellen für folgende Aussagen auf: a b, b a, a b, b a, a b, (a b) (b a), a b, (a b) (a b). Was fällt dir auf? Formuliere die gefundenen logischen Sachverhalte in natürlicher Sprache und gib Beispiele. Lösung. Die Wahrheitstabelle: a b a b b a a b b a a b (a b) (b a) a b (a b) (a b) Es fällt auf, dass 1. (a b) = ( a b) = ( b a) 2. (a b) = (b a) 2
3 3. (a b) = ((a b) (b a)) 4. (a b) = ((a b) (a b)) In natürlicher Sprache bedeutet die erste Gleichheit in 1., dass aus a b folgt, wenn a falsch ist oder b richtig. Ein Beispiel dafür ist, Dr. Frankenstein, der herausfinden will, ob eine Substanz Superkräfte verleiht, seinem Igor eine Dosis gibt und dann sieht, ob sich etwas verändert. Den Fall, dass Igor keine Dosis bekommen hat, muss Dr. Frankenstein nicht überprüfen. Die zweite Gleichheit bedeutet in diesem Beispiel, dass, wenn Igor die Dosis eingenommen hat und keine Superkräfte entwickelt, die Substanz auch nicht wirksam ist. Die nicht-gleichheit in 2. ist ein wichtiges Caveat: Wenn aus a b folgt, muss nicht auch aus b a folgen! Wenn Dr. Frankensteins Substanz tatsächlich Superkräfte verleiht, muss das nicht heißen, dass jemand mit Superkräften die Substanz auch genommen hat. Die dritte Gleichheit sagt, dass a und b äquivalent sind, wenn aus a b folgt und auch aus b a folgt. So beweist man fast alle Äquivalenzen. Die letzte Gleichheit charakterisisert das exklusive Oder als das Entweder-Oder des alltäglichen Sprachgebrauches. Während also in der Mathematik ein a oder b fast immer a b meint, also insbesondere, dass auch a und b zutreffen können, schließt das exklusive Oder das aus. Ein Beispiel ist die bekannte Tatsache, dass viele Meschen gereitzt reagieren, wenn ein Mahtematikstudent auf eine Oder-Frage mit ja antwortet: Kommst du noch mit an die Elbe grillen oder bleibst du lieber zu Hause? Ja. Aufgabe 1.3. Beweise die De Morgan schen Regeln: (a b) = a b und (a b) = a b für Aussagen a und b. Was bedeuten sie in natürlicher Sprache? Lösung. Betrachte folgende Wahrheitstabelle: a b (a b) a b (a b) a b Damit sind die De Morgan schen Regeln bewiesen. Die erste Regel bedeutet, dass, wenn man unter einem guten Konzert ein Konzert versteht, das Spaß macht oder neuartige Musik bietet (oder beides, denn unser Oder ist inklusiv!), ein schlechtes Konzert eines ist, das keinen Spaß macht und auf dem nur schon bekannte Musik gespielt wird. Die zweite bedeutet, zum Beispiel, dass, wenn man gutes Sommerwetter als Sonnenschein und mindestens 25 Grad Celsius definiert, das Wetter schlecht ist genau dann, wenn die Sonne nicht scheint oder es kälter als 25 Grad Celsius ist (oder beides). 3
4 Aufgabe 1.4. Gibt es eine zusammengesetzte Aussage mit Teilaussagen a, b und c (jede mindestens einmal!), die genau die Junktoren und benutzt (jeden mindestens einmal!), und bei der Klammersetzung den Wahrheitswert nicht verändert? Begründe! Lösung. Diese Aufgabe soll eine Knobelaufgabe bleiben. Wer eine Lösung findet, darf sie an benedikt.bartsch@myfsr.de schicken. Aufgabe 1.5. Sei der Individuenbereich die Gesamtheit aller Pokémon. Schreibe die folgenden Aussagen mit Quantoren, wobei du nur die Aussagen K(x, y, z) für z ist ein Kind von x und y und M(x) für x ist männlich verwendest! Für die Zwecke dieser Aufgabe (und nur dafür) nehmen wir an, dass jedes Pokémon entweder männlich oder nicht männlich, was weiblich sei, ist. 1. a ist ein Einzelkind. 2. a ist ein Cousin von b. 3. a hat genau eine Schwester. 4. Niemand ist sein eigener Vater. Lösung. 1. x, y, z : (K(x, y, a) K(x, y, z)) (a = z) ( ( ( (K(v, ) 2. M(a) w, v, x, y : w, a) K(x, y, b) s, t : ( (K(s, t, v) K(s, t, x)) (K(s, t, v) K(s, t, y)) (K(s, t, w) K(s, t, x)) (K(s, t, w) K(s, t, y)) )))) 3. x, y : ( K(x, y, a) (!z : K(x, y, z) (a = z) M(z)) ) 4. x, y, z : (K(x, y, z) M(x)) (x = z) Aufgabe 1.6. Schreibe die Aussagen!x : A(x) und x : A(x), wobei du nur die Quantoren und verwendest! Lösung. Es gilt (!x : A(x)) = ( x : A(x) ( y : (y = x) A(x)) ) und ( x : A(x)) = ( x : A(x)). Aufgabe 1.7. Verneine die Aussagen x : A(x) und x : A(x)! Welches Prinzip fällt dir auf? Kann man es auch auf eine Aussage wie x y, z : B(x, y, z) anwenden? Wie verhalten sich die Quantoren und!? 4
5 Lösung. Es gilt ( x : A(x)) = ( x : A(x)) und ( x : A(x)) = ( x : A(x)). Die Quantoren und werden also vertauscht und die Aussage hinter dem Doppelpunkt verneint. Auch Aussagen mit mehreren Vorkommen der Quantoren und kann man auf diese Weise negieren, so gilt zum Beispiel ( x y, z : B(x, y, z)) = ( x y, z : B(x, y, z)). Die Quantoren! und kann man auf diese Weise nicht direkt verneinen, sondern muss zuerst die Umformulierungen aus Aufgabe 1.6 anwenden. Aufgabe 1.8. Gib jeweils beispielhafte Aussagen A(x) und B(x) (und einen Individuenbereich) an, die belegen, dass im Allgemeinen ( x : A(x) B(x)) = ( x : A(x)) ( x : B(x)) und ( x : A(x) B(x)) = ( x : A(x)) ( x : B(x))! Lösung. Der Individuenbereich sei die Menge aller Autos. Sei A(x) die Aussage x fährt schnell und B(x) die Aussage x ist sparsam. Die Formel ( x : A(x) B(x)) = ( x : A(x)) ( x : B(x)) bedeutet dann, dass die Aussagen es gibt ein Auto, dass schnell fährt und sparsam ist und es gibt ein sparsames Auto und ein schnelles Auto unterschiedlich sind. Sei nun der Individuenbereich die Menge aller Tage des Jahres und A(x) die Aussage an x regnet es und B(x) die Aussage an x scheint die Sonne. Die Formel ( x : A(x) B(x)) = ( x : A(x)) ( x : B(x)) bedeutet dann, die Aussagen An jedem Tag scheint die Sonne oder es regnet und Das ganze Jahr über scheint die Sonne oder das ganze Jahr über regnet es unterschiedlich sind. Aufgabe 1.9. Seien A(x), B(x) Aussagen mit A(x) B(x). Zeige, dass dann {x A(x)} {x B(x)}! Lösung. Sei x {x A(x)}. Dann gilt A(x). Nach Voraussezung gilt dann auch B(x), womit x {x B(x)}. Aufgabe Zeige, dass für zwei Mengen A und B gilt, dass A = B (A B) (B A)! (Diese Eigenschaft wird oft verwendet, um zu zeigen, dass zwei Mengen gleich sind.) Lösung. Wir beweisen die Äquivalenz, indem wir zuerst eine und dann die andere Implikation überprüfen. Diese Vorgehensweise ist erlaubt, wie wir uns in Aufgabe 1.2 überlegt haben. Gelte also zunächst A = B. Dann ist für alle a A auch a B, also gilt A B Ferner gilt auch für alle b B gilt b A, also folgt B A. Sei nun A B und B A. Dann gilt wegen A B für jedes a A, dass a B und wegen B A, dass für jedes b B auch b A gilt. Damit gilt für beliebiges x, dass x A x B, also A = B. Aufgabe Beweise, dass jede Menge eine Obermenge der leeren Menge ist! Lösung. Sei A eine Menge. Dann gilt für jedes Element a der leeren Menge, dass a A (es gibt ja keine, also ist nichts zu überprüfen!). Damit ist A. Aufgabe Beweise, dass die symmetrische Differenz tatsächlich symmetrisch ist, d.h. dass für je zwei Mengen A und B gilt, dass A B = B A! Dazu kannst du entweder direkt anhand der Definition arbeiten oder die Aussage von Aufgabe 1.10 verwenden oder zuerst (z.b. 5
6 mit einem Venn-Diagramm) beweisen, dass A B = (A \ B) (B \ A) und dann benutzen, dass für beliebige Mengen M und N die Aussage M N = N M in offensichtlicher Weise gilt. Lösung. Folgende drei Venn-Diagramme illustrieren, dass A B = (A \ B) (B \ A). A B A B A B (a) B \ A (b) A \ B (c) A B Wegen der Symmetrie von gilt also A B = (A \ B) (B \ A) = (B \ A) (A \ B) = B A. Aufgabe Schreibe die Potenzmenge der Menge A := {, { }} auf! Gibt es eine Menge, deren Potenzmenge A ist? Lösung. Es gilt P(A) = {, { }, {{ }}, {, { }}}. A ist die Potenzmenge der einelementigen Menge { }. Aufgabe Die Menge A habe n Elemente. Erkläre, warum P(A) dann 2 n Elemente hat! Lösung. Es gilt P( ) = { }, also hat P( ) = 2 0 = 1 Element und die Behauptung stimmt. Sei also nun A =. Wie viele Möglichkeiten gibt es nun eine Teilmenge B von A auszuwählen? Für jedes Element von A entscheidet man, ob es zu B gehören soll; dafür gibt es zwei Möglichkeiten, nämlich ja oder nein. Da diese Entscheidungen für jedes Element von A unabhängig voneinander sind, hat man also 2 } 2.{{.. 2 2} = 2 n n-mal Möglichkeiten. Damit hat P(A) gerade 2 n Elemente. Aufgabe Seien A und B Mengen. Beweise A B = A = B =! Lösung. Sei zunächst A = B =. Ohne Einschränkung sei A =. Dann gilt A B = {(a, b) a, b B} =. Andererseits: Falls A = B =, gibt es ein a 0 A und ein b 0 B also enthält A B mindestens das Paar (a 0, b 0 ). Aufgabe Sei A eine Menge mit n Elementen und B eine Menge mit m Elementen. Wie viele Elemente hat A B? Begründe! 6
7 Lösung. A B hat n m Elemente. Das kann man so sehen: Man bezeichne die Elemente von A mit a 1,..., a n und die Elemente von B mit b 1,..., b n. Dann enthält für jedes feste a i die Menge A B alle Paare (a i, b j ), wobei j {1,..., m}. Das sind also für jedes a i schon m Elemente; weil es aber n verschiedene ( verschiedene das ist wichtig, weil dann die Paare auch verschieden sind!) a i gibt, folgt dass es n m Paare gibt. Aufgabe Wir alle kennen aus der Schule das Distributivgesetz der Multiplikation und Addition reller Zahlen: Für a, b, c R gilt a (b + c) = a b + a c. Für welche der bis jetzt definierten Mengenoperationen gelten auch Distributivgesetze? Wenn Distributivgesetze gelten, gibt sie an! Ebenso wissen wir, dass die Addition reller Zahlen monoton ist, das heißt, für Zahlen a, b, α, β R gilt a α a β a + b α + β. Welche der bis jetzt definierten Mengenoperationen sind monoton (wobei man natürlich mit ersetzen muss)? Du kannst dir, wenn du unsicher bist, mit Venn-Diagrammen helfen. Lösung. Wir bearbeiten hier nur beispielhaft ein Paar der vielen Aufgaben. Wer konkrete Fragen oder Probleme hat, kann sie an benedikt.bartsch@myfsr.de schicken. Die hier gezeigten Beispiele illustrieren, welche Gedanken man sich machen sollte. Es gilt zum Beispiel für Mengen A, B, C folgendes Distributivgesetz: A (B C) = A B A C, denn A (B C) = {(a, b) a A (b B b C)} (warum?) und mit Aufgaben 1.10 und 1.9 folgt die Behauptung (wie?). (Gilt auch (A B) C = (A C) (B C)?) Als Beispiel zweier Mengenoperationen, für die kein Distributivgesetz gilt, betrachte \ und : Für A = {1, 2, 3}, B = {1, 2} und C = {3, 4} gilt A \ (B C) = A \ = A = = {3} {1, 2} = (A \ B) (A \ C). Gilt das Distributivgesetz, in dem die Rollen von und \ vertauscht sind, also A (B \ C) = (A B) \ (A C)? Beispiele monotoner Mengenoperationen sind und, wie man sich leicht überlegt. Ein Beispiel einer nicht-monotonen Mengenoperation ist \, denn zum Beispiel für A = {1, 2, 3}, B = {2, 3, 4}, C = {1, 2, 3, 4} und D = {1, 2, 3, 4} gilt A \ B = {1} = C \ D aber A C und B D. Wenn man allerdings nur die linke Menge verändert, ist \ wieder monoton. 7
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
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
MehrLösungen 2 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren
Lösungen 2 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 26. September 2016, Fehler und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de
MehrHöhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum 1. Übungsblatt
UNIVERSITÄT KARLSRUHE Institut für Analysis HDoz. Dr. P. C. Kunstmann Dipl.-Math. M. Uhl WS 2008/09 Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge
MehrLösungen 5 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren
Lösungen 5 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 26. September 2016, Fehler und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de
Mehr1.9 Beweis durch Kontraposition
1.9 Beweis durch Kontraposition 1.9 Beweis durch Kontraposition Ein Beweis durch Kontraposition ist ein Spezialfall des indirekten Beweises. Wir betrachten zwei Aussagen A und B und wollen A B zeigen,
MehrHöhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge zum 1. Übungsblatt
Karlsruhe Institut für Technologie (KIT) Institut für Analysis Prof. Dr. W. Reichel Dr. S.Wugalter WS 2017/18 Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 19. Oktober 2017 1/27 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage
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
MehrZusatzmaterial zur Mathematik I für E-Techniker Übung 1
Mathematik I für E-Techniker C. Erdmann WS 011/1, Universität Rostock, 1. Vorlesungswoche Zusatzmaterial zur Mathematik I für E-Techniker Übung 1 Wiederholung - Theorie: Mengen Der grundlegende Begriff
MehrHöhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge zum 1. Übungsblatt
Karlsruher Institut für Technologie (KIT) Institut für Analysis Prof. Dr. Dirk Hundertmark Dipl.-Math. Matthias Uhl WS 2011/12 Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik
Mehr2.2.4 Logische Äquivalenz
2.2.4 Logische Äquivalenz (I) Penélope raucht nicht und sie trinkt nicht. (II) Es ist nicht der Fall, dass Penélope raucht oder trinkt. Offenbar behaupten beide Aussagen denselben Sachverhalt, sie unterscheiden
MehrÜbungszettel 1a - Aussagenlogik und Mengen
Vorsemesterkurs Informatik Übungsaufgaben Übungszettel 1a - Aussagenlogik und Mengen Aufgabe 1: Quiz-Negation Aussage A Negation A richtig falsch Alle Menschen schlafen gerne Alle Menschen sind lang. Frühaufsteher.
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
MehrLogik. Logik. Vorkurs Informatik Theoretischer Teil WS 2013/ September Vorkurs Informatik - Theorie - WS2013/14
Logik Logik Vorkurs Informatik Theoretischer Teil WS 2013/14 30. September 2013 Logik > Logik > logische Aussagen Logik Logik > Logik > logische Aussagen Motivation Logik spielt in der Informatik eine
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
MehrTag 1a - Aussagenlogik und Mengen
Vorsemesterkurs Informatik Übungsaufgaben Tag 1a - Aussagenlogik und Mengen Aufgabe 1: Quiz-Negation Aussage A Negation A richtig falsch Alle Menschen schlafen gerne Alle Menschen sind lang. Frühaufsteher.
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16 15. Oktober 2015 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage veröffentlicht
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
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
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
MehrHausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung. Elementare Logik. Diskrete Strukturen. Uta Priss ZeLL, Ostfalia
Elementare Logik Diskrete Strukturen Uta Priss ZeLL, Ostfalia Sommersemester 2016 Diskrete Strukturen Elementare Logik Slide 1/26 Agenda Hausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung
MehrLösungen 3 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren
Lösungen 3 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 26. September 2016, Fehler und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de
Mehr11. Beschreiben Sie die disjunktive und die konjunktive Normalform eines logischen Ausdrucks!
Kapitel 3 Logik Verständnisfragen Sachfragen 1. Was ist eine logische Aussage? 2. Wie ist die Konjunktion und die Disjunktion definiert? 3. Beschreiben Sie das Exklusive Oder, die Implikation und die Äquivalenz!
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
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
Mehr1 Sprechweisen und Symbole der Mathematik
1 Sprechweisen und Symbole der Mathematik Übersicht 1.1 Junktoren......................................................... 1 1.2 Quantoren......................................................... 4 1.3
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Sommersemester 2018 Ronja Düffel 14. März 2018 Theoretische Informatik Wieso, weshalb, warum??!? 1 Modellieren und Formalisieren von Problemen und Lösungen 2 Verifikation (Beweis
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
MehrLogik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage
Logik Die Logik ist in der Programmierung sehr wichtig. Sie hilft z.b. bei der systematischen Behandlung von Verzweigungen und Schleifen. z.b. if (X Y und Y>0) then Oder beim Beweis, dass ein Algorithmus
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
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
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
MehrVorkurs Mathematik - SoSe 2017
3 Vorkurs Mathematik - SoSe 2017 Regula Krapf Lösungen Übungsblatt 2 Aufgabe 1. Zeigen Sie, dass die beiden Aussagen ( x : P(x)) ( x : Q(x)) und x : (P(x) Q(x)). nicht dasselbe ausdrücken. Wie sieht es
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
MehrVorkurs 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
MehrHö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
MehrVorlesung. Logik und Beweise
Vorlesung Logik und Beweise Der folgende Abschnitt dient nur zur Wiederholung des Stoffes der ersten Vorlesung und sollte nur genannt bzw. teilweise schon vor der Vorlesung angeschrieben werden. Wiederholung
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
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung
MehrGrundlegendes 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
MehrVorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken
Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken Susanna Pohl Vorkurs Mathematik TU Dortmund 09.03.2015 Aussagen, Logik und Beweistechniken Aussagen und Logik Motivation
MehrVorlesung. Beweise und Logisches Schließen
Vorlesung Beweise und Logisches Schließen Der folgende Abschnitt dient nur zur Wiederholung des Stoffes der ersten Vorlesung und sollten nur genannt bzw. Teilweise schon vor der Vorlesung angeschrieben
MehrAussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung
Tobias Krähling email: Homepage: 13.10.2012 Version 1.2 Zusammenfassung Die Aussagenlogik ist sicherlich ein grundlegendes mathematisches Gerüst für weitere
MehrEinführungskurs Mathematik
Fachbereich Mathematik und Statistik ϑ µ Einführungskurs Mathematik γ WS 2/ ε Michael Junk β Φ Universität Konstanz α Σ δ Ψ ξ Ω Mathematik Wieso-weshalb-warum Warum Mathematik? Zur Beschreibung von Gesetzmäßigkeiten
MehrFormale Methoden 2 (Lehrstuhl I Logik in der Informatik)
Formale Methoden 2 Gaetano Geck (Lehrstuhl I Logik in der Informatik) Blatt 3 Beispiellösung WS 2015/16 Aufgabe 1 [Wiederholung: Relationen] 3 Punkte Begründe jeden deiner Lösungsvorschläge. a) Wir definieren
Mehr1 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,
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
MehrAlgebraische 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
MehrLogik. III Logik. Propädeutikum Holger Wuschke. 19. September 2018
III Propädeutikum 2018 19. September 2018 III λoγóς="das Wort" (math.) befasst sich mit Denition Aussage Eine Aussage p ist ein sinnvolles sprachliche Gebilde mit der Eigenschaft, entweder wahr oder falsch
Mehr1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen?
Lineare Algebra D-MATH, HS 2014 Prof. Richard Pink Lösung 1 1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen? a Niemand versteht
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,
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
MehrLogik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017
Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe17 Ronja Düffel 22. März 2017 Logik und Beweise > Motivation Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Logik und Beweise
MehrDe Morgan sche Regeln
De Morgan sche Regeln Durch Auswerten der Wahrheitswertetabelle stellen wir fest, dass allgemeingültig ist; ebenso (p q) p q (p q) p q. Diese beiden Tautologien werden als die De Morgan schen Regeln bezeichnet,
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,
MehrKapitel 1. Aussagenlogik
Kapitel 1 Aussagenlogik Einführung Mathematische Logik (WS 2012/13) Kapitel 1: Aussagenlogik 1/17 Übersicht Teil I: Syntax und Semantik der Aussagenlogik (1.0) Junktoren und Wahrheitsfunktionen (1.1) Syntax
MehrAnalysis I für Studierende der Ingenieurwissenschaften
Analysis I für Studierende der Ingenieurwissenschaften Jens Struckmeier Fachbereich Mathematik Universität Hamburg Technische Universität Hamburg Harburg Wintersemester 2010/11 Jens Struckmeier (Mathematik,
MehrVor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen
Vor(schau)kurs für Studienanfänger Mathematik: Aussagen und Mengen 09.10.2014 Herzlich Willkommen zum 2. Teil des Vorschaukurses für Mathematik! Organisatorisches Der Vorkurs besteht aus sechs Blöcken
Mehr1.3 Aussagen. Beispiel: Das Bruttosozialprodukt der Bundesrepublik Deutschland ist höher als das der USA ist eine offenbar falsche Aussage.
1.3 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, wahr oder falsch
MehrQ.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, Christian Rieck, Arne Schmidt
Institute of Operating Systems and Computer Networks Algorithms Group Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, 01.11.2018 Christian Rieck, Arne Schmidt Einführendes Beispiel
MehrDiskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen
Diskrete Strukturen WS 2018/19 Gerhard Hiß RWTH Aachen Erster Teil: Grundlagen Kapitel 1, Mathematische Grundbegriffe 1.1 Aussagen Begriff (Aussage) Sprachlicher Ausdruck, welcher entweder wahr oder falsch
MehrMathematik-Vorkurs für Informatiker Aussagenlogik 1
Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Notieren Sie die Definitionen der
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 und vollständige Induktion
Fachschaft MathPhys Heidelberg Mengenlehre und vollständige Induktion Vladislav Olkhovskiy Vorkurs 018 Inhaltsverzeichnis 1 Motivation 1 Mengen.1 Grundbegriffe.................................. Kostruktionen
MehrPaare und Kartesische Produkte
Paare und Kartesische Produkte Aufgabe 1. Stellen Sie das Tripel (a, b, c) als Paar und als Menge dar. Hinweis: Verwenden Sie Farben. Lösung von Aufgabe 1. (a, b, c) = ((a, b), c) Paar Darstellung (a,
MehrHM 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
MehrAussagenlogik. Aussagen und Aussagenverknüpfungen
Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,
MehrBrückenkurs Mathematik. Dienstag Freitag
Brückenkurs Mathematik Dienstag 29.09. - Freitag 9.10.2015 Vorlesung 2 Mengen, Zahlen, Logik Kai Rothe Technische Universität Hamburg-Harburg Mittwoch 30.09.2015 Mengen.................................
MehrLineare 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
MehrERRATA. Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62)
Logik und Beweise ERRATA Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62) Aufgabe 5 : Beweise folgende Aussage: 25 ist keine Primzahl Tipp: Beweis durch Widerspruch Logik und Beweise
MehrVorkurs Mathematik Logik und Beweismethoden 1
Vorkurs Mathematik Logik und Beweismethoden 1 Saskia Klaus 05. Oktober 2016 Dieser Vortrag wird schon seit vielen Jahren im Vorkurs gehalten und basiert auf der Arbeit vieler verschiedener Menschen, deren
MehrKapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1
Kapitel 1.0 Aussagenlogik: Einführung Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Ziele der Aussagenlogik In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter
MehrHöhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum 1. Übungsblatt
KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Institut für Analysis Dr. A. Müller-Rettkowski Dr. T. Gauss WS 2010/11 Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge
MehrAufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den
Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den 8.9.011 Vorkurs Mathematik WS 011/1 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht
Mehr1. Übungsblatt zur Analysis I. Gruppenübungen
Prof. Dr. Helge Glöckner Wintersemester 2013/2014 17.10.2013 1. Übungsblatt zur Analysis I Gruppenübungen Aufgabe G1 (Aussagenlogik, Wahrheitstabellen) Es seien p und q Aussagen. (a) Geben Sie die Wahrheitstabelle
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
MehrDiskrete 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
MehrDiskrete Strukturen. Sebastian Thomas RWTH Aachen https://www2.math.rwth-aachen.de/ds17/ Mathematische Logik
Diskrete Strukturen Sebastian Thomas RWTH Aachen https://www2.math.rwth-aachen.de/ds17/ Mathematische Logik Aussagen Begriff Aussage: Ausdruck, welcher entweder wahr oder falsch ist e Die RWTH Aachen hat
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
MehrFrage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung?
8 Grundsätzliches zu Beweisen Frage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung? ˆ Mathematik besteht nicht (nur) aus dem Anwenden auswendig gelernter Schemata. Stattdessen
MehrKleine lateinische Buchstaben wie z. B. p, q, r, s t, usw.
1.1 Aussagenlogik Grundlagen der Mathematik 1 1.1 Aussagenlogik Definition: Aussage Eine Aussage im Sinne der Logik ist ein formulierter Tatbestand, der sich bei objektiver Prüfung immer eindeutig als
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Ronja Düffel WS2018/19 01. Oktober 2018 Theoretische Informatik Wieso, weshalb, warum??!? 1 Modellieren und Formalisieren von Problemen und Lösungen 2 Verifikation (Beweis der
MehrVorlesung Mathematik I für Wirtschaftswissenschaftler. Universität Leipzig, WS 16/17
Vorlesung Mathematik I für Wirtschaftswissenschaftler Universität Leipzig, WS 16/17 Prof. Dr. Bernd Kirchheim Mathematisches Institut kirchheim@math.uni-leipzig.de 1 / 19 Dies ist der Foliensatz zur Vorlesung
MehrBeweistechniken. Vorkurs Informatik - SoSe April 2014
Vorkurs Informatik SoSe14 07. April 2014 Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Motivation Wozu Beweise in der Informatik? Quelle: http://www.nileguide.com Wozu Beweise in der
MehrSummen- und Produktzeichen
Summen- und Produktzeichen Ein großer Vorteil der sehr formalen mathematischen Sprache ist es, komplizierte Zusammenhänge einfach und klar ausdrücken zu können. Gerade auch diese Eigenschaft der Mathematik
MehrEinleitung. R 2 = R R := { (x, y) ; x, y R }
Einleitung Zunächst wiederholen wir einige Bezeichnungen, die Sie hoffentlich schon aus der Schule kennen. Insbesondere benutzen wir die Abkürzungen N := {1, 2, 3, 4,... } Menge der natürlichen Zahlen
MehrVorkurs Mathematik 2016
Vorkurs Mathematik 2016 WWU Münster, Fachbereich Mathematik und Informatik PD Dr. K. Halupczok Skript VK1 vom 8.9.2016 VK1: Logik Die Kunst des Schlussfolgerns Denition 1: Eine Aussage ist ein sprachliches
MehrAlphabet der Prädikatenlogik
Relationen und Alphabet der Das Alphabet der besteht aus Individuenvariablen Dafür verwenden wir kleine Buchstaben vom Ende des deutschen Alphabets, auch indiziert, z. B. x, y, z, x 1, y 2,.... Individuenkonstanten
MehrELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise
ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise MAA.01011UB MAA.01011PH Vorlesung mit Übung im WS 2016/17 Christoph GRUBER Günter LETTL Institut für Mathematik und wissenschaftliches
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
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
MehrJeweils am Montag um 18:30 treffen sich Studenten in Seminarraum 3 zum gemeinsamen Lernen.
Jeweils am Montag um 18:30 treffen sich Studenten in Seminarraum 3 zum gemeinsamen Lernen. Betrachtungen zu Sprache, Logik und Beweisen Sprache Wir gehen von unserem Alphabet einigen Zusatzsymbolen aus.
MehrHöhere Mathematik für die Fachrichtung Physik
Karlsruher Institut für Technologie Institut für Analysis Dr. Christoph Schmoeger Michael Hott, M. Sc. WS 015/016 30.10.015 Höhere Mathematik für die Fachrichtung Physik Lösungsvorschläge zum 1. Übungsblatt
MehrElemente 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/
MehrMathematische Grundlagen I Logik und Algebra
Logik und Algebra Dr. Tim Haga 21. Oktober 2016 1 Aussagenlogik Erste Begriffe Logische Operatoren Disjunktive und Konjunktive Normalformen Logisches Schließen Dr. Tim Haga 1 / 21 Präliminarien Letzte
MehrLösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { }
Zur Einleitung: Lineare Gleichungssysteme Wir untersuchen zunächst mit Methoden, die Sie vermutlich aus der Schule kennen, explizit einige kleine lineare Gleichungssysteme. Das Gleichungssystem I wird
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
MehrKapitel 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