Vorkurs Mathematik - SoSe 2017

Größe: px
Ab Seite anzeigen:

Download "Vorkurs Mathematik - SoSe 2017"

Transkript

1 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 aus, wenn man den Existenzquantor durch den Allquantor ersetzt? Lösung. Wir setzen P(x) als x ist eine gerade Zahl und Q(x) als x ist eine ungerade Zahl. Dann ist die Aussage ( x : P(x)) ( x : Q(x)) die Aussage es gibt eine gerade Zahl und es gibt eine ungerade Zahl. Das ist offensichtlich wahr, da 0 gerade ist und 1 ungerade. Die Aussage x(p(x) Q(x)) bedeutet dann es gibt eine Zahl, die gerade und ungerade ist. Dies ist offensichtlich falsch. Wenn man durch ersetzt, so sind die beiden Aussagen logisch äquivalent. Aufgabe 2. Finden Sie den Fehler in folgendem Widerspruchsbeweis: Behauptung: Alles, was nicht rot ist, ist blau. Beweis: Wir werden die Behauptung durch Widerspruch beweisen. Nehmen wir also die Negation der Behauptung an: Alles, was rot ist, ist blau. Dies ist aber ein Widerspruch zur Eindeutigkeit der Farbe. Also kann die Annahme nicht gelten und die Behauptung ist bewiesen. Lösung. Die Negation von Alles, was nicht rot ist, ist blau ist Es gibt etwas nicht Rotes, was nicht blau ist, also Es gibt etwas, was weder rot noch blau ist. Dies lässt sich wie folgt erklären: Sei R(x) das Prädikat "x ist rot" Sei B(x) das Prädikat "x ist blau" Dann kann man Alles, was nicht rot ist, ist blau darstellen als x : ( R(x) B(x)). Die Negation davon ist also x : ( R(x) B(x)).

2 4 Um die Negation einer Implikation zu bilden verwenden wir die Regel A B A B. In unserem Fall gilt also ( R(x) B(x)) ( R(x) B(x)) (R(x) B(x)) R(x) B(x). Insgesamt ist die Negation der Behauptung also x : R(x) B(x) was genau der Aussage Es gibt etwas, was weder rot noch blau ist entspricht. Aufgabe 3. Verneinen Sie folgende Aussagen: (a) Für jede natürliche Zahl n 1 gibt es eine Primzahl, die n teilt. (b) Der Boden ist vom Regen nass oder jemand hat ihn mit dem Wasserschlauch vollgespritzt. (c) Jede Frau und jeder Mann hat schon mindestens einmal im Leben nicht Lösung. alles vom Teller aufgegessen. (a) Es gibt eine natürliche Zahl n 1, sodass keine Primzahl n teilt. (b) Der Boden ist weder vom Regen nass noch hat hat ihn jemand mit dem Wasserschlauch vollgespritzt. Andere Lösung: Der Boden ist nicht vom Regen nass und niemand hat ihn mit dem Wasserschlauch vollgespritzt. (c) Es gibt (mindestens) eine Frau oder einen Mann, die/der immer alles vom Teller aufgegessen hat. Aufgabe 4. Berechnen Sie jeweils die Lösungsmenge folgender (Un)Gleichungen. (a) 3x (b) x 1 2 x = 3 (c) 2x+1 x 3 1. Lösung. (a) Wir machen eine Fallunterscheidung: 1. Fall: 3x Dann gilt 3x x 4 x 4 3.

3 5 2. Fall: 3x + 2 < 0. Dann gilt (3x + 2) 6 3x 2 6 3x 8 3x 8 x 8 3 Also ist die Lösungsmenge von 3x+2 6 gegeben durch (, 8 3 ] [ 4 3, ). (b) Wir haben 4 Fälle: 1. Fall: x 1 0 und x 0. Dann gilt x 1 2 x = (x 1) 2x = x 1 und x 1 = 3 x = 2 x = Fall: x 1 0 und x < 0. Dieser Fall ist unmöglich und hat somit keine Lösungen. 3. Fall: x 1 < 0 und x 0. Dann gilt x 1 2 x = (x 1) 2x = 3x + 1 und 3x + 1 = 3 3x = 4 x = 4 3. Dies ist aber nicht möglich, da wir ja angenommen haben, dass x 1 < 0, denn für x = 4 3 gilt x 1 = = 1 3 > 0. In diesem Fall gibt es also keine Lösung. 4. Fall: x 1 < 0 und x < 0. Dann gilt x 1 2 x = (x 1) 2( x) = x x = x + 1 und x + 1 = 3 x = 4. Also ist die Lösungsmenge von x 1 2 x gegeben durch { 4,2}. (c) Da man nicht durch 0 dividieren kann, muss x 3 gelten. Wir machen eine Fallunterscheidung: 1. Fall: 2x Um die Ungleichung nach x aufzulösen, möchten wir beide Seiten mit x 3 multiplizieren. Dazu muss aber das Vorzeichen von x 3 bekannt sein. Es gibt also 2 Teilfälle: Fall 1.1: x 3 0. Dann gilt 2x + 1 x 3 1 2x + 1 x 3 x 4. Dies steht aber im Widerspruch zur Annahme x 3 0.

