Elementare Beweismethoden

Größe: px
Ab Seite anzeigen:

Download "Elementare Beweismethoden"

Transkript

1 Elementare Beweismethoden Christian Hensel Inhaltsverzeichnis Vortrag zum Thema Elementare Beweismethoden im Rahmen des Proseminars Mathematisches Problemlösen 1 Einführung und wichtige Begriffe 1 Direkter Beweis 3 Widerspruchsbeweis - indirekter Beweis 4 4 Vollständige Induktion 6 1 Einführung und wichtige Begriffe Bevor die verschiedenen Beweismethoden dargestellt und an Hand von Beispielen erklärt werden, möchte ich zunächst einige Definitionen erläutern Somit kann im Folgenden die Beweisführung besser verstanden werden Ein Axiom ist die Grundlage aller Beweise auf einem Gebiet Es handelt sich um einen unbeweisbaren Satz Beispielsweise wird im Dezimalzahlensystem ohne Beweis hingenommen, dass = gilt[1] Seien A und B zwei mathematische Aussagen, dann schreiben wir A B, wenn wir aus A folgt B ausdrücken wollen Dies bezeichnen wir als Implikation [, S 4] Gilt die Implikation in beide Richtungen, also A B und B A, so schreiben wir auch A B Hier sprechen wir dann von Äquivalenz [, S 4] 1

