Zusammenfassung: Beweisverfahren

Größe: px
Ab Seite anzeigen:

Download "Zusammenfassung: Beweisverfahren"

Transkript

1 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... 5 Teilbarkeitslehre Teilen mit Rest: Sind n und t natürliche Zahlen, dann gibt es eindeutig bestimmte natürliche Zahlen k und r ( Rest ) mit n tk r und r t 1. Beispiel ( t 3 ): Für jede natürliche Zahl n gibt es eine (eindeutig bestimmte) natürliche Zahl k mit n 3k oder n 3k 1 oder n 3k 2. Definition: Sind n und t natürliche Zahlen, dann heißt n teilbar durch t, wenn es eine natürliche Zahl k gibt mit n t k. Definition: Eine natürliche Zahl heißt gerade, wenn sie durch 2 teilbar ist. Andernfalls heißt die Zahl ungerade. Merke: Eine natürliche Zahl n ist genau dann gerade (bzw. ungerade), wenn es eine natürliche Zahl k gibt mit n 2k (bzw. n 2k 1). Definition: Eine natürliche Zahl n 2 heißt eine Primzahl, wenn sie nur durch 1 und durch sich selbst teilbar ist. Satz von der eindeutigen Primfaktorzerlegung: Jede natürliche Zahl n 2 lässt sich eindeutig als ein Produkt von Primzahlen schreiben. Bemerkung: Ist die Zahl eine Primzahl, dann besteht das Produkt nur aus der Zahl selbst. Mathematische Sätze Viele mathematische Sätze sind von der Form einer Implikation A B. Dabei heißt A die Voraussetzung und B die Behauptung. Man sagt, die Behauptung B ist eine notwendige Bedingung für die Voraussetzung A, und die Voraussetzung A ist eine hinreichende Bedingung für die Behauptung B. Beispiel: Wenn eine natürliche Zahl durch 6 teilbar ist, dann ist sie durch 3 teilbar. Die Teilbarkeit durch 6 ist die Voraussetzung, und die Teilbarkeit durch 3 ist die Behauptung. Die Teilbarkeit durch 3 ist eine notwendige Bedingung für die Teilbarkeit durch 6, und die Teilbarkeit durch 6 ist eine hinreichende Bedingung für die Teilbarkeit durch 3. Umkehrsatz: Ist A B ein Satz, dann heißt der Umkehrsatz. B A zus_beweisverfahren 1/5

2 LGÖ Ks VMa 11 Schuljahr 216/217 Achtung: Der Umkehrsatz eines wahren Satzes kann wahr oder falsch sein! Kontraposition: Ist A B ein Satz, dann heißt der äquivalente Satz B A die Kontraposition. Merke: Ist B falsch, dann ist A falsch, denn wenn A wahr wäre, dann wäre B wahr. Bemerkung: Damit ist auch klar, warum man bei einem Satz A B sagt, dass B eine notwendige Bedingung für A ist, denn B muss wahr sein, damit A wahr sein kann. Achtung: Die Kontraposition ist etwas anderes als der Umkehrsatz! Satz und Umkehrsatz: Sind ein Satz A B und sein Umkehrsatz B A wahr, dann ist das äquivalent zu dem Satz A B. Bemerkung: Ein Satz A B ist äquivalent zu (A B) (B A) und damit zu (A B) ( A B). Sprechweisen für die Äquivalenz A B: B ist genau dann wahr, wenn A wahr ist (oder umgekehrt). Wenn A wahr ist, dann ist B wahr, sonst nicht (oder umgekehrt). B ist eine notwendige und hinreichende Bedingung für A (oder umgekehrt). Beispiele für Sätze und ihre Umkehrung: Satz von den Stufenwinkeln: Für Stufenwinkel und an Geraden g und h gilt g h. h g Satz von den Basiswinkeln: Für ein Dreieck mit den Seiten a und b und den gegenüberliegenden Winkeln und gilt a b. b a Satz des Pythagoras: Für ein Dreieck mit den Seiten a, b und c und dem Winkel zwischen den Seiten a und b gilt a b c. b c a Satz des Thales: Für ein Dreieck ABC mit dem Winkel bei C gilt: C liegt auf dem Thaleskreis über AB 9. A C B zus_beweisverfahren 2/5