4 6 Fall 1.2: x 3 < 0. Dann gilt 2x + 1 x 3 1 2x + 1 x 3 x 4. Also haben wir die Bedingungen x 3 < 0,x 4 und 2x + 1 0, welche äquivalent zu x < 3,x 4 und x 1 2 sind, also insgesamt x [ 1 2,3). 2. Fall: 2x + 1 < 0, also x < 1 2. Dann gilt aber auch x < 3 und somit x 3 < 0. Also haben wir (2x + 1) x 3 1 2x + 1 (x 3) 1 2x + 1 x + 3 3x 2 x 2 3. Also erhalten wir x (, 1 2 ). Die Lösungsmenge von 2x+1 x 3 1 ist also (, 1 2 ) [ 1 2,3) = (,3). Aufgabe 5. Seien x, y R. Beweisen Sie per Fallunterscheidung die Dreiecksungleichung: x + y x + y. Lösung. Es gilt immer x x und x x. Wir machen eine Fallunterscheidung: 1. Fall: x + y 0. Dann gilt x + y = x + y x + y wie gewünscht. 2. Fall: x + y < 0. Dann gilt x + y = (x + y) = ( x) + ( y) x + y. Da die Ungleichung in beiden Fällen gilt, ist die Behauptung bewiesen. Man könnte auch stattdessen 8 Fälle betrachten (x + y 0 vs. x + y < 0 und x 0 vs. x < 0 und y 0 vs. y < 0), oder auch nur 4 Fälle(x 0 vs. x < 0 und y 0 vs. y < 0). Aufgabe 6. Stimmt es, dass n 2 +n+41 für jede Zahl eine Primzahl ist? Beweisen Sie oder finden Sie ein Gegenbeispiel. Lösung. Nein, denn für n = 41 gilt n 2 + n + 41 = = 41(41 + 2) = Also ist dann n 2 + n + 41 durch 41 und 43 teilbar und somit keine Primzahl.

5 Aufgabe 7. Zeigen Sie mit Hilfe vom Schubfachprinzip um folgende Aussage zu beweisen: Unter 5 Punkten in einem Quadrat der Seitenlänge 2 gibt es zwei, deren Abstand 2 ist. Hinweis: Teilen Sie das Quadrat auf. Lösung. Wir teilen das Quadrat in 4 Teilquadrate der Seitenlänge 1 auf, wobei wir den Rand der inneren Quadrate zu den Quadraten oben links und unten rechts zählen Nach dem Schubfachprinzip müssen mindestens 2 Punkte im selben Teilquadrat liegen. Der maximale Abstand innerhalb eines Teilquadrates ist gegeben durch die Länge der Diagonale, welche nach dem Satz von Pythagoras = 2 ist. Aufgabe 8. [Existenz des Umkreismittelpunktes] Formalisieren Sie die Existenz eines Umkreismittelpunktes mit Quantoren: Für jedes Dreieck gibt es einen Punkt, dessen Abstand zu allen Eckpunkten des Dreiecks gleich lang ist. Beweisen Sie die Aussage. Hinweis: Erinnern Sie sich daran, wie man den Umkreismittelpunkt konstruiert. Lösung. Sei ΔABC ein Dreieck mit Seiten a,b und c. Gesucht ist ein Punkt M mit MA = MB = MC. Seien m a,m b und m c die Mittelsenkrechten der Seiten a,b und c. Sei M der Schnittpunkt von m a und m b. Da M auf m a liegt, gilt MB = MC. Da M auf m b liegt, gilt MA = MB. Also folgt MA = MB = MC. Insbesondere muss M also auch auf der Mittelsenkrechten m c liegen. Aufgabe 9. Zeigen Sie, dass die Aussage in Aufgabe 8 falsch ist, wenn man Dreieck durch Viereck ersetzt. Lösung. Wir wählen drei Punkte A,B und C, die nicht auf einer Gerade liegen. Dann sind A,B und C die Eckpunkte des Dreiecks ΔABC. Aus Aufgabe 8 folgt, dass es einen Punkt M gibt, der denselben Abstand r zu A,B und C hat. Wir