2 Die Negation einer Aussage A wird mit A bezeichnet und als nicht A gesprochen Hat A also den Wahrheitsgehalt w, so hat A den Wahrheitsgehalt f und umgekehrt [, S 3] Wann ist eine Behauptung bewiesen? Sei {A 1,, A n } eine Menge von Axiomen und X eine Behauptung Dann ist in der Mathematik die Behauptung X bewiesen, wenn eine endliche Kette von logisch korrekten Implikationen {A 1,, A n } B 1 B m X [ ] zu der Behauptung X führt [3, S 7] Anstatt einer Kette mit logisch korrekten Implikationen sehen wir auch oft eine Kette von logisch äquivalenten Behauptungen X C 1 C m {A 1,, A n } (1) Diese Kette beginnt mit einer Behauptung X und endet mit einer Menge {A 1,, A n } von Axiomen Die Kette (1) ist für die Beweisführung hinreichend, jedoch nicht notwendig, da für die Beweisführung lediglich die Implikation in der Richtung Axiome Behauptung gebraucht werden Wichtig bei einer Äquivalenzkette ist, dass es sich bei allen Kettenelementen um Äquivalenzen handelt [3, S 7] Dies zeigt das folgende Beispiel 1 = Behauptung X fehlende Äquivalenz = ( ) 4 }{{ = 4} Axiom () Direkter Beweis Ein direkter Beweis liegt vor, wenn die Implikationskette übersichtlich ist und gut nachvollzogen werden kann Weiter werden hierbei keine besonderen Techniken verwendet [3, S 7] Beispiel 1 Wir wollen folgenden Satz aus der Analysis I Vorlesungen stückweise beweisen: Seien (a n ) n N und (b n ) n N zwei konvergente Folgen mit den Grenzwerten lim n (a n) = a und lim n (b n) = b Dann konvergiert auch die Folge (a n + b n ) n N 1 Entnommen aus [3, S 7] Beispiel und Definition entnommen aus [, S ]

3 Zunächst sollten wir uns dazu die Definition der Folgenkonvergenz ins Gedächtnis rufen Sie lautet: Eine Folge a n heißt konvergent gegen a, falls gilt: Für alle ɛ > 0 existiert ein n 0 N mit der Eigenschaft a n a < ɛ für alle n n 0 Hierbei bezeichnet a den Grenzwert der Folge Um zunächst einmal die Definition richtig verstehen zu können betrachten wir die Folge (a n ) n N = 1 1 n Diese Folge besitzt offensichtlich den Grenzwert a mit a = lim 1 1 n n = 1 und ist somit konvergent Zur Veranschaulichung wählen wir ɛ = 0, 1 als Abstand zum Grenzwert a 1 1 (an) n N (a n ) n N = 1 1 n ɛ-umgebung von a ɛ-umgebung von a Grenzwert a n Abbildung 1: Veranschaulichung der Folgendefinition Wir erkennen, dass n 0 = 11 gilt Für n n 0 erhalten wir a n a < ɛ Nun wollen wir obigen Satz aber auch korrekt beweisen Nach Voraussetzung existieren n 1, n N mit Nun gilt für alle n max {n 1, n } a n a < ɛ n n 1 und b n b < ɛ n n ɛ = ɛ + ɛ > a n a + b n b a n a + b n b = a n + b n (a + b) Hierbei ist die erste Ungleichung nach Voraussetzung erfüllt Die zweite Ungleichung wird durch die Dreicksungleichung erfüllt Hierbei handelt es sich um einen Satz aus der Geometrie, der besagt, dass eine Dreiecksseite höchstens so lang wie die Summe der beiden anderen Seiten ist Wegen ɛ > a n + b n (a + b) ist die Summe zweier konvergenten Folgen somit auch konvergent 3

4 Beispiel 3 In einer Aufgabe soll gezeigt werden, dass (a + b) = a + ab + b gilt Zunächst betrachten wir hier zwei Axiome A 1 und A, nämlich das Distributivgesetz A 1, für das gilt: (a + b) x = ax + bx und (a + b) y = ay + by, sowie das Kommutativgesetz A, für das gilt: xy = yx Damit erhalten wir folgende transparente Implikationskette Beispiel 3 4 (a + b) = (a + b) (a + b) x = a (a + b) + b (a + b) y 1 y = a + ab + ba Axiom A +b = a + ab + b Hier soll bewiesen werden, dass für x, y > 0 die Ungleichung x+y xy 1 x + gilt 1 y Betrachten wir zunächst das Axiom A 3 mit ( u) = u Dann gilt z 0 für alle reelle Zahlen z Mit z = x y erhält man: ( ) x y 0 x xy + y 0 x + y xy x + y A 1, A xy Die erste Ungleichung ist also gezeigt Wir erhalten die zweite Ungleichung wie folgt: xy = xy xy xy x + y = 1 x + 1 y 3 Widerspruchsbeweis - indirekter Beweis Bei einem Widerspruchsbeweis handelt es sich um eine endliche Kette von logisch korrekten Implikationen X B 1 B m W = A, (3) an deren Anfang die Negation eine Behauptung X steht und am Ende ein Widerspruch, also die Negation A eines Axioms [3, S 9] Hierbei ist zu beachten, dass entweder die Aussage X oder die Aussage X richtig sein muss Außerdem muss X die vollständige Negation der Aussage X sein Eine Teilnegation ist nicht möglich[3, S 10] 3 Entnommen aus [3, S 7] 4 Entnommen aus [3, S 8] 5 Entnommen aus [3, S 10] 6 Entnommen aus [3, S 10] 4

5 Tabelle 1: Verschiedene Beispiele 6 zu richtigen und falschen Negationen Behauptung X richtige Negation falsche Negation Alle Schafe sind schwarz Nicht alle Schafe sind schwarz Alle Schafe sind nicht schwarz Jede Zahl ist gerade Nicht jede Zahl ist gerade Jede Zahl ist ungerade A hat einen Sohn A hat keinen Sohn A hat eine Tochter i i ist rational i i ist nicht rational i i ist irrational Beispiel 4 7 Die Behauptung X = Es gibt unendliche viele Primzahlen kann mit einem Widerspruchsbeweis gezeigt werden Die Negation dieser Behauptung lautet X = Es gibt endlich viele Primzahlen Angenommen X sei richtig und J sei die endliche Anzahl aller Primzahlen Wir listen alle Primzahlen 8 p 1 =, p = 3,, p J, aufsteigend auf und bilden deren Produkt: N = J p k = p 1 p p J k=1 N ist durch alle Primzahlen teilbar Somit ist N + 1 durch keine Primzahl teilbar und somit selbst eine Primzahl Diese Primzahl fehlt aber in der obigen Liste, da N + 1 > N p J gilt Da wir aber angenommen haben, dass die obige Liste alle Primzahlen enthält, liegt ein Widerspruch vor Also ist X falsch und daher X richtig Beispiel 5 9 Gegeben seinen drei irrationale Zahlen Jetzt wollen wir die Behauptung X = Unter diesen drei Zahlen gibt es zwei, deren Summe ebenfalls irrational ist mit einem Widerspruchsbeweis beweisen Dazu betrachten wir zunächst die Negation X = Unter den drei irrationalen Zahlen gibt es keine zwei, deren Summe irrational ist Anders ausgedrückt haben also je zwei von unseren drei Zahlen eine rationale Summe Bezeichnen wir nun unsere irrationalen Zahlen mit x, y und z, dann sind also die Summen a = y + z, b = z + x und c = x + y alle rational Jetzt gilt aber x = (z + x) + (x + y) (y + z) = b + c a Nach unserer Annahme sind die Zahlen a, b und c rational Somit muss auch x rational sein Das ist aber ein Widerspruch zu unserer Voraussetzung, dass alle drei Zahlen x, y und z irrational sind Dieser Widerspruch impliziert, dass die ursprüngliche Behauptung X richtig ist 7 Entnommen aus [3, S 10] 8 1 ist keine Primzahl 9 Entnommen aus [3, S 11] 5

6 4 Vollständige Induktion Viele Behauptungen X n, die einen abzählbaren Parameter n n 0 enthalten, etwa X n =»die Zahl n 3 1 ist durch n 1 teilbar«, lassen sich mit der Methode der vollständigen Induktion beweisen [3, S 1] Dabei werden in [3, S 1] die drei verschiedenen Schritte dargestellt: Zunächst wird bewiesen, dass eine Behauptung X für n 0 richtig ist Hierbei sprechen wir vom Induktionsanfang In einem zweiten Schritt nehmen wir an, dass für k n 0 die Behauptung X k richtig sei Wir sprechen dabei von der Induktionsvoraussetzung oder von der Induktionsannahme Abschließend muss gezeigt werden, dass die Implikation X k X k+1 richtig ist Wir sprechen vom Induktionsschritt Nach dem Induktionsprinzip ist dann X n für jedes n n 0 richtig Beispiel 6 10 Für die natürlichen Zahlen n 1 sei A n die reelle n n-matrix mit den Einträgen 1 falls i = j 1 1 falls i = j a i,j = j falls i = j sonst Nun wollen wir zeigen, dass det (A n ) = n! gilt Betrachten wir zunächst die Matrix A n Dann gilt A n = (n 1) 1 10 Klausuraufgabe I6 der Vorlesung Lineare Algebra I und II vom Frühjahr 013 6

7 Insbesondere erhalten wir det (A 1 ) = ( ) 1 = 1 = 1! und det (A ) = ( ) 1 1 = 1 ( 1) = =! 1 1 Somit ist der Induktionsanfang bewiesen Wir können also voraussetzen (Induktionsannahme), dass für ein gewisses n N die Aussagen det (A n- ) = (n )! und det (A n-1 ) = (n 1)! gelten Für den Induktionsschritt entwickeln wir nach der letzten Zeile und erhalten det (A n ) = (n 1) det det (A n-1 ) (n ) 1 Entwickeln wir die erste Determinante nun nach der letzten Spalte, so ergibt sich det (A n ) = (n 1) ( 1) det 0 + det (A n-1 ) (n 3) 1 =A n- Einsetzen der Induktionsvoraussetzung liefert also det (A n ) = (n 1) (n )! + (n 1)! = (n 1) (n 1) (n )! + (n 1)! =(n 1)! Beispiel 7 11 = (n 1)! (n 1) + (n 1)! = (n 1)! ((n 1) + 1) = (n 1)! n = n! Hier sollen wir die Summe S n der ersten n ungeraden Zahlen berechnen Offensichtlich gilt S 1 = 1, S = 4 und S 3 = 9 Folglich wollen wir beweisen, dass S n = n für jedes 11 Entnommen aus [3, S 14] 7

8 natürliche n gilt und wenden die drei oben genannten Schritte an Induktionsanfang: S 1 = 1 ist richtig Induktionsannahme: Es sei S k = k Induktionsschritt: Dann ist S k+1 = S k + (k + 1) = k + k + 1 = (k + 1) Somit ist die Formel S n = n für n = k + 1 bewiesen Beispiel 8 1 Der Satz von Moivre bezieht sich auf komplexe Zahlen und besagt, dass für jede natürliche Zahl n und jede reelle Zahl x die Beziehung (cos x + i sin x) n = cos nx + i sin nx gilt Dabei ist i = 1 die imaginäre Einheit Diesen Satz wollen wir mittels vollständiger Induktion beweisen und wenden wieder die drei oben genannten Schritte an: Induktionsanfang: Für n = 1 ist die Aussage offensichtlich richtig Induktionsannahme: Angenommen, der Satz von Moivre gelte für n = k Es sei also (cos x + i sin x) k = cos kx + i sin kx Induktionsschritt: Mit der Induktionsannahme und den trigonometrischen Additionstheoremen erhalten wir dann (cos x + i sin x) k+1 = (cos x + i sin x) k (cos x + i sin x) = (cos kx + i sin kx) (cos x + i sin x) = cos kx cos x sin kx sin x + i sin kx cos x + i cos kx sin x = cos (kx + x) + i sin (kx + x) = cos ((k + 1) x) + i sin ((k + 1) x) Somit ist die Formel für n = k + 1 bewiesen Beispiel 9 13 Das Prinzip der vollständigen Induktion ist aber nicht immer anwendbar Betrachten wir beispielsweise die Behauptung S n < 1 1 n für S n = (n 1) n Dann funktioniert der Induktionsschritt von n = k auf n = k + 1 Jedoch ist der Induktionsanfang S 1 = 1 1 < offensichtlich falsch Literatur [1] Rudolf Eisler and Joachim Ritter Historisches Wörterbuch der Philosophie Wiss Buchges, Darmstadt, lizenzausg, völlig neubearb ausg des "wörterbuchs der philosophischen begriffe" von rudolf eisler edition, 004 [] Florian Modler and Martin Kreh Tutorium Analysis 1 und Lineare Algebra 1: Mathematik von Studenten für Studenten erklärt und kommentiert Springer Spektrum, Berlin [ua], 3 aufl edition, 014 [3] Natalia Grinberg Lösungsstrategien: Mathematik für Nachdenker Deutsch, Frankfurt, M, aufl edition, Entnommen aus [3, S 19] 13 Entnommen aus [3, S 13] 8

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

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

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

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

Vorkurs: Mathematik für Informatiker

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

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

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler [email protected] 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 [email protected] mathe.stevenkoehler.de 2 c 2017 Steven Köhler Wintersemester 2017/18 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

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

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: Mathematik für Informatiker

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

Mehr

Prof. Dr. Elmar Grosse-Klönne Institut für Mathematik

Prof. Dr. Elmar Grosse-Klönne Institut für Mathematik Prof. Dr. Elmar Grosse-Klönne Institut für Mathematik Lineare Algebra Analytische Geometrie I* Übungsaufgaben, Blatt Musterlösungen Aufgabe. Es seien A, B, C Teilmengen einer Menge X. Zeige: i A B C =

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

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

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

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

Vollständige Induktion

Vollständige Induktion 30. September 008 Gliederung 1 3 4 Gliederung 1 3 4 Gliederung 1 3 4 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

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

Höhere Mathematik I für die Fachrichtung Informatik. Lösungsvorschläge zum 4. Übungsblatt

Höhere Mathematik I für die Fachrichtung Informatik. Lösungsvorschläge zum 4. Übungsblatt KARLSRUHER INSTITUT FÜR TECHNOLOGIE INSTITUT FÜR ANALYSIS Dr. Christoph Schmoeger Heiko Hoffmann WS 0/4 Höhere Mathematik I für die Fachrichtung Informatik Lösungsvorschläge zum 4. Übungsblatt Aufgabe

Mehr

Existenz unendlich vieler Primzahlen Es werden mehrere Beweise für die Existenz unendlich vieler Primzahlen vorgetragen.

Existenz unendlich vieler Primzahlen Es werden mehrere Beweise für die Existenz unendlich vieler Primzahlen vorgetragen. Seminarausarbeitung Existenz unendlich vieler Primzahlen Es werden mehrere Beweise für die Existenz unendlich vieler Primzahlen vorgetragen. Andre Eberhard Mat. Nr. 25200607 5. November 207 Inhaltsverzeichnis

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

Tutorium: Diskrete Mathematik

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

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

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

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

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

Mathematische Grundlagen (01141) SoSe 2010

Mathematische Grundlagen (01141) SoSe 2010 Mathematische Grundlagen (4) SoSe Klausur am 8.8.: Musterlösungen Aufgabe Sei n. Es gilt (+) (+)(+). Es gilt somit der Induktionsanfang. Als Induktionsannahme nehmen wir an, dass n n(n+)(n+) für ein n

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

Vorkurs: Mathematik für Informatiker

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

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

Lösung zu Serie 3. Lineare Algebra D-MATH, HS Prof. Richard Pink. Sei K ein beliebiger Körper.

Lösung zu Serie 3. Lineare Algebra D-MATH, HS Prof. Richard Pink. Sei K ein beliebiger Körper. Lineare Algebra D-MATH, HS 204 Prof. Richard Pink Lösung zu Serie 3 Sei K ein beliebiger Körper.. [Aufgabe] Sei n Z 0 eine gegebene nicht-negative ganze Zahl. Übersetzen Sie die folgenden Aussagen in eine

Mehr

Christian Rieck, Arne Schmidt

Christian Rieck, Arne Schmidt Institute of Operating Systems and Computer Networks Algorithms Group Algorithmen und Datenstrukturen Wintersemester 207/208 Übung#2, 09..207 Christian Rieck, Arne Schmidt Organisatorisches Anmeldung Mailingliste

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

Inhaltsverzeichnis. Inhaltsverzeichnis

Inhaltsverzeichnis. Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis 1 Beweistechniken 1.1 Prädikatenlogik..................................... 1. Direkter Beweis.................................... 3 1.3 Indirekter Beweis....................................

Mehr

Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark Dr. Markus Lange. Analysis 1. Aufgabenzettel 4

Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark Dr. Markus Lange. Analysis 1. Aufgabenzettel 4 Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark 08.11.2018 Dr. Markus Lange Analysis 1 Aufgabenzettel 4 Abgabe bis 14. November 2018, 19:00 Uhr Erinnerung: Die Anmeldung für den Übungsschein

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

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

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

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

Elemente der Analysis I Kapitel 3: Einführung III, Summen, Logik, Mengen, Beweise

Elemente der Analysis I Kapitel 3: Einführung III, Summen, Logik, Mengen, Beweise Elemente der Analysis I Kapitel 3: Einführung III, Summen, Logik, Mengen, Beweise Prof. Dr. Volker Schulz Universität Trier / FB IV / Abt. Mathematik 15. November 2010 http://www.mathematik.uni-trier.de/

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

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

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

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

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

Zulassungsprüfung in Mathematik

Zulassungsprüfung in Mathematik der Deutschen Aktuarvereinigung e V Hinweise: Als Hilfsmittel sind ein Taschenrechner, eine mathematische Formelsammlung sowie entsprechende Literatur zugelassen Die Gesamtpunktzahl beträgt 9 Punkte Die

Mehr

Mathematik II für Studierende der Informatik. Wirtschaftsinformatik (Analysis und lineare Algebra) im Sommersemester 2016

Mathematik II für Studierende der Informatik. Wirtschaftsinformatik (Analysis und lineare Algebra) im Sommersemester 2016 und Wirtschaftsinformatik (Analysis und lineare Algebra) im Sommersemester 2016 25. April 2016 Die Dimensionsformel Definition 3.9 Sei f : V W eine lineare Abbildung zwischen zwei K-Vektorräumen. Der Kern

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

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

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

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

Analysis I - Einige Lösungen und Ergänzungen

Analysis I - Einige Lösungen und Ergänzungen Christian-Albrechts-Universität zu Kiel Mathematisch-Naturwissenschaftliche Fakultät Mathematisches Seminar Analysis I - Einige Lösungen und Ergänzungen von Dipl.-Math. Joscha Prochno Dipl.-Math. Dennis

Mehr

Wie werden die Vorlesungen/Übungen organisiert?

Wie werden die Vorlesungen/Übungen organisiert? Wie werden die Vorlesungen/Übungen organisiert? Mein Name: Prof Vladimir Matveev Sprechstunden: nach jeder Vorlesung bzw in der Pause Homepage der Vorlesung: http://usersminetuni-jenade/~matveev/lehre/la13/

Mehr

(b) Man nennt die Menge M beschränkt, wenn sie nach oben und unten beschränkt ist.

(b) Man nennt die Menge M beschränkt, wenn sie nach oben und unten beschränkt ist. 8 Punktmengen Für die Menge M = { 1 n ; n N } ist 1 = max(m), denn 1 M und 1 n 1 für alle n N. Die Menge M besitzt aber kein Minimum, denn zu jeder Zahl x = 1 n M existiert ein y M mit y < x, etwa y =

Mehr

4.6 Beweistechniken Die meisten mathematischen Behauptungen sind von der Form

4.6 Beweistechniken Die meisten mathematischen Behauptungen sind von der Form 4.6 Beweistechniken Die meisten mathematischen Behauptungen sind von der Form A B bzw. (A 1 A k ) B. Um A B zu beweisen, können wir zeigen: 1 Unter der Annahme A können wir B zeigen (direkter Beweis).

Mehr

Donnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.

Donnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl. Unterräume und Lineare Hülle 59 3. Unterräume und Lineare Hülle Definition.1 Eine Teilmenge U eines R-Vektorraums V heißt von V, wenn gilt: Unterraum (U 1) 0 U. (U ) U + U U, d.h. x, y U x + y U. (U )

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

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

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

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

Fachwissenschaftliche Grundlagen

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

Mehr

Lösungen. 1. Klausur zur MIA: Analysis I für Mathematiker

Lösungen. 1. Klausur zur MIA: Analysis I für Mathematiker MATHEMATISCHES INSTITUT WS 006/07 DER UNIVERSITÄT MÜNCHEN Prof. Dr. M. Schottenloher Dr. S. Tappe Version 5.. Lösungen zur. Klausur zur MIA: Analysis I für Mathematiker vom 6..06 Aufgabe. ( + Punkte) a)

