Brückenkurs Mathematik

Größe: px
Ab Seite anzeigen:

Download "Brückenkurs Mathematik"

Transkript

1 Brückenkurs Mathematik Vorlesung 1 Logik,, Doris Bohnet Universität Hamburg - Department Mathematik Mo

2 Zeitplan Tagesablauf: 9:15-11:45 Vorlesung Audimax I 13:00-14:30 Übung Übungsräume 15:00-16:30 Besprechung Audimax I Aktuelles und Aufgaben: Homepage: Mathe Vorkurs 0809.html doris.bohnet@math.uni-hamburg.de

3 1 Logik Aussagenlogik Prädikatenlogik Beweismethoden 2 3 Natürliche Ganze Rationale Reelle

4 Aussagenlogik Prädikatenlogik Beweismethoden Die kleinste Einheit der Aussagenlogik ist die Aussage: Aussage Eine Aussage ist ein Satz, der entweder wahr oder falsch ist. Beispiel A = B = C = D =

5 Aussagenlogik Prädikatenlogik Beweismethoden Bemerkungen Entscheidend ist, dass jeder Aussage ein Wahrheitswert (wahr oder falsch) zugeordnet werden kann, nicht, ob irgend jemand feststellen kann, ob diese Aussage nun tatsächlich wahr oder falsch ist. Der Wahrheitswert einer aus elementaren Aussagen zusammengesetzten Aussage bestimmt sich allein durch die Wahrheitswerte der elementaren Aussagen. Der Inhalt oder die innere Struktur eines Satzes ist nicht Gegenstand der Aussagenlogik. Die kleinste Einheit der Aussagenlogik ist die Aussage.

6 Aussagenlogik Prädikatenlogik Beweismethoden Aus elementaren Aussagen A, B kann man mit Hilfe von Junktoren (Verknüpfungen) eine neue Aussage konstruieren. Der Wahrheitswert dieser Aussage hängt allein von den Wahrheitswerten der elementaren Aussagen ab und läßt sich mit Hilfe von Wahrheitstafeln angeben. Negation: nicht A A Die Negation von A ist also genau dann wahr, wenn A falsch ist, und genau dann falsch, wenn A wahr ist. Beispiel

7 Aussagenlogik Prädikatenlogik Beweismethoden Disjunktion: oder A B A B Die Disjunktion von zwei Aussagen, ist nur dann falsch, wenn beide Aussagen falsch sind. Beispiel

8 Aussagenlogik Prädikatenlogik Beweismethoden Konjunktion: und A B A B Die Konjunktion von zwei Aussagen ist nur dann wahr, wenn beide Aussagen wahr sind, ansonsten falsch. Beispiel

9 Aussagenlogik Prädikatenlogik Beweismethoden Implikation: wenn..., dann... A B A B Die Aussage (Wenn A, dann B) ist falsch, wenn A wahr ist und B falsch, wenn also aus einer wahren Aussage eine falsche gefolgert wird. Die logische Wenn-dann-Beziehung darf nicht mit einer kausalen Ursache-Wirkung-Beziehung verwechselt werden. Die beiden Aussagen müssen inhaltlich nichts miteinander zu tun haben und können dennoch eine wahre Folgerungsaussage bilden.

10 Aussagenlogik Prädikatenlogik Beweismethoden Beispiel

11 Aussagenlogik Prädikatenlogik Beweismethoden Äquivalenz: genau dann, wenn A B A B Die Aussage (Genau dann A, wenn B) ist genau dann wahr, wenn beide Aussagen denselben Wahrheitswert besitzen, ansonsten falsch. Sind zwei Aussagen A, B äquivalent, d.h. ist A B eine wahre Aussage, können A und B überall durcheinander ersetzt werden. Beispiel

12 Aussagenlogik Prädikatenlogik Beweismethoden Übersicht Junktoren zwischen Aussagen: Negation nicht Disjunktion oder Konjunktion und Implikation wenn, dann Äquivalenz genau dann, wenn

13 Aussagenlogik Prädikatenlogik Beweismethoden Beispiel

14 Aussagenlogik Prädikatenlogik Beweismethoden Beispiel

15 Aussagenlogik Prädikatenlogik Beweismethoden Hängt eine Aussage A von einer (oder auch mehreren) freien Variable x ab, A(x), spricht man von einer Aussageform. Eine Aussageform besitzt keinen Wahrheitswert. Erst wenn die Variable durch einen Quantor gebunden wird, wird die Aussageform in eine Aussage überführt. Solche quantifizierten Aussageformen, bei denen auch die innere Struktur analysiert wird, sind Gegenstand der Prädikatenlogik, einer Erweiterung der Aussagenlogik. Quantoren Allquantor für alle Existenzquantor es gibt