6 8 wählen nun einen Punkt D, der nicht auf dem Umkreis von ΔABC liegt. Wir machen nun einen Widerspruchsbeweis und nehmen an, dass es einen Punkt M gibt, dessen Abstand zu A,B,C und D gleich ist. Dann müssen die Mittelsenkrechten zu AB und BC durch M gehen, also folgt M = M (denn zwei verschiedene Geraden haben höchstens einen Schnittpunkt). Dann folgt aber MD = MC = r und somit liegt D auf dem Umkreis, ein Widerspruch. Aufgabe 10. Erklären Sie den folgenden Witz. Drei Logiker kommen in eine Bar...»Wollt ihr alle ein Bier?«fragt die Kellnerin.»Weiß ich nicht«sagt der erste Logiker.»Weiß ich nicht«sagt der zweite Logiker.»Ja!«sagt der dritte Logiker. Lösung. Die Logiker haben die Frage Wollt ihr alle ein Bier als x {drei Logiker}(x will ein Bier) verstanden, d.h. die Antwort ist ja, falls jeder ein Bier will, und nein, falls mindestens einer keins will. Der erste Logiker will ein Bier, denn sonst wäre er ein Gegenbeispiel und könnte direkt nein antworten. Da der erste Weiß ich nicht sagt, weiß der zweite, dass der erste in Bier will. Da der zweite ebenfalls Weiß ich nicht sagt, weiß der dritte, dass sowohl der erste als auch der zweite ein Bier möchten. Da er selbst eines möchte, antwortet er mit ja.

Elemente der Mathematik - Winter 2016/2017

Elemente der Mathematik - Winter 2016/2017 4 Elemente der Mathematik - Winter 2016/2017 Prof. Dr. Peter Koepke, Regula Krapf Lösungen Übungsblatt 2 Aufgabe 6 (4 Punkte). Bestimmen Sie mit Hilfe von Wahrheitstafeln, welche der folgenden aussagenlogischen

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

Beweistechniken. Vorkurs Informatik - SoSe April 2014

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

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

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

Beweistechniken. Vorkurs Informatik - SoSe April 2013

Beweistechniken. Vorkurs Informatik - SoSe April 2013 Vorkurs Informatik SoSe13 09. April 2013 Wozu Beweise in der Informatik?... um Aussagen wie 1 Das Programm erfüllt die gewünschte Aufgabe. 2 Das Programm führt zu keiner Endlosschleife. 3 Zur Lösung dieser

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

Vorkurs Mathematik im Sommersemester 2018

Vorkurs Mathematik im Sommersemester 2018 Vorkurs Mathematik im Sommersemester 2018 Dr. Regula Krapf Lösungen Übungsblatt 1 Aufgabe 1. Gegeben seien folgende Aussagen: A: Es ist kalt. B: Es schneit. Drücken Sie die nachfolgenden Sätze als aussagenlogische

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017

Logik 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

Mehr

Vorkurs Mathematik - SoSe 2017

Vorkurs Mathematik - SoSe 2017 4 Vorkurs Mathematik - SoSe 2017 Regula Krapf Lösungen Übungsblatt 1 Aufgabe 1. Meiers werden uns heute abend besuchen, kündigt Frau Müller an. Die ganze Familie, also Herr und Frau Meier mit ihren drei

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

ERRATA. Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62)

ERRATA. Ü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

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

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe16 Ronja Düffel 21. März 2016 Logik und Beweise Wozu Beweise in der Informatik?... um Aussagen wie 1 Das Programm erfüllt die gewünschte Aufgabe.

Mehr

1. Übungsblatt zur Analysis I. Gruppenübungen

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

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

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2015

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2015 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe15 Ronja Düffel 23. März 2015 Logik und Beweise > Motivation Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Logik und Beweise

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

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den

Aufgaben 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

Mehr

Zusammenfassung: Beweisverfahren

Zusammenfassung: Beweisverfahren LGÖ Ks VMa 11 Schuljahr 216/217 Zusammenfassung: Beweisverfahren Inhaltsverzeichnis Teilbarkeitslehre... 1 Mathematische Sätze... 1 Bedingungen für innere Extremstellen... 3 Beweisverfahren... 3 Für Experten...

Mehr

Hausaufgaben Negation Aussagen Implikation Äquivalenz Zusammenfassung. Elementare Logik. Diskrete Strukturen. Uta Priss ZeLL, Ostfalia

Hausaufgaben 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