Mehr

Alternativ kann man auch die Differenz a n+1 a n betrachten:

Alternativ kann man auch die Differenz a n+1 a n betrachten: Aufgabe 1 Folgen auf Monotonie und Beschränktheit prüfen. a) Beschränktheit? Die Folge ( ) n N mit = n + ( 1) n ist nach unten beschränkt, denn es gilt n + ( 1) n n 1 1 für alle n N. Allerdings ist die

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

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

Vollständige Induktion. Analysis I. Guofang Wang. Universität Freiburg

Vollständige Induktion. Analysis I. Guofang Wang. Universität Freiburg Universität Freiburg 26.10.2011 Vollständige Induktion Wir unterbrechen jetzt die Diskussion der Axiome der reellen Zahlen, um das Beweisverfahren der vollständigen Induktion kennenzulernen. Wir setzen

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

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

Musterlösung. Aufgabe 1 a) Die Aussage ist falsch. Ein Gegenbeispiel ist die Funktion f : [0, 1] R, die folgendermaßen definiert ist:

Musterlösung. Aufgabe 1 a) Die Aussage ist falsch. Ein Gegenbeispiel ist die Funktion f : [0, 1] R, die folgendermaßen definiert ist: Musterlösung Aufgabe a) Die Aussage ist falsch. Ein Gegenbeispiel ist die Funktion f : [, ] R, die folgendermaßen definiert ist: f(x) := { für x R \ Q für x Q f ist offensichtlich beschränkt. Wir zeigen,

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

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

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

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

D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler. Lösung 3

D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler. Lösung 3 D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler Lösung 3 Hinweise 1. Verwenden Sie in a) für die ersten beiden Gleichungen die Eindeutigkeit des additiven Inversen (Folgerung (b)) und

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

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

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

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