16 Aussagenlogik Prädikatenlogik Beweismethoden Beispiel

17 Aussagenlogik Prädikatenlogik Beweismethoden Beachte die Reihenfolge der Quantoren und der Verknüpfungen: x y : A(x, y) y x : A(x, y) x : B(x) x : B(x). Beispiel

18 Aussagenlogik Prädikatenlogik Beweismethoden Ein Beweis einer Aussage B besteht aus einer Kette von Aussagen, die zueinander in gültigen Folgerungsbeziehungen stehen und an deren Ende die Wahrheit der Aussage B folgt. Direkter Beweis Ausgehend von einer wahren Aussage A (Voraussetzung) folgert man durch gültige Implikationen die zu beweisende Aussage B. Beispiel A... B

19 Aussagenlogik Prädikatenlogik Beweismethoden Indirekter Beweis Ausgehend von B erzeugt man durch gültige Implikationen einen Widerspruch zu einer wahren Aussage A (Voraussetzung), d.h. man erhält die falsche Aussage A A. Daraus folgt die Falschheit der Annahme B und also die Wahrheit von B. Beispiel B... A.

20 Aussagenlogik Prädikatenlogik Beweismethoden Beispiel

21 Menge (Cantor) Eine Menge M ist eine Zusammenfassung bestimmter wohl unterscheidbarer Objekte unseres Denkens oder unserer Anschauung. Die Objekte m in einer Menge M heißen Elemente. Man schreibt: m M. M := {m 1, m 2, m 3 } M := { m } A(m) := {} aufzählende Form beschreibende Form leere Menge

22 Beispiel

23 Beziehungen zwischen A B Teilmenge x A x B. B A Obermenge x A x B. A B Vereinigungsmenge x A B x A x B. A B Schnittmenge x A B x A x B. A \ B Differenzmenge x A \ B x A x / B. Ist der Schnitt A B =, dann heißen A und B disjunkt.

24 Beispiel

25 Natürliche Ganze Rationale Reelle Natürliche Die natürlichen N sind durch die folgenden Axiome eindeutig charakterisiert: 0 ist eine natürliche Zahl. Jede natürliche Zahl n besitzt genau eine Nachfolgerin n + 1. Es gibt keine natürliche Zahl, deren Nachfolgerin 0 ist. Jede natürliche Zahl (außer 0) ist die Nachfolgerin genau einer anderen natürlichen Zahl. Diese Axiome formalisieren die intuitive Vorstellung des Zählens, das man mit Hilfe der natürlichen tun kann.

26 Natürliche Ganze Rationale Reelle Auf den natürlichen kann man die gewohnte Addition und Multiplikation definieren. Sie ist assoziativ, kommutativ und distributiv. Das neutrale Element der Addition ist 0, denn es gilt für alle n N: n + 0 = n. Das neutrale Element der Multiplikation ist 1, denn es gilt für alle n N: n 1 = n. Es gibt keine inversen Elemente der Addition oder der Multiplikation.

27 Vollständige Induktion Logik Natürliche Ganze Rationale Reelle Eine Aussage A(n) für alle natürlichen n n 0 wird mit Hilfe der vollständigen Induktion bewiesen. Vollständige Induktion Induktionsanfang: A(n 0 ) ist richtig. Induktionsschritt: Für jedes n n 0 gilt: Ist A(n) richtig (Induktionsvoraussetzung), dann auch A(n + 1).

28 Beispiel Logik Natürliche Ganze Rationale Reelle

29 Natürliche Ganze Rationale Reelle Eine natürliche Zahl n N heißt Teiler von m N, falls eine natürliche Zahl k N existiert, so dass m = n k gilt. Primzahl Eine Primzahl p ist eine natürliche Zahl, die genau zwei verschiedene Teiler besitzt. Jede natürliche Zahl kann man eindeutig als Produkt von Primzahlen darstellen. Dies nennt man Primfaktorzerlegung. kgv, ggt kgv(n, m) ggt(n, m) kleinstes gemeinsames Vielfaches von n und m größter gemeinsamer Teiler von n und m

30 Beispiel Logik Natürliche Ganze Rationale Reelle

31 Ganze Logik Natürliche Ganze Rationale Reelle Erweitert man die natürlichen N, indem man jeder natürlichen Zahl n ein eindeutiges inverses Element der Addition n zuordnet, erhält man die ganzen Z: Ganze Z := {..., 2, 1, 0, 1, 2,... } Die Addition und die Multiplikation lassen sich auf natürliche Weise auf die ganzen übertragen.

32 Natürliche Ganze Rationale Reelle Rationale Die Menge der rationalen Q erhält man aus der Menge der Paare n m von ganzen n Z, m Z \ {0}, bei denen alle Paare n m, p q miteinander identifiziert werden, für die n q = m p gilt. Ein Paar n m wird als Bruch bezeichnet, m als Nenner und n als Zähler. Beispiel