Mehr

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den x > 1 3x > 3 3x + 3 > 6 6x + 3 > 3x + 6.

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den x > 1 3x > 3 3x + 3 > 6 6x + 3 > 3x + 6. Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den 7.9.01 Vorkurs Mathematik WS 01/13 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht

Mehr

Brückenkurs Mathematik

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

Mehr

Logik für Informatiker. 1. Grundlegende Beweisstrategien. Viorica Sofronie-Stokkermans Universität Koblenz-Landau

Logik für Informatiker. 1. Grundlegende Beweisstrategien. Viorica Sofronie-Stokkermans Universität Koblenz-Landau Logik für Informatiker 1. Grundlegende Beweisstrategien Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Mathematisches Beweisen Mathematische ussagen - haben oft

Mehr

Das Schubfachprinzip

Das Schubfachprinzip Das Schubfachprinzip Norbert Koksch, Dresden Literatur: Beutelspacher/Zschiegner: Diskrete Mathematik für Einsteiger. Vieweg-Verlag. 1. Was ist das Schubfachprinzip? Die folgenden Aussagen sind offenbar

Mehr

Vorkurs Mathematik Logik und Beweise II

Vorkurs Mathematik Logik und Beweise II Vorkurs Mathematik Logik und Beweise II Mireille Soergel 5. Oktober 017 Diese Arbeit basiert in Teilen auf dem Beweis-Vortrag von Bärbel Jansen und Winnifred Wollner, in bearbeiteter Fassung von Casper

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

Logik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage

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

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

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

De Morgan sche Regeln

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

Mehr

Karlsruher Institut für Technologie Institut für Algebra und Geometrie

Karlsruher Institut für Technologie Institut für Algebra und Geometrie Karlsruher Institut für Technologie Institut für Algebra und Geometrie PD Dr. Stefan Kühnlein Dipl.-Math. Jochen Schröder Einführung in Algebra und Zahlentheorie Übungsblatt 9 Aufgabe 1 (4 Punkte +) Sei

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

Lehrveranstaltung: Diskrete Mathematik Übungen Blatt 2. Thomas Aichholzer

Lehrveranstaltung: Diskrete Mathematik Übungen Blatt 2. Thomas Aichholzer 13. Man verwende das Kontrapositionsgesetz p q q p um folgende Aussagen umzuformulieren: (a) Wenn heute Ostersonntag ist, dann ist morgen Ostermontag. (b) Wenn x² ungerade ist, ist auch x ungerade. Wenn

Mehr

Vorkurs Mathematik Logik und Beweise II

Vorkurs Mathematik Logik und Beweise II Vorkurs Mathematik Logik und Beweise II Philipp Dahlinger 3.Oktober 018 Diese Arbeit basiert in Teilen auf dem Beweis-Vortrag von Bärbel Jansen und Winnifred Wollner, in bearbeiteter Fassung von Casper

Mehr

Vertiefungskurs Mathematik

Vertiefungskurs Mathematik Vertiefungskurs Mathematik Anforderungen für das Universitäts-Zertifikat im Schuljahr 01/13 Grundvoraussetzung: Teilnahme am Vertiefungskurs Mathematik in Klasse 11. Inhaltliche Voraussetzungen: Aussagenlogik

Mehr

Vorkurs Mathematik für Informatiker 6 Logik, Teil 2

Vorkurs Mathematik für Informatiker 6 Logik, Teil 2 6 Logik, Teil 2 Michael Bader, Thomas Huckle, Stefan Zimmer 1. 9. Oktober 2008 Kap. 6: Logik, Teil 2 1 Aussagenformen Aussage mit Parameter (zum Beispiel x) Aussage wahr oder falsch abhängig vom Parameter

Mehr

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken Beweistechniken Ronja Düffel WS2014/15 13. Januar 2015 Warum ist Beweisen so schwierig? unsere natürliche Sprache ist oft mehrdeutig wir sind in unserem Alltag von logischen Fehlschlüssen umgeben Logik

Mehr

(Beispiel eines gleichschenkligen Dreiecks aus Gitterpunkten.)

(Beispiel eines gleichschenkligen Dreiecks aus Gitterpunkten.) Fachbereich Mathematik Tag der Mathematik 12. November 2011 Klassenstufen 9, 10 (Beispiel eines gleichschenkligen Dreiecks aus Gitterpunkten.) Aufgabe 1 (5+5+10 Punkte). Wir betrachten sechzehn Punkte

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

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

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

Vertiefungskurs Mathematik. Anforderungen für das Universitäts-Zertifikat zum Schuljahr 2016/17 (unverändert seit 2012/13)