Analysis für Ingenieure

Analysis für Ingenieure Analysis für Ingenieure Prof. Dr. Wolfram Koepf Universität Kassel http://www.mathematik.uni-kassel.de/~koepf SS 2011 Überblick 0. Einleitung 1. Umgang mit Mengen 2. Die natürlichen Zahlen und das Prinzip

Mehr

Lösungen zum Übungsblatt 7

Lösungen zum Übungsblatt 7 Lösungen zum Übungsblatt 7 Mirko Getzin Universität Bielefeld Fakultät für Mathematik 5. Dezember 203 Ich gebe keine Gewähr auf eine vollständige Richtigkeit der Lösungen zu den Übungsaufgaben. Das Dokument

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

Karlsruher Institut für Technologie (KIT) SS 2013 Institut für Analysis Prof. Dr. Tobias Lamm Dr. Patrick Breuning

Karlsruher Institut für Technologie (KIT) SS 2013 Institut für Analysis Prof. Dr. Tobias Lamm Dr. Patrick Breuning Karlsruher Institut für Technologie KIT SS 2013 Institut für Analysis 06.05.2013 Prof. Dr. Tobias Lamm Dr. Patrick Breuning Höhere Mathematik II für die Fachrichtung Physik 4. Übungsblatt Aufgabe 1 Bestimmen