33 Natürliche Ganze Rationale Reelle Addition und Multiplikation Addition: Bringe Brüche auf gemeinsamen Hauptnenner: n m + p q = n q + p m m q Multiplikation: Multipliziere Zähler mit Zähler, Nenner mit Nenner n m p q = n p m q Die so definierte Addition und Multiplikation auf Q ist assoziativ, kommutativ und distributiv. Es gibt inverse Elemente der Addition und Multiplikation.

34 Beispiel Logik Natürliche Ganze Rationale Reelle

35 Natürliche Ganze Rationale Reelle Fakultät Für alle n N ist die Fakulät wie folgt definiert: Beispiel 0! := 1, n! := 1 2 n = n k, n > 0. k=1

36 Natürliche Ganze Rationale Reelle Damit lassen sich die Binomialkoeffizienten und der Binomialsatz formulieren: Binomialkoeffizienten Für beliebige n, k N ist der Binomialkoeffizient ( n k), n über k, wie folgt definiert: ( ) n k := n! (n k + 1) (n 1) n = k! (n k)! k! Speziell ist: ( ) n = 1, 0 ( ) n = n 1

37 Pascalsches Dreieck Logik Natürliche Ganze Rationale Reelle

38 Binomialsatz Logik Natürliche Ganze Rationale Reelle Binomialsatz Für beliebige x, y R gilt: (x + y) n = n k=0 ( ) n x n k y k. k Für n = 2 ist diese Aussage bereits als binomische Formel bekannt: (x + y) 2 = x 2 + 2xy + y 2, (x y) 2 = x 2 2xy + y 2.

39 Beispiel Logik Natürliche Ganze Rationale Reelle

40 Natürliche Ganze Rationale Reelle Beispiel: Summen- und Produktzeichen

41 Natürliche Ganze Rationale Reelle Reelle Die reellen R sind die Vervollständigung der rationalen Q: Jede reelle Zahl x R ist der Grenzwert einer Folge rationaler q n Q, n N. Es gilt Q R, denn zum Beispiel ist 2 eine reelle, aber nicht rationale Zahl. Weitere bekannte Beispiele sind e, π R \ Q. Die Addition und Multiplikation wird auf natürliche Weise von den rationalen auf die reellen mit allen Eigenschaften wie Assoziativität, Kommutativität und Distributivität sowie Existenz von neutralen und inversen Elementen übertragen.

42 Natürliche Ganze Rationale Reelle Die reellen sind angeordnet, d.h. je zwei reelle x, y R lassen sich der Größe nach miteinander vergleichen: x y y x. Es ist x = y : x y y x und x < y : x y x y. Durch die Ordnung auf den reellen lassen sich Intervalle definieren: Seien a, b R beliebig mit a < b. Intervalle [a, b] := { x R a x b }, abgeschlossenes Intervall (a, b) := { x R a < x < b }, offenes Intervall [a, ) := { x R a x }.

43 Beispiel Logik Natürliche Ganze Rationale Reelle

44 Natürliche Ganze Rationale Reelle Wichtig! Der Ausdruck bezeichnet keine Zahl, d.h. ist nicht einfach eine unendlich große Zahl am Ende des reellen strahls, und wir können mit nicht wie gewohnt rechnen! Vielmehr ist immer die Abkürzung für einen Grenzprozess. Beachte 1 kann jeden beliebigen Wert annehmen und ist nicht als Produkt zweier mißzuverstehen. Beispiel