Vertiefungskurs Mathematik. Anforderungen für das Universitäts-Zertifikat zum Schuljahr 2016/17 (unverändert seit 2012/13) Vertiefungskurs Mathematik Anforderungen für das Universitäts-Zertifikat zum Schuljahr 016/17 (unverändert seit 01/13) Grundvoraussetzung: Teilnahme am Vertiefungskurs Mathematik im Schuljahr 016/17. Inhaltliche

Mehr

10. Mathematik Olympiade 1. Stufe (Schulolympiade) Klasse 9 Saison 1970/1971 Aufgaben und Lösungen

10. Mathematik Olympiade 1. Stufe (Schulolympiade) Klasse 9 Saison 1970/1971 Aufgaben und Lösungen 10. Mathematik Olympiade Saison 1970/1971 Aufgaben und Lösungen 1 OJM 10. Mathematik-Olympiade Aufgaben Hinweis: Der Lösungsweg mit Begründungen und Nebenrechnungen soll deutlich erkennbar in logisch und

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

Lösungen der Serie 2, Schuljahr 2007/08, Klasse 11/13

Lösungen der Serie 2, Schuljahr 2007/08, Klasse 11/13 Lösungen der Serie 2, Schuljahr 2007/08, Klasse 11/13 Lösung 110706. Das Produkt einer endlichen Anzahl reeller Zahlen ist genau dann größer oder gleich 0, wenn die Anzahl der negativen Faktoren gerade

Mehr

Zusammenfassung: Beweisverfahren

Zusammenfassung: Beweisverfahren LGÖ Ks VMa 11 Schuljahr 217/218 Zusammenfassung: Beweisverfahren Inhaltsverzeichnis Teilbarkeitslehre... 1 Mathematische Sätze... 1 Bedingungen für Extremstellen und Wendestellen... 2 Beweisverfahren...

Mehr

IV Beweise in der Mathematik

IV Beweise in der Mathematik Propädeutikum 018 0. September 018 Mathematische Texte enthalten verschiedene Bezeichnungen der Sinneinheiten. Bezeichnungen in mathematischen Texten Axiome elementare Grundaussagen; werden nicht bewiesen

Mehr

1 Analytische Geometrie und Grundlagen

1 Analytische Geometrie und Grundlagen $Id: vektor.tex,v 1.39 2018/05/03 14:55:15 hk Exp $ 1 Analytische Geometrie und Grundlagen 1.5 Abstände und Winkel Nachdem wir uns am Ende der letzten Sitzung an den Orthogonalitätsbegriff der linearen

Mehr

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

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

7. Mathematik Olympiade 1. Stufe (Schulolympiade) Klasse 8 Saison 1967/1968 Aufgaben und Lösungen

7. Mathematik Olympiade 1. Stufe (Schulolympiade) Klasse 8 Saison 1967/1968 Aufgaben und Lösungen 7. Mathematik Olympiade 1. Stufe (Schulolympiade) Klasse 8 Saison 1967/1968 Aufgaben und Lösungen 1 OJM 7. Mathematik-Olympiade 1. Stufe (Schulolympiade) Klasse 8 Aufgaben Hinweis: Der Lösungsweg mit Begründungen

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

Vorkurs Beweisführung

Vorkurs Beweisführung Vorkurs Beweisführung Fachschaft Mathematik und Informatik 30.08.2013 Agenda 1 Einleitung 2 Direkter Beweis 3 Widerspruchsbeweis 4 Vollständige Induktion 5 Aussagen widerlegen 6 Gleichheit von Mengen 7

Mehr

20. Landeswettbewerb Mathematik Bayern

20. Landeswettbewerb Mathematik Bayern 20. Landeswettbewerb Mathematik Bayern Lösungsbeispiele für die Aufgaben der 2. Runde 2017/2018 Aufgabe 1 Eine Folge a0,a1,... natürlicher Zahlen ist durch einen Startwert a 0 1 und die folgende Vorschrift

Mehr

Elemente der Mathematik - Sommer 2016

Elemente der Mathematik - Sommer 2016 Elemente der Mathematik - Sommer 06 Prof. Dr. Matthias Lesch, Regula Krapf Übungsblatt 8 Aufgabe 7 (8 Punkte). Ein Parallelogramm ist ein Rechteck ABCD mit Seiten a, b, c, d wie unten dargestellt, mit

Mehr

Algorithmen und Datenstrukturen