3 LGÖ Ks VMa 11 Schuljahr 216/217 Bedingungen für innere Extremstellen Gegeben sind eine zweimal differenzierbare Funktion f und eine innere Stelle x ihrer Definitionsmenge. notwendige Bedingung: Ist f x. Die Umkehrung ist falsch bzw. die Bedingung ist nicht hinreichend. f x x ; x Gegenbeispiel: 3 x eine Extremstelle von f, dann ist erste hinreichende Bedingung: Ist f x und hat f an der Stelle x einen VZW, dann ist x eine Extremstelle von f. Die Umkehrung ist für übliche Funktionen richtig bzw. die Bedingung ist für übliche Funktionen notwendig. Näheres siehe Für Experten. f x, dann ist x eine Extremstelle von f. Die Umkehrung ist falsch bzw. die Bedingung ist nicht notwendig. f x x ; x zweite hinreichende Bedingung: Ist f x und Gegenbeispiel: 4 Bedingungen für Wendestellen: Gegeben ist eine dreimal differenzierbare Funktion f und eine innere Stelle x ihrer Definitionsmenge. Definition: Ist x eine Extremstelle der Ableitung f, dann heißt x eine Wendestelle von f, und W x f x heißt ein Wendepunkt des Graphen von f. der Punkt Da eine Wendestelle nach Definition eine innere Extremstelle der Ableitung ist, erhält man die Bedingungen für Wendestellen einfach dadurch, dass man in den Bedingungen für innere Extremstellen immer die nächsthöhere Ableitung nimmt. Entsprechend erhält man Gegenbeispiele, indem man immer die nächsthöhere x-potenz nimmt. Beweisverfahren Um zu zeigen, dass ein Satz wahr ist, muss man ihn (allgemein) beweisen. Um zu zeigen, dass ein Satz falsch ist, genügt die Angabe eines Gegenbeispiels. Direkter Beweis: Eine Implikation A B kann man beweisen, indem man aus A (und aus wahren Aussagen) B herleitet. Indirekter Beweis: Eine Implikation A B kann man beweisen, indem man die (äquivalente) Kontraposition B A beweist. zus_beweisverfahren 3/5

4 LGÖ Ks VMa 11 Schuljahr 216/217 Beweis eines Satzes und seines Umkehrsatzes: Eine Äquivalenz A B kann man beweisen, indem man getrennt (!) die Implikationen A B und B A beweist. Widerspruchsbeweis: Eine Aussage A kann man beweisen, indem man die Annahme A ist falsch mithilfe wahrer Aussagen zu einem Widerspruch führt. Beispiele für Widerspruchsbeweise: Es gibt unendlich viele Primzahlen. 2 ist irrational. Summenschreibweise: Beispiel: 5 k 3 k Endwert k Startwert Term in k Beweis mit vollständiger Induktion: Eine Aussage kann man für alle natürlichen Zahlen n 1 (bzw. n n ) beweisen, indem man Folgendes beweist: 1. Induktionsanfang: Die Aussage ist wahr für n 1 (bzw. n n ). 2. Induktionsschritt ( Schluss von n auf n+1 ): Wenn die Aussage für eine natürliche Zahl n 1 (bzw. n n ) wahr ist, dann ist sie auch für n 1 wahr. Standardaufgabe: Beweise mit vollständiger Induktion, dass eine Aussage für alle natürlichen Zahlen n 1 (bzw. n n ) gilt. Lösung: Induktionsanfang: n 1 (bzw. n n ): Zeige, dass die Aussage mit 1anstatt n ( bzw.mit n anstatt n) wahr ist. Induktionsschritt: Sei n 1 (bzw. n n ). Induktionsannahme: Notiere die Aussage mit n. Zeige: Notiere die Aussage mit n+1 anstatt n. Das geht so: Beweise die Aussage mit n+1 unter Verwendung der Induktionsannahme. Bei Das geht so muss die Aussage mit n 1 auf die Aussage mit n zurückgeführt werden, um die Induktionsannahme ins Spiel zu bringen. Dafür gibt es unter anderem folgende Möglichkeiten: bei Summen: n1 k n a a a bei Aussagen über Potenzen: bei Ableitungen: k k k1 k n 1 n a a a n1 f x f x n Jetzt kann die Induktionsannahme verwendet werden. Kennzeichne die Stelle, an der dies geschieht. zus_beweisverfahren 4/5