45 Natürliche Ganze Rationale Reelle Potenz Für a R, n N ist die Potenz definiert: a n := } a {{ a} = n mal n heißt Exponent, a die Basis. n a. k=1

46 Natürliche Ganze Rationale Reelle Rechenregeln für Potenzen a 0 = 1, a n = 1, an a 0, n N, a n+m = a n a m, (a n ) m = a nm a 0, n, m Z, (ab) n = a n b n. Es gilt: Potenz- vor Punkt- vor Strichrechnung!

47 Beispiel Logik Natürliche Ganze Rationale Reelle

48 Natürliche Ganze Rationale Reelle Wurzel Sie a 0. Die eindeutige nichtnegative Lösung x 0 von x 2 = a ist die Quadratwurzel x = a = a 1 2. Ebenso ist die eindeutige nichtnegative Lösung x 0 von x n = a die n-te Wurzel x = n a = a 1 n. Es gelten die Rechenregeln für Potenzen!

49 Beispiel Logik Natürliche Ganze Rationale Reelle

50 Natürliche Ganze Rationale Reelle Betrag Der Betrag einer reellen Zahl x R ist ihr Abstand zum Nullpunkt, d.h. { x 0 x x := x x < 0. Beim Umformen des Ausdrucks innerhalb der Betragsstriche ist Vorsicht geboten! Besser: Immer die Definition des Betragsstriches verwenden und eine Fallunterscheidung machen.

51 Beispiel Logik Natürliche Ganze Rationale Reelle

52 Natürliche Ganze Rationale Reelle... und so geht es heute weiter: Übung: Übungsräume 13:00-14:30 FREI ab 14:30 Besprechung der Aufgaben: Audimax I morgen

Brückenkurs Mathematik. Dienstag Freitag

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

Mehr

Brückenkurs Mathematik. Dienstag Freitag

Brückenkurs Mathematik. Dienstag Freitag Brückenkurs Mathematik Dienstag 2.10. - Freitag 12.10. Vorlesung 1 Logik, Mengen, Zahlen Kai Rothe Technische Universität Hamburg Dienstag 2.10. Tagesablauf 9:00-10:30 Vorlesung Audimax I 10:30-11:00 Pause

Mehr

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

Mehr

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen

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

Mehr

Vorlesung 3: Logik und Mengenlehre

Vorlesung 3: Logik und Mengenlehre 28102013 Erinnerung: Zeilen-Stufen-Form (ZSF) eines LGS 0 0 1 c 1 0 0 0 1 0 0 1 c r 0 0 0 c r+1 0 0 0 0 0 0 0 0 0 c m Erinnerung: Information der Zeilen-Stufen-Form Aus der ZSF liest man ab: Folgerung

Mehr

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

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

Mehr

Vorbereitungskurs Mathematik zum Sommersemester 2015 Aussagen, Logik und Beweistechniken

Vorbereitungskurs 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

Mehr

Grundlegendes der Mathematik

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

Mehr

Kapitel 1: Grundbegriffe

Kapitel 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

Mehr

2. Grundlagen. A) Mengen

2. Grundlagen. A) Mengen Chr.Nelius: Zahlentheorie (SoSe 2019) 5 A) Mengen 2. Grundlagen Eine Menge ist durch Angabe ihrer Elemente bestimmt. Man kann eine Menge aufzählend oder beschreibend definieren. Im ersten Falle werden

Mehr

Kapitel 1. Grundlagen

Kapitel 1. Grundlagen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Kapitel 1. Grundlagen Mengen

Kapitel 1. Grundlagen Mengen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Inhaltsverzeichnis Teil 1 Teil

Mehr

Grundbegriffe Mengenlehre und Logik

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

Mehr

Logik. III Logik. Propädeutikum Holger Wuschke. 19. September 2018

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

Mehr

Kapitel 1 Mengen. Kapitel 1 Mengen. Mathematischer Vorkurs TU Dortmund Seite 1 / 25

Kapitel 1 Mengen. Kapitel 1 Mengen. Mathematischer Vorkurs TU Dortmund Seite 1 / 25 Kapitel 1 Mengen Kapitel 1 Mengen Mathematischer Vorkurs TU Dortmund Seite 1 / 25 Kapitel 1 Mengen Definition 1.1 (Menge) Unter einer Menge verstehen wir eine Zusammenfassung von Objekten zu einem Ganzen.

Mehr

Indexmengen. Definition. n n n. i=1 A i := A 1... A n

Indexmengen. Definition. n n n. i=1 A i := A 1... A n Indexmengen Definition Es sei n N. Für Zahlen a 1,..., a n, Mengen M 1,..., M n und Aussagen A 1,..., A n definieren wir: n i=1 a i := a 1 +... + a n n i=1 a i := a 1... a n n i=1 M i := M 1... M n n i=1

Mehr

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

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 19. Oktober 2017 1/27 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage

Mehr

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

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

Mehr

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

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16 Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16 15. Oktober 2015 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage veröffentlicht

Mehr

Kapitel 1. Grundlagen

Kapitel 1. Grundlagen Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig

Mehr

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion

Vorkurs 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

Mehr

Skript und Übungen Teil II

Skript und Übungen Teil II Vorkurs Mathematik Herbst 2009 M. Carl E. Bönecke Skript und Übungen Teil II Das erste Semester wiederholt die Schulmathematik in einer neuen axiomatischen Sprache; es ähnelt damit dem nachträglichen Erlernen

Mehr

Mathematische Grundlagen I Logik und Algebra

Mathematische 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

Mehr

Zahlen 25 = = 0.08