Algorithmen und Datenstrukturen Algorithmen und Datenstrukturen Große Übung #2 Phillip Keldenich, Arne Schmidt 10.11.2016 Organisatorisches Fragen? Checkliste: Anmeldung kleine Übungen Anmeldung Mailingliste Dies ersetzt nicht die Prüfungsanmeldung!

Mehr

Hinweis: Aus Definition 1 und 2 folgt, dass die Zahl 0 zu den geraden Zahlen zählt.

Hinweis: Aus Definition 1 und 2 folgt, dass die Zahl 0 zu den geraden Zahlen zählt. Der Satz vom ausgeschlossenen Dritten. Der Satz vom ausgeschlossenen Dritten besagt, dass für jeden (wahrheitsfähigen) Satz gilt: Entweder der Satz oder seine Negation ist wahr. Wenn m. a. W. gezeigt werden

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

Figuren. Figuren. Kompetenztest. Name: Klasse: Datum:

Figuren. Figuren. Kompetenztest. Name: Klasse: Datum: Testen und Fördern Name: Klasse: Datum: 1) Welche Art Dreieck hat die beschriebene Eigenschaft? Ordne die Eigenschaften den Dreiecken zu. Alle Winkel betragen 60. Es gibt drei Symmetrieachsen. Gleichseitiges

Mehr

Brückenkurs. Beweise. Anja Haußen Brückenkurs, Seite 1/23

Brückenkurs. Beweise. Anja Haußen Brückenkurs, Seite 1/23 Brückenkurs Beweise Anja Haußen 30.09.2016 Brückenkurs, 30.09.2016 Seite 1/23 Inhalt 1 Einführung 2 Sätze 3 Beweise 4 direkter Beweis Brückenkurs, 30.09.2016 Seite 2/23 Einführung Die höchste Form des

Mehr

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

Mehr

Elemente der Mathematik - Sommer 2016

Elemente der Mathematik - Sommer 2016 Elemente der Mathematik - Sommer 2016 Prof. Dr. Matthias Lesch, Regula Krapf Lösungen Übungsblatt 9 ufgabe 31 (6 Punkte). Konstruieren Sie mit Zirkel und Lineal alle Dreiecke mit folgenden ngaben: (a)

Mehr

schreiben, wobei p und q ganze Zahlen sind.

schreiben, wobei p und q ganze Zahlen sind. Schülerinfotag 1. Man zeige, dass keine rationale Zahl ist. Das heißt lässt sich nicht als p q schreiben, wobei p und q ganze Zahlen sind. Proof. Wir werden das Prinzip Beweis durch Widerspruch verwenden.

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

Leseprobe. Michael Knorrenschild. Vorkurs Mathematik. Ein Übungsbuch für Fachhochschulen. ISBN (Buch):

Leseprobe. Michael Knorrenschild. Vorkurs Mathematik. Ein Übungsbuch für Fachhochschulen. ISBN (Buch): Leseprobe Michael Knorrenschild Vorkurs Mathematik Ein Übungsbuch für Fachhochschulen ISBN (Buch): 978-3-446-43798-2 ISBN (E-Book): 978-3-446-43628-2 Weitere Informationen oder Bestellungen unter http://www.hanser-fachbuch.de/978-3-446-43798-2

Mehr

Logische Grundlagen des Mathematikunterrichts

Logische Grundlagen des Mathematikunterrichts Logische Grundlagen des Mathematikunterrichts Referat zum Hauptseminar Mathematik und Unterricht 10.11.2010 Robert Blenk Holger Götzky Einleitende Fragen Was muss man beweisen? Woraus besteht ein Beweis?

Mehr

Lösungen Klasse 11 A B. Figur 1

Lösungen Klasse 11 A B. Figur 1 Lösungen Klasse 11 Klasse 11 1. Thomas markiert auf der Oberfläche eines Würfels einige Punkte, so dass folgende Bedingung erfüllt ist: Es gibt keine zwei Seitenflächen mit gleich vielen markierten Punkten.

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

II. Wissenschaftliche Argumentation

II. Wissenschaftliche Argumentation Gliederung I. Motivation II. Wissenschaftliche Argumentation i. Direkter Beweis ii. iii. Indirekter Beweis Beweis durch vollständige Induktion Seite 35 II. Wissenschaftliche Argumentation Ein Beweis ist

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

Die Kapitel 1 und 2.1 haben wir im Jahr 2012 behandelt. Im Zirkel am haben wir mit Kapitel 2.2 begonnen.

Die Kapitel 1 und 2.1 haben wir im Jahr 2012 behandelt. Im Zirkel am haben wir mit Kapitel 2.2 begonnen. Das vorliegende Skript beschäftigt sich mit dem Thema Elementargeometrie. Das Skript entsteht entlang einer Unterrichtsreihe in der Mathematischen Schülergesellschaft(MSG) im Schuljahr 2012/2013. Die vorliegende