Mehr

Induktion und Rekursion

Induktion und Rekursion Induktion und Rekursion Induktion und Rekursion Vorkurs Informatik Theoretischer Teil WS 013/14. Oktober 013 Vorkurs Informatik WS 013/14 1/1 Vollständige Induktion Vorkurs Informatik WS 013/14 /1 Ziel

Mehr

Übungsklausur Höhere Mathematik I für die Fachrichtung Physik

Übungsklausur Höhere Mathematik I für die Fachrichtung Physik Karlsruher Institut für Technologie (KIT) Institut für Analysis Prof. Dr. Tobias Lamm Dr. Patrick Breuning WS /3 6..3 Übungsklausur Höhere Mathematik I für die Fachrichtung Physik Aufgabe ((3++5) Punkte)

Mehr

11. Folgen und Reihen.

11. Folgen und Reihen. - Funktionen Folgen und Reihen Folgen Eine Folge reeller Zahlen ist eine Abbildung a: N R Statt a(n) für n N schreibt man meist a n ; es handelt sich also bei einer Folge um die Angabe der Zahlen a, a

Mehr

Topologische Grundbegriffe I. 1 Offene und Abgeschlossene Mengen

Topologische Grundbegriffe I. 1 Offene und Abgeschlossene Mengen Topologische Grundbegriffe I Vortrag zum Proseminar Analysis, 26.04.2010 Nina Neidhardt und Simon Langer Im Folgenden soll gezeigt werden, dass topologische Konzepte, die uns schon für die Reellen Zahlen