5 LGÖ Ks VMa 11 Schuljahr 216/217 Definition: Der Betrag einer reellen Zahl x ist x x x für x für x Beweis durch vollständige Fallunterscheidung: Eine Gleichung bzw. Ungleichung, in der Beträge auftreten, kann man beweisen, indem man für jeden auftretenden Betrag die Fälle unterscheidet. dann ist dann ist und Beispiel (Dreiecksungleichung): Für alle reellen Zahlen x und y gilt x y x y. Unterscheide folgende Fälle: Fall x und y (dann ist zwangsläufig x y ) Fall x und y : Unterfall x y Unterfall x y Fall x und y : Unterfall x y Unterfall x y Fall x und y (dann ist zwangsläufig x y ) Bemerkung: Der dritte Fall ist analog zum zweiten Fall, da die Dreiecksungleichung in x und y symmetrisch ist. Für Experten Unübliche Funktionen : Eine Funktion f ist in einer Umgebung einer Stelle x üblich, wenn die Ableitung f in einem Intervall x ; x nur positive oder nur negative Werte hat und in einem Intervall x; x nur positive oder nur negative Werte hat. Hinreichend dafür ist, dass f in jeder Umgebung von x höchstens endlich viele Nullstellen hat. Beispiele für unübliche Funktionen: a) konstante Funktion f 2 1 x sin 1 für x b) f x x für x Andere Form des Widerspruchsbeweises: Eine Implikation A B kann man beweisen, indem man die Annahme A B (das ist die Verneinung von A B) mithilfe wahrer Aussagen zu einem Widerspruch führt. zus_beweisverfahren 5/5

Zusammenfassung: Differenzialrechnung 2

Zusammenfassung: Differenzialrechnung 2 LGÖ Ks M 11 Schuljahr 17/18 Zusammenfassung: Differenzialrechnung Inhaltsverzeichnis Etrem- und Wendepunkte... 1 Etremwertprobleme... 8 Etrem- und Wendepunkte Definition: Ist eine reelle Zahl, dann heißt

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

aus der Bedingung/Annahme A folgt ein Widerspruch ), so ist A falsch!

aus der Bedingung/Annahme A folgt ein Widerspruch ), so ist A falsch! Bemerkungen: 1 Die Bedeutung von (und damit ) ist klar. wird oft, vor allem in Beweisen, auch als geschrieben (im Englischen: iff, if and only if). 2 Für zwei boolesche Aussagen A und B ist A B falsch

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

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

Beispiel 27 (Beweis durch Widerspruch) Satz 28 3 ist irrational, d. h. Beweis: Widerspruchsannahme: 3 Q.

Beispiel 27 (Beweis durch Widerspruch) Satz 28 3 ist irrational, d. h. Beweis: Widerspruchsannahme: 3 Q. Beispiel 27 (Beweis durch Widerspruch) Wir nehmen an, dass die zu zeigende Aussage falsch ist und führen diese Annahme zu einem Widerspruch. Satz 28 3 ist irrational, d. h. 3 / Q. Beweis: Widerspruchsannahme:

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

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

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Hinweise zur Logik Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Im folgenden soll an einige Grundsätze logisch korrekter Argumentation erinnert werden. Ihre Bedeutung

Mehr

Logik in der Schule. Bildungsplan 2004 (Zitat:) Begründen. Elementare Regeln und Gesetze der Logik kennen und anwenden

Logik in der Schule. Bildungsplan 2004 (Zitat:) Begründen. Elementare Regeln und Gesetze der Logik kennen und anwenden 1 Nr.2-21.04.2016 Logik in der Schule Bildungsplan 2004 (Zitat:) Begründen Elementare Regeln und Gesetze der Logik kennen und anwenden Begründungstypen und Beweismethoden der Mathematik kennen, gezielt

Mehr

Kapitel 11 Beweisführung. Mathematischer Vorkurs TU Dortmund Seite 125 / 254

Kapitel 11 Beweisführung. Mathematischer Vorkurs TU Dortmund Seite 125 / 254 Kapitel 11 Beweisführung Kapitel 11 Beweisführung Mathematischer Vorkurs TU Dortmund Seite 125 / 254 Kapitel 11 Beweisführung Grundsätzlich: ein mathematischer Satz ist eine Aussage der Form wenn... gilt,

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

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

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

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

Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 1

Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 1 Grundbegriffe der Informatik Musterlösung zu Aufgabenblatt 1 Aufgabe 1.1 ( Punkte) Schreiben Sie die Definitionen von Injektivität und Surjektivität einer Funktion als prädikatenlogische Formeln auf. Lösung

Mehr

Theorie der Informatik