Zahlen 25 = = 0.08 2. Zahlen Uns bisher bekannte Zahlenbereiche: N Z Q R ( C). }{{} später Schreibweisen von rationalen/reellen Zahlen als unendliche Dezimalbrüche = Dezimalentwicklungen. Beispiel (Rationale Zahlen) 1 10

Mehr

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

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

Mehr

Übungen zum Vorkurs Mathematik für Studienanfänger Ein leeres Produkt ist gleich 1, eine leere Summe 0. ***

Übungen zum Vorkurs Mathematik für Studienanfänger Ein leeres Produkt ist gleich 1, eine leere Summe 0. *** Universität Bonn Mathematisches Institut Dr. Michael Welter Übungen zum Vorkurs Mathematik für Studienanfänger 2013 Einige Zeichen und Konventionen: IN := {1, 2, 3, 4,...} Die Menge der natürlichen Zahlen

Mehr

Mathematisch für Anfänger

Mathematisch für Anfänger Mathematisch für Anfänger Beiträge zum Studienbeginn von Matroids Matheplanet Bearbeitet von Martin Wohlgemuth 1. Auflage 2011. Taschenbuch. xvi, 320 S. Paperback ISBN 978 3 8274 2852 3 Format (B x L):

Mehr

Analysis I für Studierende der Ingenieurwissenschaften

Analysis 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

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2017/18 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler Wintersemester 2017/18 Inhaltsverzeichnis Teil 1 Teil

Mehr

3. Diskrete Mathematik

3. Diskrete Mathematik Diophantos von Alexandria um 250 Georg Cantor 1845-1918 Pythagoras um 570 v. Chr Pierre de Fermat 1607/8-1665 Seite 1 Inhalt der Vorlesung Teil 3: Diskrete Mathematik 3.1 Zahlentheorie: Abzählbarkeit,

Mehr

Analysis I für Studierende der Ingenieurwissenschaften

Analysis I für Studierende der Ingenieurwissenschaften Analysis I für Studierende der Ingenieurwissenschaften Prof. Dr. Armin Iske Department Mathematik, Universität Hamburg Technische Universität Hamburg-Harburg Wintersemester 2006/2007 Analysis I TUHH, Winter

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2017/18 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler Wintersemester 2017/18 Inhaltsverzeichnis Teil 1 Teil

Mehr

Dr. Regula Krapf Sommersemester Beweismethoden

Dr. Regula Krapf Sommersemester Beweismethoden Vorkurs Mathematik Dr. Regula Krapf Sommersemester 2018 Beweismethoden Aufgabe 1. Überlegen Sie sich folgende zwei Fragen: (1) Was ist ein Beweis? (2) Was ist die Funktion von Beweisen? Direkte Beweise

Mehr

Zahlen und elementares Rechnen

Zahlen und elementares Rechnen und elementares Rechnen Christian Serpé Universität Münster 7. September 2011 Christian Serpé (Universität Münster) und elementares Rechnen 7. September 2011 1 / 51 Gliederung 1 2 Elementares Rechnen 3

Mehr

: das Bild von ) unter der Funktion ist gegeben durch

: das Bild von ) unter der Funktion ist gegeben durch % 1.3 Funktionen Seien und Mengen nennt man Funktion oder Abbildung. Beachte: Zuordnung ist eindeutig. Bezeichnungen: : Definitionsbereich : Bildbereich (Zielmenge) von Der Graph einer Funktion: graph!

Mehr

Mathematischer Vorkurs MATH

Mathematischer Vorkurs MATH Mathematischer Vorkurs MATH (01.09.2014 19.09.2014) AOR Dr. Andreas Langer WS 2014-2015 Mathematischer Vorkurs TU Dortmund Seite 1 / 254 Kapitel 1 Mengen Kapitel 1 Mengen Mathematischer Vorkurs TU Dortmund

Mehr

Analysis I für Studierende der Ingenieurwissenschaften

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

Mehr

Zahlen und elementares Rechnen (Teil 1)

Zahlen und elementares Rechnen (Teil 1) und elementares Rechnen (Teil 1) Dr. Christian Serpé Universität Münster 6. September 2010 Dr. Christian Serpé (Universität Münster) und elementares Rechnen (Teil 1) 6. September 2010 1 / 40 Gliederung

Mehr

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

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

Mehr

Aussagen. Mathematik und Logik 2011W. Was ist Logik? Elementare Zahlentheorie. Logik. Aussagenlogik. Prädikatenlogik. Datentypen.

Aussagen. Mathematik und Logik 2011W. Was ist Logik? Elementare Zahlentheorie. Logik. Aussagenlogik. Prädikatenlogik. Datentypen. Aussagen Die mathematische verwendet mathematische Methoden, um das logische Denken formal zu beschreiben. Populäre Definition: Eine Aussage ist ein Satz, der entweder falsch oder wahr ist. Problem: Wie

Mehr

0 Mengen und Abbildungen, Gruppen und Körper

0 Mengen und Abbildungen, Gruppen und Körper 0 Mengen und Abbildungen, Gruppen und Körper In diesem Paragrafen behandeln wir einige für die Lineare Algebra und für die Analysis wichtige Grundbegriffe. Wir beginnen mit dem Begriff der Menge. Auf Cantor