Mehr

GRUNDWISSEN Seitenhalbierende Konstruktion von Vierecken [nach Lambacher Schweizer 7] [eigene Grafiken]

GRUNDWISSEN Seitenhalbierende Konstruktion von Vierecken [nach Lambacher Schweizer 7] [eigene Grafiken] GRUNDWISSEN Inhalt 5.Gleichungen... 2 5.1. Gleichungen und Lösungen... 2 5.2. Äquivalente Gleichungsumformungen... 2 5.3. Systematisches Lösen einer Gleichungen... 2 5.4. Lineare Gleichungen in Anwendungsaufgaben...

Mehr

Logik für Informatiker. 1. Grundlegende Beweisstrategien. Viorica Sofronie-Stokkermans Universität Koblenz-Landau

Logik für Informatiker. 1. Grundlegende Beweisstrategien. Viorica Sofronie-Stokkermans Universität Koblenz-Landau Logik für Informatiker 1. Grundlegende Beweisstrategien Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Mathematisches Beweisen Mathematische ussagen - haben oft

Mehr

21. Mathematik Olympiade 3. Stufe (Bezirksolympiade) Klasse 7 Saison 1981/1982 Aufgaben und Lösungen

21. Mathematik Olympiade 3. Stufe (Bezirksolympiade) Klasse 7 Saison 1981/1982 Aufgaben und Lösungen 21. Mathematik Olympiade 3. Stufe (Bezirksolympiade) Klasse 7 Saison 1981/1982 Aufgaben und Lösungen 1 OJM 21. Mathematik-Olympiade 3. Stufe (Bezirksolympiade) Klasse 7 Aufgaben Hinweis: Der Lösungsweg

Mehr

Schnupperkurs: Ausgewählte Methoden zur Aufgabenlösung

Schnupperkurs: Ausgewählte Methoden zur Aufgabenlösung Mathematisches Institut II.06.004 Universität Karlsruhe Priv.-Doz. Dr. N. Grinberg SS 05 Schnupperkurs: Ausgewählte Methoden zur Aufgabenlösung Vorlesung 3: Elementare Beweismethoden: Direkter Beweis,

Mehr

Übungen. Löse folgende Aufgaben mit GeoGebra

Übungen. Löse folgende Aufgaben mit GeoGebra Übungen Löse folgende Aufgaben mit GeoGebra A1 Die Fachbegriffe in den Kästchen sollen den untenstehenden Aussagen bezüglich eines Dreiecks ABC zugeordnet werden. Du darfst die Kärtchen mehrfach verwenden

Mehr

Figuren Lösungen. 1) Welche Art Dreieck hat die beschriebene Eigenschaft? Ordne die Eigenschaften den Dreiecken zu. Alle Winkel betragen 60.

Figuren Lösungen. 1) Welche Art Dreieck hat die beschriebene Eigenschaft? Ordne die Eigenschaften den Dreiecken zu. Alle Winkel betragen 60. 1) Welche Art Dreieck hat die beschriebene Eigenschaft? Ordne die Eigenschaften den Dreiecken zu. Alle Winkel betragen 60. Es gibt drei Symmetrieachsen. Gleichseitiges Dreieck Zwei Seiten stehen normal.

Mehr

Der mathematische Beweis

Der mathematische Beweis Der mathematische Beweis Im Studium wird man wesentlich häufiger als in der Schule Beweise führen müssen. Deshalb empfiehlt es sich, verschiedene Beweisverfahren intensiv zu trainieren. Beweisstruktur

Mehr

Leseprobe. Michael Knorrenschild. Vorkurs Mathematik. Ein Übungsbuch für Fachhochschulen ISBN:

Leseprobe. Michael Knorrenschild. Vorkurs Mathematik. Ein Übungsbuch für Fachhochschulen ISBN: Leseprobe Michael Knorrenschild Vorkurs Mathematik Ein Übungsbuch für Fachhochschulen ISBN: 978-3-446-42066-3 Weitere Informationen oder Bestellungen unter http://www.hanser.de/978-3-446-42066-3 sowie

Mehr

Mathematisches Argumentieren und Beweisen Beweisarten Besipiele. Hagen Knaf, WS 2014/15

Mathematisches Argumentieren und Beweisen Beweisarten Besipiele. Hagen Knaf, WS 2014/15 Mathematisches Argumentieren und Beweisen Beweisarten Besipiele Hagen Knaf, WS 2014/15 Im Folgenden sind einige der in der Vorlesung besprochenen Beispielbeweise für die verschiedenen Beweisarten aufgeführt