Theorie der Informatik Theorie der Informatik 2. Beweistechniken Malte Helmert Gabriele Röger Universität Basel 18. Februar 2015 Beweis Beweis Ein Beweis leitet die Korrektheit einer mathematischen Aussage aus einer Menge von

Mehr

2.1 Direkter Beweis. Theorie der Informatik. Theorie der Informatik. 2.1 Direkter Beweis. 2.2 Indirekter Beweis

2.1 Direkter Beweis. Theorie der Informatik. Theorie der Informatik. 2.1 Direkter Beweis. 2.2 Indirekter Beweis Theorie der Informatik 18. Februar 2015 2. Beweistechniken Theorie der Informatik 2. Beweistechniken 2.1 Direkter Beweis Malte Helmert Gabriele Röger 2.2 Indirekter Beweis Universität Basel 18. Februar

Mehr

Technische Universität München Zentrum Mathematik Mathematik 1 (Elektrotechnik) Übungsblatt 1

Technische Universität München Zentrum Mathematik Mathematik 1 (Elektrotechnik) Übungsblatt 1 Technische Universität München Zentrum Mathematik Mathematik 1 (Elektrotechnik) Prof. Dr. Anusch Taraz Dr. Michael Ritter Übungsblatt 1 Hausaufgaben Aufgabe 1.1 Zeigen Sie mit vollständiger Induktion:

Mehr

Zusammenfassung: Differenzialrechnung 1

Zusammenfassung: Differenzialrechnung 1 LGÖ Ks M Schuljahr 7/8 Zusammenfassung: Differenzialrechnung Inhaltsverzeichnis Aufgabenformulierungen Gleichungen Graphen, Trigonometrie und Geraden Ableitung Ableitungsregeln, höhere Ableitungen 3 Kettenregel

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

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

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

Fachwissenschaftliche Grundlagen

Fachwissenschaftliche Grundlagen Fachwissenschaftliche Grundlagen Vorlesung im Wintersemester 2011/2012, Universität Landau Roland Gunesch 9. Vorlesung Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 9. Vorlesung 1 / 17 Themen

Mehr

Mengenlehre. Aufgaben mit Lösungen

Mengenlehre. Aufgaben mit Lösungen Mengenlehre Aufgaben mit Lösungen Inhaltsverzeichnis 1 Hilfsmittel 1 1. Zahlenmengen........................................ 1 2. Symbole........................................... 1 3. Intervalle: Schreibweise...................................

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

WS 2009/10. Diskrete Strukturen

WS 2009/10. Diskrete Strukturen WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910

Mehr

Musterlösung zum Weihnahchtsübungsblatt. Teil 1 von Martin Fabricius. Aufgabe 1

Musterlösung zum Weihnahchtsübungsblatt. Teil 1 von Martin Fabricius. Aufgabe 1 Musterlösung zum Weihnahchtsübungsblatt Teil von Martin Fabricius Aufgabe a) Diese Aufgabe kann z. B. durch ausmultiplizieren gelöst werden: (433) 7 = 4 7 3 +3 7 + 7 +3 7 0 = 4 343+3 49+ 7+3 = 37+47+4+3

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

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

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