Mehr

Münchner Volkshochschule. Planung. Tag 02

Münchner Volkshochschule. Planung. Tag 02 Planung Tag 02 Prof.Dr. Nils Mahnke Mathematischer Vorkurs Folie: 45 Mengenlehre VII Mengenoperationen: 1) Vereinigungsmenge: A B { x x A x B} 2) Schnittmenge: A 3) Differenzmenge: B { x x A x B} A \ B

Mehr

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

Mehr

1. Gruppen. 1. Gruppen 7

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

Mehr

1. Gruppen. 1. Gruppen 7

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

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 018/19 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de c 018 Steven Köhler Wintersemester 018/19 Inhaltsverzeichnis Teil 1 Teil Teil

Mehr

Rü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. 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

Mehr

Mathematischer Vorkurs

Mathematischer Vorkurs Mathematischer Vorkurs Dr. Agnes Lamacz Mathematischer Vorkurs TU Dortmund Seite 1 / 150 Organisatorisches Mathematischer Vorkurs TU Dortmund Seite 2 / 150 Vorkurs Mathematik für Mathematik und Statistik

Mehr

mathe plus Aussagenlogik Seite 1

mathe plus Aussagenlogik Seite 1 mathe plus Aussagenlogik Seite 1 1 Aussagenlogik 1.1 Grundbegriffe Def 1 Aussage Eine Aussage ist ein beschriebener Sachverhalt, dem eindeutig einer der Wahrheitswerte entweder wahr oder falsch zugeordnet

Mehr

Rü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. 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

Mehr

Logik, Mengen und Abbildungen

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

Mehr

Übungen zum Vorkurs Mathematik für Studienanfänger 2009 ***

Übungen zum Vorkurs Mathematik für Studienanfänger 2009 *** Universität Bonn Mathematisches Institut Dr. Michael Welter Übungen zum Vorkurs Mathematik für Studienanfänger 2009 Einige Zeichen und Konventionen: IN := {1, 2, 3, 4,...} Die Menge der natürlichen Zahlen

Mehr

Diskrete Strukturen. Vorlesung 3: Naive Mengenlehre. 30. Oktober 2018

Diskrete 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

Mehr

Übungen zum Vorkurs Mathematik für Studienanfänger Ein leeres Produkt ist gleich 1, eine leere Summe 0. ***