Mehr

1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen?

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

Mehr

47. Österreichische Mathematik-Olympiade Landeswettbewerb für Anfänger/innen Lösungen

47. Österreichische Mathematik-Olympiade Landeswettbewerb für Anfänger/innen Lösungen 47. Österreichische Mathematik-Olympiade Landeswettbewerb für Anfänger/innen Lösungen 16. Juni 016 Aufgabe 1. Man bestimme alle natürlichen Zahlen n mit zwei verschiedenen positiven Teilern, die von n

Mehr

3. Mathematik Olympiade 1. Stufe (Schulolympiade) Klasse 9 Saison 1963/1964 Aufgaben und Lösungen

3. Mathematik Olympiade 1. Stufe (Schulolympiade) Klasse 9 Saison 1963/1964 Aufgaben und Lösungen 3. Mathematik Olympiade 1. Stufe (Schulolympiade) Klasse 9 Saison 1963/1964 Aufgaben und Lösungen 1 OJM 3. Mathematik-Olympiade 1. Stufe (Schulolympiade) Klasse 9 Aufgaben Hinweis: Der Lösungsweg mit Begründungen

Mehr

47. Österreichische Mathematik-Olympiade Gebietswettbewerb für Fortgeschrittene Lösungen

47. Österreichische Mathematik-Olympiade Gebietswettbewerb für Fortgeschrittene Lösungen 47. Österreichische Mathematik-Olympiade Gebietswettbewerb für Fortgeschrittene Lösungen 31. März 016 Aufgabe 1. Man bestimme alle positiven ganzen Zahlen k und n, die die Gleichung erfüllen. k 016 = 3

Mehr

Summen- und Produktzeichen

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

Mehr

Vorkurs Beweisen

Vorkurs Beweisen Vorkurs -- 4. Beweisen.0.05 Aussageformen Aussagen können auch Parameter enthalten (z.b. x) Wahr oder falsch hängt dann vom Parameter x ab. Können natürlich auch mehrere Parameter sein. Beispiel einer

Mehr

Mathecamp Kaiserlautern 2017

Mathecamp Kaiserlautern 2017 Mathecamp Kaiserlautern 2017 Beweisstrategien Beweisstrategie 1: Vollständige Fallunterscheidung Bei dieser Beweisstrategie teilt man ein komplexes Problem (eine komplexe Aussage) in endliche viele Fälle

Mehr

LEMAMOP. Lerngelegenheiten für Mathematisches Argumentieren, Modellieren und Problem lösen. Kompetenztraining Mathematisch argumentieren.

LEMAMOP. Lerngelegenheiten für Mathematisches Argumentieren, Modellieren und Problem lösen. Kompetenztraining Mathematisch argumentieren. LEMAMOP Lerngelegenheiten für Mathematisches Argumentieren, Modellieren und Problem lösen Kompetenztraining Mathematisch argumentieren Jahrgang 8 Schülermaterial Klasse Argumente vereinbaren Blatt: 1 Datum:

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

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

Zum Einstieg. Mittelsenkrechte

Zum Einstieg. Mittelsenkrechte Zum Einstieg Mittelsenkrechte 1. Zeichne einen Kreis um A mit einem Radius r, der größer ist, als die Länge der halben Strecke AB. 2. Zeichne einen Kreis um B mit dem gleichen Radius. 3. Die Gerade durch

Mehr

40. Österreichische Mathematik-Olympiade Kurswettbewerb Lösungen

40. Österreichische Mathematik-Olympiade Kurswettbewerb Lösungen 40. Österreichische Mathematik-Olympiade Kurswettbewerb Lösungen TU Graz, 29. Mai 2009 1. Für welche Primzahlen p ist 2p + 1 die dritte Potenz einer natürlichen Zahl? Lösung. Es soll also gelten 2p + 1

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

Vorlesung. Logik und Beweise

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

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

4. Beweise 4.1: Beweisarten

4. Beweise 4.1: Beweisarten 4. Beweise 4.1: Beweisarten Hagen Knaf Prof. Dr. H. Knaf, Mathematisches Beweisen 1 Liste wichtiger Beweisarten 1. Direkter Beweis 2. Fallunterscheidung 3. Konstruktiver Beweis 4. Widerspruchsbeweis 5.

Mehr

1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente:

1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente: Lösung 1. Übung Elemente der Algebra WS018/19 1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente: (e) {(x,y) IR 7x+3y 6}.

Mehr