3 Primzahlen. j,... stets Primzahlen. 3.1 Satz. Jedes a > 1 ist als Produkt von Primzahlen darstellbar (Primfaktorzerlegung. n=1

3 Primzahlen. j,... stets Primzahlen. 3.1 Satz. Jedes a > 1 ist als Produkt von Primzahlen darstellbar (Primfaktorzerlegung. n=1 3 Primzahlen Die Zahl 1 hat nur einen positiven Teiler, nämlich 1. Jede Zahl a > 1 hat mindestens zwei positive Teiler: 1 und a. Definition. Eine Primzahl ist eine Zahl a > 1, welche nur die Teiler 1 und

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

6 Polynomielle Gleichungen und Polynomfunktionen

6 Polynomielle Gleichungen und Polynomfunktionen 6 Polynomielle Gleichungen und Polynomfunktionen Lineare Gleichungen Eine lineare Gleichung in einer Variablen ist eine Gleichung der Form ax + b = cx + d mit festen Zahlen a und c mit a c. Dies kann man

Mehr

Mathematische Grundlagen der Ökonomie Übungsblatt 8

Mathematische Grundlagen der Ökonomie Übungsblatt 8 Mathematische Grundlagen der Ökonomie Übungsblatt 8 Abgabe Donnerstag 7. Dezember, 0:5 in H 5+7+8 = 20 Punkte Mit Lösungshinweisen zu einigen Aufgaben 29. Das Bisektionsverfahren sucht eine Nullstelle

Mehr

Beweistechniken. Beweistechniken. Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/ Oktober Vorsemesterkurs WS 2013/1

Beweistechniken. Beweistechniken. Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/ Oktober Vorsemesterkurs WS 2013/1 Beweistechniken Beweistechniken Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/14 7. Oktober 2013 Beweistechniken > Motivation Wozu Beweise in der Informatik?... um Aussagen wie 1 Das

Mehr

Vollständige Induktion

Vollständige Induktion Kantonsschule Olten Hardwald 4600 Olten Vollständige Induktion Andreas Stoll Andreas Pulfer Erfänzungsfach Anwendungen der Mathematik (2017/18) 1 Beweisen 1.1 Axiome und Prämissen Bei einem Beweis wird

Mehr

2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises

2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises 2 Der Beweis Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises Satz und Beweis Ein mathematischer Satz besteht aus einer Voraussetzung und einer Behauptung. Satz und Beweis Ein mathematischer

Mehr

Leitfaden. a ist Vielfaches von d und schreiben verkürzt: d a. Ist d kein Teiler von a, so schreiben wir auch: d a. d teilt a oder

Leitfaden. a ist Vielfaches von d und schreiben verkürzt: d a. Ist d kein Teiler von a, so schreiben wir auch: d a. d teilt a oder Algebra und Zahlentheorie Vorlesung Algebra und Zahlentheorie Leitfaden 1 Zahlentheorie in Z Bezeichnungen: Z := {..., 3, 2, 1, 0, 1, 2, 3,...} (ganze Zahlen) und N := {1, 2, 3,...} (natürliche Zahlen

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-Vorkurs für Informatiker Aussagenlogik 1

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

Mehr

Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden:

Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden: Übungsaufgaben 1. Aufgabe 1 Welcher der folgenden Sätze ist eine Aussage, welcher eine Aussageform, welcher ist keines von beiden: a. x ist eine gerade Zahl. Aussageform b. 10 ist Element der Menge A.

Mehr

23 Konvexe Funktionen und Ungleichungen

23 Konvexe Funktionen und Ungleichungen 23 Konvexe Funktionen und Ungleichungen 231 Konvexe Funktionen 232 Kriterien für Konvexität 233 Streng konvexe Funktionen 235 Wendepunkte 237 Ungleichung von Jensen 2310 Höldersche Ungleichung 2311 Minkowskische

Mehr

Tutorium: Diskrete Mathematik

Tutorium: Diskrete Mathematik Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 01.12.2017 (Teil 1) 22. November 2017 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler 22. November 2017

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

Vollständige Induktion

Vollständige Induktion Angenommen, wir wollen zeigen, dass eine Aussage P(n) für alle n N wahr ist. Anders ausgedrückt: Es gilt n N : P(n) Hierzu können wir die Technik der vollständigen Induktion verwenden. Wir zeigen, dass

Mehr

8 Summen von Quadraten

8 Summen von Quadraten 8 Summen von Quadraten A. Summen von zwei Quadraten. Sei p eine Primzahl. Beispiele. = 1 + 1, 5 = 1 +, 13 = + 3 Aber 3 und 7 sind nicht Summen von zwei Quadraten. 8.1 Satz. Genau dann ist p Summe von zwei

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

Schulstoff. Übungen zur Einführung in die Analysis. (Einführung in das mathematische Arbeiten) Sommersemester 2010

Schulstoff. Übungen zur Einführung in die Analysis. (Einführung in das mathematische Arbeiten) Sommersemester 2010 Übungen zur Einführung in die Analysis (Einführung in das mathematische Arbeiten) Sommersemester 010 Schulstoff 1. Rechnen mit Potenzen und Logarithmen 1. Wiederholen Sie die Definiton des Logarithmus

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

2 Rationale und reelle Zahlen

2 Rationale und reelle Zahlen 2 Rationale und reelle Zahlen 2.1 Körper Ein Körper ist eine Struktur der Form à = (K,0,1,+, mit einer Grundmenge K, zwei zweistelligen Operationen + und, für die die Körperaxiome gelten: (K1 (K, 0, +

Mehr

Themen: Kubische Gleichungen, Ungleichungen, Induktion

Themen: Kubische Gleichungen, Ungleichungen, Induktion Lo sungen zu U bungsblatt Mathematik fu r Ingenieure Maschinenbauer und Sicherheitstechniker), 1. Semester, bei Prof. Dr. G. Herbort im WiSe1/14 Dipl.-Math. T. Pawlaschyk, 05.11.1 Themen: Kubische Gleichungen,

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

Funktionen untersuchen

Funktionen untersuchen Funktionen untersuchen Mögliche Fragestellungen Definition: lokale und globale Extrema Monotonie und Extrema Notwendige Bedingung für Extrema Hinreichende Kriterien, Vergleich Krümmungsverhalten Neumann/Rodner

Mehr

b liegt zwischen a und c.

b liegt zwischen a und c. 2 DIE ANORDNUNGSAXIOME 5 (2.4) a, b, c R : (a < b 0 < c) ac < bc Monotoniegesetz der Multiplikation Bezeichnungen a > b : b < a (> wird gelesen: größer als ) a b : a < b oder a = b a b : a > b oder a =

Mehr

3.3 Linkskurve, Rechtskurve Wendepunkte

3.3 Linkskurve, Rechtskurve Wendepunkte 166 FUNKTIONSUNTERSUCHUNGEN 3.3 Linkskurve, Rechtskurve Wendepunkte Einführung (1) Anschauliche Erklärung des Begriffs Wendepunkt Bei Motorradrennen lässt sich beobachten, wie sich die Motorradfahrer beim

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

, a n 2. p(x) = a n x n + a n 1. x n a 2 x 2 + a 1 x + a 0. reelles Polynom in der Variablen x vom Grad n. Man schreibt deg p(x) = n

, a n 2. p(x) = a n x n + a n 1. x n a 2 x 2 + a 1 x + a 0. reelles Polynom in der Variablen x vom Grad n. Man schreibt deg p(x) = n . Graphen gebrochen rationaler Funktionen ==================================================================. Verhalten in der Umgebung der Definitionslücken ------------------------------------------------------------------------------------------------------------------

Mehr

Kapitel 3: Die Sätze von Euler, Fermat und Wilson. 8 Der Satz von Euler

Kapitel 3: Die Sätze von Euler, Fermat und Wilson. 8 Der Satz von Euler Kapitel 3: Die Sätze von Euler, Fermat und Wilson In diesem Kapitel wollen wir nun die eulersche -Funktion verwenden, um einen berühmten Satz von Euler zu formulieren, aus dem wir dann mehrere interessante

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

Folgen und Reihen. Mathematik-Repetitorium

Folgen und Reihen. Mathematik-Repetitorium Folgen und Reihen 1.1 Vollständige Induktion 1.2 Zahlenfolgen 1.3 Eigenschaften konvergenter Zahlenfolgen 1.4 Konvergenzkriterien 1.5 Unendliche Reihen 1.6 Eigenschaften unendlicher Reihen 1.7 Rechnen

Mehr

Kapitel 2: Multiplikative Funktionen. 3 Multiplikative Funktionen. Definition 2.1 (arithmetische Funktion, (vollständig) multiplikative Funktion)

Kapitel 2: Multiplikative Funktionen. 3 Multiplikative Funktionen. Definition 2.1 (arithmetische Funktion, (vollständig) multiplikative Funktion) Kapitel 2: Multiplikative Funktionen 3 Multiplikative Funktionen Definition 2.1 (arithmetische Funktion, (vollständig) multiplikative Funktion) (a) Eine Funktion α : Z >0 C heißt arithmetisch (oder zahlentheoretisch).

Mehr

HEUTE. Regeln für Programmabnahmen! Wiederholung: Regeln für Übungs- und Programmieraufgaben! Beweistechniken: vollständige Induktion, Widerspruch

HEUTE. Regeln für Programmabnahmen! Wiederholung: Regeln für Übungs- und Programmieraufgaben! Beweistechniken: vollständige Induktion, Widerspruch 04.11.05 1 HEUTE 04.11.05 3 Regeln für Programmabnahmen! Wiederholung: Regeln für Übungs- und Programmieraufgaben! Beweistechniken: vollständige Induktion, Widerspruch die Rundungsfunktionen und modulo

Mehr

2. Teilbarkeit. Euklidischer Algorithmus

2. Teilbarkeit. Euklidischer Algorithmus O. Forster: Einführung in die Zahlentheorie 2. Teilbarkeit. Euklidischer Algorithmus 2.1. Wir benutzen die folgenden Bezeichnungen: Z = {0, ±1, ±2, ±3,...} Menge aller ganzen Zahlen N 0 = {0, 1, 2, 3,...}

Mehr

Seminarvortrag aus Reiner Mathematik Existenz von Primitivwurzeln

Seminarvortrag aus Reiner Mathematik Existenz von Primitivwurzeln Seminarvortrag aus Reiner Mathematik Existenz von Primitivwurzeln Michael Kniely November 2009 1 Vorbemerkungen Definition. Sei n N +, ϕ(n) := {d [0, n 1] ggt (d, n) = 1}. Die Abbildung ϕ : N + N + heißt

Mehr

ALP I Induktion und Rekursion

ALP I Induktion und Rekursion ALP I Induktion und Rekursion WS 2012/2013 Vollständige Induktion (Mafi I) Die Vollständige Induktion ist eine mathematische Beweistechnik, die auf die Menge der natürlichen Zahlen spezialisiert ist. Vorgehensweise:

Mehr

Kapitel 3. Natürliche Zahlen und vollständige Induktion

Kapitel 3. Natürliche Zahlen und vollständige Induktion Kapitel 3 Natürliche Zahlen und vollständige Induktion In Kapitel 1 haben wir den direkten Beweis, den modus ponens, kennen gelernt, der durch die Tautologie ( A (A = B) ) = B gegeben ist Dabei war B eine

Mehr

Skriptum Konstruierbare Zahlen. Projekttage Mathematik 2007

Skriptum Konstruierbare Zahlen. Projekttage Mathematik 2007 Skriptum Konstruierbare Zahlen Projekttage Mathematik 007 c Florian Stefan und Stefan Englert Würzburg, 007 Konstruktion mit Zirkel und Lineal Gegeben sei eine Menge M von Punkten in der Zeichenebene Dann

Mehr

Vollständige Induktion

Vollständige Induktion Vollständige Induktion F. Lemmermeyer. Januar 04 Aussagen, die für alle natürlichen Zahlen gelten, kann man oft mit vollständiger Induktion beweisen. Das Vorgehen ist dabei folgendes:. Man zeigt, dass

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

Grundbegriffe und Beweismethoden der Mathematik (Vorkurs) Wintersemester 2016/2017

Grundbegriffe und Beweismethoden der Mathematik (Vorkurs) Wintersemester 2016/2017 Grundbegriffe und Beweismethoden der Mathematik (Vorkurs) Wintersemester 2016/2017 Dr. Florian Möller 5. September 2016 Inhaltsverzeichnis 1 Grundlagen 2 1.1 Natürliche und ganze Zahlen.................................

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

NEXTLEVEL im WiSe 2011/12

NEXTLEVEL im WiSe 2011/12 Fachbereich Mathematik der Universität Hamburg Dr. H. P. Kiani NEXTLEVEL im WiSe 2011/12 Vorlesung 5, Teil 2 Linearisierung, einige Eigenschaften differenzierbarer Funktionen Die ins Netz gestellten Kopien

Mehr

Vorkurs Mathematik für Naturwissenschaftler und Ingenieure

Vorkurs Mathematik für Naturwissenschaftler und Ingenieure Institut für Mathematik Vorkurs Mathematik für Naturwissenschaftler und Ingenieure Ausführliches Inhaltsverzeichnis mit thematischen Links Prof. Dr. Konrad Engel Prof. Dr. Roger Labahn {konrad.engel,roger.labahn}@uni-rostock.de

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 WS017/18 1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente: (e) {(x,y) IR 3x+4y 1}.

Mehr

Zirkel und Zahlen, Julius-Maximilians-Universität Würzburg, Juli 07. Zirkel und Zahlen

Zirkel und Zahlen, Julius-Maximilians-Universität Würzburg, Juli 07. Zirkel und Zahlen Protokoll der Projektgruppe Zirkel und Zahlen, Julius-Maximilians-Universität Würzburg, Juli 07 Zirkel und Zahlen Team: Nancy Seckel, Hans Christian Döring, Eugenio Buzzoni, Anna Thurmayer, Maximilian

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

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

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

1 x. Eine kurze Erinnerung an die Definition der Betragsfunktion:

1 x. Eine kurze Erinnerung an die Definition der Betragsfunktion: Wie rechne ich mit Ungleichungen? Die do s und don t s mit Beispielen aus der Miniklausur Lukas Steenvoort Addition und Subtraktion 1 ) Dies funktioniert ähnlich wie bei Gleichungen addieren wir denselben

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

Sätze über ganzrationale Funktionen

Sätze über ganzrationale Funktionen Sätze über ganzrationale Funktionen 1. Sind alle Koeffizienten a i ganzzahlig und ist x 0 eine ganzzahlige Nullstelle, so ist x 0 ein Teiler von a 0. 2. Haben alle Koeffizienten dasselbe Vorzeichen, so

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

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

Vorkurs Mathematik. Mirco Schultka

Vorkurs Mathematik. Mirco Schultka Vorkurs Mathematik Mirco Schultka Einleitung Liebe Abiturientinnen und Abiturienten, die folgenden Erklärungen und Übungsaufgaben sind als mathematische Vorbereitung für ein Studium der Mathematik, Biomathematik

Mehr

Grundlagen der Mathematik

Grundlagen der Mathematik Universität Hamburg Winter 2016/17 Fachbereich Mathematik Janko Latschev Lösungsskizzen 8 Grundlagen der Mathematik Präsenzaufgaben (P13) Primfaktorzerlegungen Die Primfaktorzerlegungen lauten: a) 66 =

Mehr

3 Vollständige Induktion

3 Vollständige Induktion 3.1 Natürliche Zahlen In den vorherigen Kapiteln haben wir die Menge der natürlichen Zahlen schon mehrfach als Beispiel benutzt. Das Konzept der natürlichen Zahlen erscheint uns einfach, da wir es schon

Mehr

Da diese Zahlenmenge nicht unter Subtraktion abgeschlossen ist, erweitert man sie zur Menge der ganzen Zahlen

Da diese Zahlenmenge nicht unter Subtraktion abgeschlossen ist, erweitert man sie zur Menge der ganzen Zahlen Kapitel 2 Die reellen Zahlen Die reellen Zahlen werden zunächst und vorübergehend als Dezimalzahlen eingeführt. Die wichtigsten Eigenschaften werden aus dieser Darstellung hergeleitet, mit denen dann die

Mehr

Zahlentheorie I - Tipps & Lösungen. Aktualisiert: 15. Oktober 2016 vers Teilbarkeit

Zahlentheorie I - Tipps & Lösungen. Aktualisiert: 15. Oktober 2016 vers Teilbarkeit Schweizer Mathematik-Olympiade smo osm Zahlentheorie I - Tipps & Lösungen Aktualisiert: 15. Oktober 2016 vers. 1.2.0 1 Teilbarkeit Einstieg 1.1 Zeige, dass 900 ein Teiler von 10! ist. Tipp: Schreibe 900

Mehr

Zur Ästhetik mathematischer Beweisführung

Zur Ästhetik mathematischer Beweisführung Zur Ästhetik mathematischer Beweisführung Jens-Peter M. Zemke zemke@tu-harburg.de Institut für Numerische Simulation Technische Universität Hamburg-Harburg 23.10.2006 TUHH Jens-Peter M. Zemke Zur Ästhetik

Mehr

TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik

TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik Prof. Dr. Oliver Matte Max Lein Zentralübung Mathematik für Physiker 2 Analysis ) Wintersemester 200/20 Lösungsblatt 5 2..200) 32. Häufungspunkte Sei a

Mehr

Vollständige Induktion

Vollständige Induktion 30. September 008 Gliederung 1 3 4 Die Peano Axiome für die Menge der Natürlichen Zahlen N I. 0 ist eine natürliche Zahl, d.h. 0 N. II. Jede natürliche Zahl hat genau einen Nachfolger d.h. n : (n N! n

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

Ferienkurs Analysis 1: Übungsblatt 1

Ferienkurs Analysis 1: Übungsblatt 1 Ferienkurs Analysis : Übungsblatt Marta Krawczyk, Andreas Schindewolf, Simon Filser 5.3.00 Aufgaben zur vollständigen Induktion. Verallgemeinerte geometrische Summenformel. Zeigen Sie mittels vollständiger

Mehr

Folgen und endliche Summen

Folgen und endliche Summen Kapitel 2 Folgen und endliche Summen Folgen und ihre Eigenschaften Endliche arithmetische und geometrische Folgen und Reihen Vollständige Induktion Anwendungen Folgen/endliche Summen Eigenschaften Folgen

Mehr

Vorlesung. Beweise und Logisches Schließen

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

Mehr