Übungen zum Vorkurs Mathematik für Studienanfänger Ein leeres Produkt ist gleich 1, eine leere Summe 0. *** M. Welter Übungen zum Vorkurs Mathematik für Studienanfänger 2004 Einige Zeichen und Konventionen: IN := {1, 2, 3, 4,...} Die Menge der natürlichen Zahlen IN 0 := IN {0}{0, 1, 2, 3, 4,...} Z := {..., 2,

Mehr

2008W. Vorlesung im 2008W Institut für Algebra Johannes Kepler Universität Linz

2008W. Vorlesung im 2008W  Institut für Algebra Johannes Kepler Universität Linz Logik Institut für Algebra Johannes Kepler Universität Linz Vorlesung im http://wwwalgebrauni-linzacat/students/win/ml Inhalt Logik Logik Aussagen Die mathematische Logik verwendet mathematische Methoden,

Mehr

1 Mengen und Mengenoperationen

1 Mengen und Mengenoperationen 1 Mengen und Mengenoperationen Man kann verschiedene Objekte mit gemeinsamen Eigenschaften zu Mengen zusammenfassen. In der Mathematik kann man z.b. Zahlen zu Mengen zusammenfassen. Die Zahlen 0; 1; 2;

Mehr

Algebraische Grundlagen 1

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

Mehr

Grundlagen der Mengenlehre

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

Mehr

ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise

ELEMENTARE 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

Mehr

11. Beschreiben Sie die disjunktive und die konjunktive Normalform eines logischen Ausdrucks!

11. 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!

Mehr

Mathematik. für das Ingenieurstudium. 1 Grundlagen. Jürgen Koch Martin Stämpfle.

Mathematik. für das Ingenieurstudium. 1 Grundlagen. Jürgen Koch Martin Stämpfle. 1 Grundlagen www.mathematik-fuer-ingenieure.de 2010 und, Esslingen Dieses Werk ist urheberrechtlich geschützt. Alle Rechte, auch die der Übersetzung, des Nachdruckes und der Vervielfältigung des Werkes,

Mehr

1 Aufbau des Zahlensystems

1 Aufbau des Zahlensystems 1 Aufbau des Zahlensystems 1.1 Die Menge N der natürlichen Zahlen 1.1.1 Definition Die mathematischen Eigenschaften dieser durch das Abzählen von Gegenständen motivierten Zahlenmenge lassen sich auf die

Mehr

Tutorium: Diskrete Mathematik

Tutorium: Diskrete Mathematik Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 24.11.2016 (Teil 2) 23. November 2016 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler 23. November 2016

Mehr

Tilman Bauer. 4. September 2007

Tilman Bauer. 4. September 2007 Universität Münster 4. September 2007 und Sätze nlogik von Organisatorisches Meine Koordinaten: Sprechstunden: Di 13:30-14:30 Do 9:00-10:00 tbauer@uni-muenster.de Zimmer 504, Einsteinstr. 62 (Hochhaus)

Mehr

Übungen zum Vorkurs Mathematik für Studienanfänger Ein leeres Produkt ist gleich 1, eine leere Summe 0. ***

Übungen zum Vorkurs Mathematik für Studienanfänger Ein leeres Produkt ist gleich 1, eine leere Summe 0. *** Universität Bonn Mathematisches Institut Dr. Michael Welter Übungen zum Vorkurs Mathematik für Studienanfänger 2010 Einige Zeichen und Konventionen: IN := {1, 2, 3, 4,...} Die Menge der natürlichen Zahlen

Mehr

Logische Grundlagen der Mathematik, WS 2014/15

Logische 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

Mehr

Übung: Teilmengen. Beweis: Für alle Elemente einer Menge, die Teilmenge einer Menge ist, gilt, dass auch Element von ist. (Definition der Teilmenge)

Übung: Teilmengen. Beweis: Für alle Elemente einer Menge, die Teilmenge einer Menge ist, gilt, dass auch Element von ist. (Definition der Teilmenge) 15 Übung: Teilmengen seien Mengen. Zu zeigen ist: wenn Beweis: dann auch Für alle Elemente einer Menge, die Teilmenge einer Menge ist, gilt, dass auch Element von ist. (Definition der Teilmenge) für alle

Mehr

Mathematik und Logik

Mathematik und Logik Mathematik und Logik 5. Übungsaufgaben 2006-11-21 1. Beweisen Sie, daß die Aussage allgemeingültig ist. A = A Beweis. Dies ist ein Spezialfall von (((A = B) = B) = B) = (A = B), was wir wie folgt beweisen.

Mehr

Einführung in die Mathematik (Vorkurs 1 )

Einführung in die Mathematik (Vorkurs 1 ) Einführung in die Mathematik (Vorkurs 1 ) Wintersemester 2008/09 Dr. J. Jordan Institut für Mathematik Universität Würzburg Germany 1 Modulbezeichnung 10-M-VKM 1 Inhaltsverzeichnis 1 Aussagen und Beweise

Mehr

1.9 Beweis durch Kontraposition

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

Mehr

HM I Tutorium 2. Lucas Kunz. 3. November 2016

HM I Tutorium 2. Lucas Kunz. 3. November 2016 HM I Tutorium 2 Lucas Kunz 3. November 2016 Inhaltsverzeichnis 1 Theorie 2 1.1 Reelle Zahlen.................................. 2 1.2 Intervalle..................................... 2 1.3 Beträge.....................................

Mehr

Analyis I - Grundlagen

Analyis I - Grundlagen Elementare Aussagenlogik October 23, 2008 Elementare Aussagenlogik Definition Eine Aussage im Sinne der Aussagenlogik ist eine sprachliche Aussage, bei der klar entschieden werden kann, ob sie wahr oder

Mehr

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

Mengen. (Nicht-) Elemente einer Menge { 3, 4 } { 1, { 2 }, { 3, 4 }, { 5 } } 3 { 1, { 2 }, { 3, 4 }, { 5 } } Mengen Definition (Intuitive Mengenlehre) Eine Menge ist die Zusammenfassung von Elementen unserer Anschauung zu einem wohldefinierten Ganzen. (Georg Cantor) Notation 1. Aufzählung aller Elemente: { 1,

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Lösungen Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Kapitel I: Mengen Aufgabe

Mehr

2 Mengenlehre. Definition: Unter einer Menge M versteht man die Zusammenfassung von unterscheidbaren Objekten (den Elementen) zu einem Ganzen.

2 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

Mehr

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

Mengen. Eigenschaften. Spezielle Mengen (1) Prominente Mengen. ! Mengenzugehörigkeit Mengen! Definition (Intuitive Mengenlehre) Eine Menge ist die Zusammenfassung von Elementen unserer Anschauung zu einem wohldefinierten Ganzen. (Georg Cantor)! Notation 1. Aufzählung aller Elemente: {

Mehr

Elementare Beweistechniken

Elementare Beweistechniken Elementare Beweistechniken Beispiel: Satzform (Pythagoras) Voraussetzung: Gegeben sei ein beliebiges rechtwinkeliges Dreieck, die Länge der Hypothenuse sei c und die Längen der anderen Seiten seien a und

Mehr

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

Lösungsmenge L I = {x R 3x + 5 = 9} = L II = {x R 3x = 4} = L III = { } Zur Einleitung: Lineare Gleichungssysteme Wir untersuchen zunächst mit Methoden, die Sie vermutlich aus der Schule kennen, explizit einige kleine lineare Gleichungssysteme. Das Gleichungssystem I wird

Mehr

Einleitung. R 2 = R R := { (x, y) ; x, y R }

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

Mehr

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

Mehr

Vollständigkeit der reellen Zahlen

Vollständigkeit der reellen Zahlen Vollständigkeit der reellen Zahlen Vorlesung zur Didaktik der Analysis Oliver Passon Vollständigkeit von R 1 take home message I Wollte man mit Zahlen nur rechnen, könnte man mit den rationalen Zahlen

Mehr

MATHEMATIK FÜR NATURWISSENSCHAFTLER I WINTERSEMESTER 2016/ OKTOBER 2016

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

Mehr

Diskrete Strukturen WS 2018/19. Gerhard Hiß RWTH Aachen

Diskrete 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

Mehr

= { } Absolutes Komplement Universe Relatives Komplement von

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

Mehr

Reelle Zahlen, Gleichungen und Ungleichungen

Reelle Zahlen, Gleichungen und Ungleichungen 9 2. Vorlesung Reelle Zahlen, Gleichungen und Ungleichungen 4 Zahlenmengen und der Körper der reellen Zahlen 4.1 Zahlenmengen * Die Menge der natürlichen Zahlen N = {0,1,2,3,...}. * Die Menge der ganzen

Mehr

Vorlesung 2. Tilman Bauer. 6. September 2007

Vorlesung 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

Mehr

Grundlagen der Mathematik

Grundlagen 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

Mehr

Elementare Beweismethoden

Elementare Beweismethoden Elementare Beweismethoden Christian Hensel 404015 Inhaltsverzeichnis Vortrag zum Thema Elementare Beweismethoden im Rahmen des Proseminars Mathematisches Problemlösen 1 Einführung und wichtige Begriffe

Mehr

3 Vom Zählen zur Induktion

3 Vom Zählen zur Induktion 7 3 Vom Zählen zur Induktion 3.1 Natürliche Zahlen und Induktions-Prinzip Seit unserer Kindheit kennen wir die Zahlen 1,, 3, 4, usw. Diese Zahlen gebrauchen wir zum Zählen, und sie sind uns so vertraut,

Mehr

Mathematik 1 für Informatik Inhalt Grundbegrie

Mathematik 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

Mehr

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

Mehr

Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, Christian Rieck, Arne Schmidt

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

Mehr

2 Die Körper-Axiome. I. Axiome der Addition (A.1) Assoziativgesetz. Für alle x, y, z R gilt (x + y)+z = x +(y + z).

2 Die Körper-Axiome. I. Axiome der Addition (A.1) Assoziativgesetz. Für alle x, y, z R gilt (x + y)+z = x +(y + z). 17 Wir setzen in diesem Buch die reellen Zahlen als gegeben voraus. Um auf sicherem Boden zu stehen, werden wir in diesem und den folgenden Paragraphen einige Axiome formulieren, aus denen sich alle Eigenschaften

Mehr

Surjektive, injektive und bijektive Funktionen.

Surjektive, injektive und bijektive Funktionen. Kapitel 1: Aussagen, Mengen, Funktionen Surjektive, injektive und bijektive Funktionen. Definition. Sei f : M N eine Funktion. Dann heißt f surjektiv, falls die Gleichung f(x) = y für jedes y N mindestens

Mehr

Logik (Teschl/Teschl 1.1 und 1.3)

Logik (Teschl/Teschl 1.1 und 1.3) Logik (Teschl/Teschl 1.1 und 1.3) Eine Aussage ist ein Satz, von dem man eindeutig entscheiden kann, ob er wahr (true, = 1) oder falsch (false, = 0) ist. Beispiele a: 1 + 1 = 2 b: Darmstadt liegt in Bayern.

Mehr

Logik/Beweistechniken

Logik/Beweistechniken Mathematikvorkurs bei Marcos Soriano Logik/Beweistechniken erstellt von: Daniel Edler -II- Inhaltsverzeichnis 1 Logik/Beweistechniken 1 1.1 Allgemeine Vorgehensweise......................... 1 2 Konjunktion/Disjunktion

Mehr

Mengenlehre und vollständige Induktion

Mengenlehre und vollständige Induktion Fachschaft MathPhys Heidelberg Mengenlehre und vollständige Induktion Vladislav Olkhovskiy Vorkurs 018 Inhaltsverzeichnis 1 Motivation 1 Mengen.1 Grundbegriffe.................................. Kostruktionen

Mehr