Mehr

Lösungen zum 9. Übungsblatt zur Vorlesung Höhere Mathematik II für biw/ciw/mach/mage/vt

Lösungen zum 9. Übungsblatt zur Vorlesung Höhere Mathematik II für biw/ciw/mach/mage/vt Karlsruher Institut für Technologie Institut für Algebra und Geometrie PD Dr. F. Hettlich Dr. S. Schmitt Dipl.-Math. J. Kusch Karlsruhe, den 09.06.20 Lösungen zum 9. Übungsblatt zur Vorlesung Höhere Mathematik

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

A N A L Y S I S I F Ü R T P H, U E ( ) 1. Übungstest (FR, ) (mit Lösung )

A N A L Y S I S I F Ü R T P H, U E ( ) 1. Übungstest (FR, ) (mit Lösung ) Institut für Analysis und Scientific Computing TU Wien W. Auzinger WS 05/6 A N A L Y S I S I F Ü R T P H, U E (03.088). Übungstest (FR, 6..05) (mit Lösung ) Aufgabe. a ) Wandeln Sie die periodische Dezimalzahl

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

Angewandte Mathematik und Programmierung

Angewandte Mathematik und Programmierung Angewandte Mathematik und Programmierung Einführung in das Konzept der objektorientierten Anwendungen zu mathematischen Rechnens WS 2013/14 Inhalt Übungserklärung* Beweis durch Vollständige Induktion 2

Mehr

3 Lineare Differentialgleichungen

3 Lineare Differentialgleichungen 3 Lineare Differentialgleichungen In diesem Kapitel behandeln wir die allgemeine Theorie linearer Differentialgleichungen Sie werden zahlreiche Parallelen zur Theorie linearer Gleichungssysteme feststellen,

Mehr