Fachwissenschaftliche Grundlagen

Größe: px
Ab Seite anzeigen:

Download "Fachwissenschaftliche Grundlagen"

Transkript

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

2 Themen heute Wiederholung: Indexschreibweise, insbesondere für Summen Beweisverfahren der vollständigen Induktion Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 2 / 25

3 Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 3 / 25

4 Wiederholung: Indexschreibweise (Summe) Für n, m N mit m n ist m x i := x n + x n x m 1 + x m, i=n wobei auf der rechten Seite m n + 1 Summanden stehen. Hier ist i der Summationsindex. Die Summe n enthält also n Summanden. x i Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 4 / 25

5 Wiederholung: Summe mit Indizes aufspalten Summen dürfen wir aufspalten (und zusammenfügen): Wenn n k m ist, dann gilt m i=n x i = k i=n x i + m i=k+1 x i. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 5 / 25

6 Wiederholung: Indexverschiebung Der Index darf wie folgt verschoben werden: m i=n und allgemeiner für jedes k Z: x i+1 = m+1 x i i=n+1 m i=n x i+k = m+k i=n+k x i. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 6 / 25

7 Wiederholung: Indexschreibweise (Produkt, Vereinigung, Durchschnitt) Produkt Vereinigung Durchschnitt m i=n x i := x n x n+1 x m 1 x m m M i := M n M n+1 M m 1 M m i=n m M i := M n M n+1 M m 1 M m i=n Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 7 / 25

8 Formeln mit n Wiederholung: = Diese Formel gibt es auch in der Version, wo wir nicht bei 100, sondern bei n aufhören zu zählen. Sie lautet dann: Für alle n N gilt n i = 1 n(n + 1). 2 Wie können wir so etwas beweisen? Für solche Formeln, die von n N abhängen, gibt es eine spezielle Beweismethode: vollständige Induktion. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 8 / 25

9 Beweismethode: vollständige Induktion Die Methode geht so: Wir versuchen nicht gleich, die Aussage für alle n zu beweisen. (Wäre wahr, aber es ist vielleicht zu schwierig, dies direkt zu beweisen). Zuerst zeigen wir: Die Aussage stimmt für n = 1. Das ist leicht. Dieser Schritt heiÿt Induktionsanfang. Die Aussage für n zeigen wir momentan nicht, wir setzen sie temporär voraus und nennen sie Induktionsannahme. Dann zeigen wir: Wenn die Aussage für n stimmt, dann auch für n + 1. Wobei n jetzt beliebig ist. Das ist schwerer als der Induktionsanfang, aber dennnoch leichter, als die Aussage für n + 1 zu zeigen, ohne die Aussage für n zu benutzen. Dieser Schritt heiÿt Induktionsschritt. Wir schreiben zuerst die Induktionsannahme hin, dann den Induktionsschritt. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 9 / 25

10 ... ist wie eine Leiter Das Verfahren ist wie eine Leiter hochklettern: erst auf die unterste Stufe anfangen (n = 1), dann immer wieder eine Stufe hinauf (von n nach n + 1). Auf diese Weise erreichen wir jede Stufe. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 10 / 25

11 Zwei Formeln Beispiele: Wir beweisen zuerst die Formel n 1 = n. Die Formel ist sehr einfach, gerade richtig für einen ersten Beweis. Danach beweisen wir die schwierigere Aussage von vorhin: n i = 1 n(n + 1). 2 Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 11 / 25

12 Ein erster Induktionsbeweis Wir zeigen: Satz Für alle n N gilt n 1 = n. Beweis mittels Induktion: Induktionsanfang: Die Behauptung gilt für n = 1. Zu zeigen ist: 1 1 = 1. Das ist äquivalent zu 1 = 1, was eine wahre Aussage ist. Damit ist der Induktionsanfang bewiesen. Induktionsannahme: Für ein n N sei die Behauptung n 1 = n schon gezeigt. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 12 / 25

13 Ein erster Induktionsbeweis (Fortsetzung) Induktionsschritt: Zu zeigen ist, dass aus der Induktionsannahme folgt, dass die Behauptung für n + 1 gilt, d.h. dass Beweis des Induktionsschritts: n+1 1 = = n n }{{} 1 + n+1 i=n+1 n+1 1 = n (Aufspalten der Summe) 1+1 (rechte Summe vereinfacht sich zu 1) = n + 1 (linke Summe bekannt wegen Induktionsannahme). Damit ist der Induktionsbeweis abgeschlossen. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 13 / 25

14 Ein zweiter Induktionsbeweis Wir zeigen jetzt die folgende sehr interessante Aussage. Satz Für alle n N gilt n i = 1 n (n + 1). 2 Induktionsbeweis: Induktionsanfang: Die Behauptung gilt für n = 1. Zu zeigen ist: 1 i = Das ist äquivalent zu 1 = 1, was eine wahre Aussage ist. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 14 / 25

15 Ein zweiter Induktionsbeweis (Fortsetzung) Induktionsannahme: Für ein n N sei die Behauptung n i = 1 n (n + 1) 2 schon gezeigt. Induktionsschritt: Zu zeigen ist, dass aus der Induktionsannahme folgt, dass die Behauptung für n + 1 gilt, d.h. dass n+1 i = 1 (n + 1) ((n + 1) + 1). 2 Das ist dieselbe Formel, wobei jedes n durch n + 1 ersetzt worden ist. Umformuliert: n+1 i = 1 (n + 1) (n + 2). 2 Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 15 / 25

16 Ein zweiter Induktionsbeweis (Fortsetzung) Beweis des Induktionsschritts: n+1 i = n n i + n+1 i i=n+1 (Aufspalten der Summe) = i + (n + 1) (rechte Summe vereinfacht sich zu n + 1) }{{} = 1 n(n + 1) + (n + 1) (linke Summe bekannt aus Induktionsannahme) 2 ( ) 1 = 2 n + 1 (n + 1) (Ausklammern von n + 1) = 1 2 (n + 2)(n + 1) (Ausklammern von 1 2 ) = 1 (n + 1)(n + 2) (Terme umstellen). 2 Damit ist der Induktionsbeweis abgeschlossen. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 16 / 25

17 Beweis einer Ungleichung Typische Situation: Geld auf der Bank (Guthaben oder Schulden) wird verzinst. Jedes Jahr später ist (1 + a)-mal soviel davon da. Nach n Jahren ist (1 + a) n -mal soviel da. Beispiel: Ein Kredit von 1000 Euro wird mit 7% Zinsen (a = 0,07) pro Jahr verzinst, 20 Jahre lang. Dann zurückgezahlt. Sind mehr als 2000 Euro fällig? Ja, denn schon ohne Zinseszins wären es 7% 20 = 0,07 20 = 1,40 an Zinsen. Zurückzuzahlen ist also mehr als das 2, 4-fache. Dies in Formeln ausgedrückt ist die Bernoulli-Ungleichung: n N a 0 gilt (1 + a) n 1 + n a. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 17 / 25

18 Die Bernoulli'sche Ungleichung Satz Bernoulli-Ungleichung: Hierbei bezeichnet n N a [0, [ gilt (1 + a) n 1 + n a. [0, [ := {x R x 0} die Menge der Zahlen 0 in R. (Vorsicht: ist kein Element von R, aber als Bezeichnung für kein rechter Rand taugt es.) Wir beweisen Bernoullis Ungleichung per Induktion. Induktionsbeweis: Induktionsanfang: Zu zeigen ist (1 + a) a. Wahr. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 18 / 25

19 Beweis der Bernoulli-Ungleichung (Fortsetzung) Induktionsannahme: Die Aussage (1 + a) n 1 + na sei schon gezeigt. Induktionsschritt: Wir wollen jetzt aus der Induktionsannahme folgern, dass gilt: (1 + a) n (n + 1)a. Wir rechnen: (1 + a) n+1 = (1 + a) n (1 + a) (1 + na) (1 + a) nach Induktionsvoraussetzung =1 + na + a + na 2 (Ausmultiplizieren) =1 + (n + 1)a + na (n + 1)a. Übrigens hätten wir bei jeder Zeile schreiben können (statt =). Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 19 / 25

20 Fakultät Die Fakultät von n N ist deniert als n! := n i. Äquivalent: n! : = { 1 für n = 1 (n 1)! n für n N \ {1} (eine sogenannte rekursive Denition). Aufgabe: Wieso sind diese Denitionen äquivalent? Beweisen Sie dies per Induktion. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 20 / 25

21 Fakultät und eine Ungleichung Der Induktionsanfang muss nicht bei n = 1 sein. Vielleicht gilt eine Formel ja erst für n 4. Z.B. diese: Satz Es gilt für alle n N mit n 4, dass n! > 2 n. Falsch für n = 1, n = 2 und n = 3. Induktionsbeweis: Induktionsanfang: Wir fangen hier mit n = 4 an (nicht mit n = 1). 4! > 2 4 = 24 > 16. Damit ist der Induktionsanfang gezeigt. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 21 / 25

22 Beweis Fortsetzung Induktionsvoraussetzung: Wir nehmen an, die Behauptung n! > 2 n ist gezeigt. Induktionsschritt: Wir wollen aus der Induktionsvoraussetzung folgern, dass gilt. Wir rechnen: (n + 1)! = n! (n + 1) (n + 1)! > 2 n+1 >2 n (n + 1) nach Induktionsvoraussetzung >2 n 2 denn n + 1 > 2 (sogar n + 1 5) =2 n+1. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 22 / 25

23 Fibonacci-Zahlen Die Zahlen von Leonardo da Pisa (Fibonacci): Die Zahl F n ist für n N deniert durch 1 für n = 1 F n : = 1 für n = 2 F n 1 + F n 2 für n N \ {1,2} (wieder eine rekursive Denition). Dies ist die Folge 1,1,2,3,5,8,13,21,... Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 23 / 25

24 Wachstum der Fibonacci-Zahlen Bei der Induktionsannahme können wir annehmen, dass die Behauptung für n und für alle natürlichen Zahlen kleiner n schon gezeigt ist. Satz Für alle n N gilt F n 2 n. Induktionsbeweis: Induktionsanfang: n = 1 : Die Behauptung ist wahr. n = 2: Die Behauptung ist auch wahr. (Sie sehen gleich, wieso wir zwei Fälle brauchen.) Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 24 / 25

25 Wachstum der Fibonacci-Zahlen Induktionsannahme: Wir nehmen als schon bewiesen an: F n 2 n und F n 1 2 n 1. Induktionsschritt: F n+1 = F n + F n 1 2 n + 2 n 1 <2 n + 2 n =2 n+1. Roland Gunesch (Mathematik) Fachwissenschaftliche Grundlagen 8. Vorlesung 25 / 25

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

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

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

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

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

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

Rechenregeln für Summen

Rechenregeln für Summen Rechenregeln für Summen Im Umgang mit Summen sind gewisse Regeln zu beachten. 1 Summe gleicher Summanden Betrachten wir folgende Summe: x Hier enthält x keinen Summationsindex, d.h. es wird x einfach n-mal

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

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

1 Das Prinzip der vollständigen Induktion

1 Das Prinzip der vollständigen Induktion 1 1 Das Prinzip der vollständigen Induktion 1.1 Etwas Logik Wir nennen eine Formel oder einen Satz der Alltagssprache eine Aussage, wenn sie wahr oder falsch sein kann. Die Formeln 2 = 3, 2 4, 5 5 sind

Mehr

Grundlagen der Mathematik

Grundlagen der Mathematik Universität Hamburg Winter 016/17 Fachbereich Mathematik Janko Latschev Lösungsskizzen 6 Grundlagen der Mathematik Präsenzaufgaben (P9) Die Ordnung der natürlichen Zahlen I Wir hatten in der Vorlesung

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

Hausaufgaben. zur Vorlesung. Vollständige Induktion. 1. Beweist folgende Formeln (zu beweisen ist nur die Gleichheit mit dem. i=1 (4 + i)!

Hausaufgaben. zur Vorlesung. Vollständige Induktion. 1. Beweist folgende Formeln (zu beweisen ist nur die Gleichheit mit dem. i=1 (4 + i)! WS 015/1 Hausaufgaben zur Vorlesung Vollständige Induktion 1. Beweist folgende Formeln zu beweisen ist nur die Gleichheit mit dem! -Zeichen : a 5 + + 7 + 8 + + 4 + n n 4 + i! nn+9 b 1 + + 9 + + n 1 n 1

Mehr

1 Fibonacci-Zahlen und Teilbarkeit

1 Fibonacci-Zahlen und Teilbarkeit 3. Juli 2002 Fabian Meier Fibonacci-Zahlen und Teilbarkeit Dies ist das Skript zu dem Vortrag, den ich auf der Sommerakademie 200 und 2002 gehalten habe. Fehler bitte an folgende Adresse: an@fabianmeier.de..

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

Wir wollen nun die Behauptung beweisen, dass die Laufzeit von SELECT linear ist, also dass T (n) = O(n) gilt.

Wir wollen nun die Behauptung beweisen, dass die Laufzeit von SELECT linear ist, also dass T (n) = O(n) gilt. Abschätzung für die Rekursion von SELECT Wir wollen nun die Behauptung beweisen, dass die Laufzeit von SELECT linear ist, also dass T (n) = O(n) gilt. Wir nehmen erst einmal an, dass eine Konstante d existiert,

Mehr

Fachwissenschaftliche Grundlagen

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

Mehr

Fachwissenschaftliche Grundlagen

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

Mehr

Jede beschränkte und monotone Folge (a n ) n N konvergiert, d.h. es gibt ein a R, so dass lim

Jede beschränkte und monotone Folge (a n ) n N konvergiert, d.h. es gibt ein a R, so dass lim Beispiel 3.10 ( 1) n n a n a+nd aq n 1 (a > 0) n monoton steigend d 0 q 1 nein nein streng monoton steigend d > 0 q > 1 nein nein monoton fallend d 0 0 q 1 streng monoton fallend d < 0 0 < q < 1 ja nein

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

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

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

Kapitel 1. Grundlegendes

Kapitel 1. Grundlegendes Kapitel 1 Grundlegendes Abschnitt 1.4 Vollständige Induktion Charakterisierung der natürlichen Zahlen Die Menge N 0 = {0, 1, 2, 3,...} der natürlichen Zahlen läßt sich wie folgt charakterisieren: 1. 0

Mehr

Vollständige Induktion

Vollständige Induktion Seite 1 Klaus Messner, klaus_messner@web.de Seite 2 Problem: Problem Man hat eine Aussage (z.b. eine Formel) und soll zeigen, dass diese Aussage für alle natürlichen Zahlen gilt. Beispiel: Es soll gezeigt

Mehr

= =

= = 9. Januar 2007 Arbeitsblatt 9 Übungen zu Mathematik I für das Lehramt an der Grund- und Mittelstufe sowie an Sonderschulen I. Gasser, H. Strade, B. Werner WiSe 06/07 19.12.06 Präsenzaufgaben: 1. Zu Beginn

Mehr

Vollständige Induktion

Vollständige Induktion Schweizer Mathematik-Olympiade smo osm Vollständige Induktion Aktualisiert: 1 Dezember 01 vers 100 Eine der wichtigsten Beweistechniken der Mathematik überhaupt ist die (vollständige) Induktion Wir nehmen

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

Einführung, III: Verschiedenes

Einführung, III: Verschiedenes Einführung, III: Verschiedenes.1 Summennotation... 22.2 Regeln für Summen, Newtons Binomische Formeln... 22. Doppelsummen... 2.4 Einige Aspekte der Logik... 2.5 Mathematische Beweise.... 24.6 Wesentliches

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

Vorlesung. Vollständige Induktion 1

Vorlesung. Vollständige Induktion 1 WS 015/16 Vorlesung Vollständige Induktion 1 1 Einführung Bei der vollständigen Induktion handelt es sich um ein wichtiges mathematisches Beweisverfahren, mit dem man Aussagen, die für alle natürlichen

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

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

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

Mathematischer Vorkurs

Mathematischer Vorkurs Mathematischer Vorkurs Dr. Agnes Lamacz Mathematischer Vorkurs TU Dortmund Seite 1 / 170 Vollständige Induktion Kapitel 13 Vollständige Induktion Mathematischer Vorkurs TU Dortmund Seite 117 / 170 Vollständige

Mehr

Logik für Informatiker

Logik für Informatiker Dr. Christian Săcărea Babeş Bolyai Universität, Cluj-Napoca Fachbereich Mathematik und Informatik Wintersemester 2017/2018 Lösungshinweise zur 1. Übung Logik für Informatiker Gruppenübungen: (G 1)Induktion

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

( )= c+t(n-1) n>1. Stand der Vorlesung Komplexität von Algorithmen (Kapitel 3)

( )= c+t(n-1) n>1. Stand der Vorlesung Komplexität von Algorithmen (Kapitel 3) Stand der Vorlesung Komplexität von Algorithmen (Kapitel 3) Motivation: IT gestützte Steuerung, Überwachung, Fertigung, Produktion,. : erfordert effiziente Berechnungsvorschriften Ziel: Methoden kennen

Mehr

(2 n + 1) = (n + 1) 2

(2 n + 1) = (n + 1) 2 Schülerzirkel Mathematik Fakultät für Mathematik. Universität Regensburg Induktion 0 +... Aufgaben und Lösungen Aufgabe 1 Summen von ungeraden Zahlen ). 1. Zeige durch vollständige Induktion, dass für

Mehr

Stand der Vorlesung Komplexität von Algorithmen (Kapitel 3)

Stand der Vorlesung Komplexität von Algorithmen (Kapitel 3) Stand der Vorlesung Komplexität von Algorithmen (Kapitel 3) Technische Universität München Motivation: IT gestützte Steuerung, Überwachung, Fertigung, Produktion,. : erfordert effiziente Berechnungsvorschriften

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

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

Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 26. Oktober 2017 1/35 Abbildungen Boolesche Algebra Summen- und Produktzeichen Definition

Mehr

Kapitel 1. Kapitel 1 Vollständige Induktion

Kapitel 1. Kapitel 1 Vollständige Induktion Vollständige Induktion Inhalt 1.1 1.1 Das Das Prinzip A(n) A(n) A(n+1) 1.2 1.2 Anwendungen 1 + 2 + 3 +...... + n =? 1.3 1.3 Landkarten schwarz-weiß 1.4 1.4 Fibonacci-Zahlen 1, 1, 1, 1, 2, 2, 3, 3, 5, 5,

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

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

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

Grundlagen: Algorithmen und Datenstrukturen

Grundlagen: Algorithmen und Datenstrukturen Technische Universität München Fakultät für Informatik Lehrstuhl für Effiziente Algorithmen Dr. Hanjo Täubig Tobias Lieber Sommersemester 2011 Übungsblatt 1 16. September 2011 Grundlagen: Algorithmen und

Mehr

Das Geburtstagsparadoxon

Das Geburtstagsparadoxon Das Geburtstagsparadoxon Leonard Clauÿ 16. November 2017 Inhaltsverzeichnis 1 Einführung 2 Vereinfachtes Problem ohne Schalttag mit Schalttag 3 Verallgemeinerung 4 Beweis einer unteren Schranke 5 Referenzen

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

Summenzeichen. Gymnasium Immensee Vertiefungskurs Mathematik. Bettina Bieri

Summenzeichen. Gymnasium Immensee Vertiefungskurs Mathematik. Bettina Bieri Summenzeichen Gymnasium Immensee Vertiefungskurs Mathematik Bettina Bieri 24. Juli 2011 Inhaltsverzeichnis 1 Grundlagen: Summenzeichen 1 1.1 Der Aufbau des Summenzeichens................ 1 1.1.1 Aufgaben.........................

Mehr

1 Übersicht Induktion

1 Übersicht Induktion Universität Koblenz-Landau FB 4 Informatik Prof. Dr. Viorica Sofronie-Stokkermans Dipl.-Inform. Markus Bender 0.11.01 (v1.3) 1 Übersicht Induktion 1.1 Allgemeines Unter einem induktiven Vorgehen versteht

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

Mathematik für Wirtschaftswissenschaftler

Mathematik für Wirtschaftswissenschaftler wi Wirtschaft Pearson Studium Mathematik für Wirtschaftswissenschaftler Das Übungsbuch von Nils Heidenreich, Fred Böker, Britta Schnoor 1. Auflage Mathematik für Wirtschaftswissenschaftler Heidenreich

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

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

Lineare Algebra I. Voraussetzung: Sei A ein kommutativer Ring und eine Kongruenzrelation auf A. a b a n b n.

Lineare Algebra I. Voraussetzung: Sei A ein kommutativer Ring und eine Kongruenzrelation auf A. a b a n b n. Universität Konstanz Wintersemester 2009/2010 Fachbereich Mathematik und Statistik Lösungsblatt 5 Prof Dr Markus Schweighofer 02122009 Aaron Kunert / Sven Wagner Lineare Algebra I Lösung 51: Voraussetzung:

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

Vollständige Induktion

Vollständige Induktion Vollständige Induktion Aussageformen mit natürlichen Zahlen als Parametern kann man mit vollständiger Induktion beweisen. Ist A(n) eine von n N abhängige Aussage, so sind dazu die folgenden beiden Beweisschritte

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

Fachwissenschaftliche Grundlagen

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

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

$Id: reell.tex,v /11/06 13:37:36 hk Exp $ M := {na n N} R. (n + 1)a = na + a > s a + a = s,

$Id: reell.tex,v /11/06 13:37:36 hk Exp $ M := {na n N} R. (n + 1)a = na + a > s a + a = s, $Id: reell.tex,v 1.49 2017/11/06 13:37:36 hk Exp $ 1 Die reellen Zahlen 1.4 Das Vollständigkeitsaxiom In der letzten Sitzung haben wir die Axiome der reellen Zahlen vervollständigt, insbesondere haben

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

Induktion und Rekursion

Induktion und Rekursion Mathematische Beweistechniken Vorkurs Informatik SoSe13 10. April 013 Mathematische Beweistechniken Ziel Mathematische Beweistechniken Ziel beweise, dass eine Aussage A(n) für alle n N gilt. Beispiel Für

Mehr

Logik für Informatiker

Logik für Informatiker Logik für Informatiker 1. Grundlegende Beweisstrategien: Teil 2 22.04.2012 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Organisatorisches Dienstags: M 001.

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

Analysis I für Studierende der Ingenieurwissenschaften

Analysis I für Studierende der Ingenieurwissenschaften Fachbereich Mathematik der Universität Hamburg WiSe 2015/16 Prof. Dr. M. Hinze Dr. P. Kiani Analysis I für Studierende der Ingenieurwissenschaften Lösungshinweise zu Blatt 2 Aufgabe 1: (12 Punkte) a) Beweisen

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

Universität Basel Wirtschaftswissenschaftliches Zentrum. Kombinatorik. Dr. Thomas Zehrt. Inhalt: 1. Endliche Mengen 2. Einfache Urnenexperimente

Universität Basel Wirtschaftswissenschaftliches Zentrum. Kombinatorik. Dr. Thomas Zehrt. Inhalt: 1. Endliche Mengen 2. Einfache Urnenexperimente Universität Basel Wirtschaftswissenschaftliches Zentrum Kombinatorik Dr. Thomas Zehrt Inhalt: 1. Endliche Mengen 2. Einfache Urnenexperimente 2 Teil 1 Endliche Mengen Eine endliche Menge M ist eine Menge,

Mehr

Diskrete Strukturen Kapitel 2: Grundlagen (Beweise)

Diskrete Strukturen Kapitel 2: Grundlagen (Beweise) WS 2014/15 Diskrete Strukturen Kapitel 2: Grundlagen (Beweise) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_14

Mehr

DIREKTER BEWEIS. Bei der direkten Beweismethode wird versucht, die Aussage direkt mit einem Beweis zu untermauern. n = 2k

DIREKTER BEWEIS. Bei der direkten Beweismethode wird versucht, die Aussage direkt mit einem Beweis zu untermauern. n = 2k DIREKTER BEEIS Bei der direkten Beweismethode wird versucht, die Aussage direkt mit einem Beweis zu untermauern. Augabe: Zeige: Das Quadrat einer geraden Zahl ist gerade. anders ormuliert: Ist n eine gerade

Mehr

$Id: reell.tex,v /11/07 11:22:18 hk Exp $

$Id: reell.tex,v /11/07 11:22:18 hk Exp $ $Id: reell.tex,v.4 206//07 :22:8 hk Exp $ Die reellen Zahlen.4 Das Vollständigkeitsaxiom Am Ende der letzten Sitzung hatten wir die sogenannte archimedische Eigenschaft der reellen Zahlen bewiesen, gegeben

Mehr

ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise

ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise MAA.01011UB MAA.01011PH Vorlesung mit Übung im WS 2016/17 Christoph GRUBER Günter LETTL Institut für Mathematik und wissenschaftliches

Mehr

Diskrete Strukturen I

Diskrete Strukturen I Universität Kassel Fachbereich 10/1 PD Dr. Sebastian Petersen 14.09.2017 Klausur zur Vorlesung Diskrete Strukturen I Es können maximal 40 Punkte erreicht werden. Version mit Lösungsskizze Zur Notation:

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

Induktive Beweise und rekursive Definitionen

Induktive Beweise und rekursive Definitionen Induktive Beweise und rekursive Definitionen Vorlesung Logik in der Informatik, HU Berlin 1. Übungsstunde Beweis durch vollständige Induktion über N Aufgabe 1 Zeige, dass für alle n N gilt: n 2 i = 2 n+1

Mehr

Induktion und Rekursion

Induktion und Rekursion Induktion und Rekursion Induktion und Rekursion Sommersemester 2018 Ronja Düffel 16. März 2018 Induktion und Rekursion > Mathematische Beweistechniken > Vollständige Induktion Der kleine Gauß Induktion

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

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

Inhaltsverzeichnis. Inhaltsverzeichnis

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

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. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG

Vorkurs Mathematik. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG Vorkurs Mathematik JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Lennéstraße 43, 1. OG pinger@uni-bonn.de September/Oktober 2017 JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Vorkurs Mathematik September/Oktober

Mehr

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

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

In diesem Abschnitt betrachten wir nur quadratische Matrizen mit Komponenten aus einem Körper K, also A K n n für ein n N. Wenn (mit einem n > 1)

In diesem Abschnitt betrachten wir nur quadratische Matrizen mit Komponenten aus einem Körper K, also A K n n für ein n N. Wenn (mit einem n > 1) 34 Determinanten In diesem Abschnitt betrachten wir nur quadratische Matrizen mit Komponenten aus einem Körper K, also A K n n für ein n N Wenn (mit einem n > 1) a 11 a 12 a 1n a 21 a 22 a 2n A =, (1)

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

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

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

Zahlenmengen. Bemerkung. R Menge aller Dezimalbrüche: reelle Zahlen, C = {a + i b : a, b R} mit i 2 = 1 komplexe Zahlen.

Zahlenmengen. Bemerkung. R Menge aller Dezimalbrüche: reelle Zahlen, C = {a + i b : a, b R} mit i 2 = 1 komplexe Zahlen. Zahlenmengen N = {0, 1,, 3,...} natürliche Zahlen, Z = {...,, 1, 0, 1,,...} ganze Zahlen, Q = {p/q : p Z, q N \ {0}} rationale Zahlen, R Menge aller Dezimalbrüche: reelle Zahlen, C = {a + i b : a, b R}

Mehr

Reihen/Partialsummenfolgen und vollständige Induktion. Robert Klinzmann

Reihen/Partialsummenfolgen und vollständige Induktion. Robert Klinzmann Reihen/Partialsummenfolgen und vollständige Induktion Robert Klinzmann 3. Mai 00 Reihen / Partialsummen 1 Inhaltsverzeichnis 1 Vorwort Das Prinzip der vollständigen Induktion 3 3 Herleitung der Gauß schen

Mehr

Folgen. Kapitel 2. Folgen. Peter Becker (H-BRS) Analysis Sommersemester / 543

Folgen. Kapitel 2. Folgen. Peter Becker (H-BRS) Analysis Sommersemester / 543 Kapitel 2 Folgen Peter Becker (H-BRS) Analysis Sommersemester 2016 89 / 543 Inhalt Inhalt 1 Folgen Definition kriterien in C, R d und C d Peter Becker (H-BRS) Analysis Sommersemester 2016 90 / 543 Definition

Mehr

Logik für Informatiker

Logik für Informatiker Dr. Christian Săcărea Babeş Bolyai Universität, Cluj-Napoca Fakultät für Mathematik und Informatik Wintersemester 2018/2019 Lösungshinweise zur 1. Übung Logik für Informatiker Gruppenübungen: (G 1)Induktion

Mehr

Induktive Beweise und rekursive Definitionen

Induktive Beweise und rekursive Definitionen Induktive Beweise und rekursive Definitionen Vorlesung Logik in der Informatik, HU Berlin 1. Übungsstunde Beweis durch vollständige Induktion über N Aufgabe 1 Zeige, dass für alle n N gilt: n 2 i = 2 n+1

Mehr

Serie 4 2 = 10. ) ist). Dann gilt für alle n n 0

Serie 4 2 = 10. ) ist). Dann gilt für alle n n 0 Serie 4. Aufgabe 336 Punkte) Gegeben seien zwei reelle Zahlenfolgen durch a n : 0 n, n N b n : n n, n N Bestimmen Sie die Grenzwerte a bzw. b der Folgen a n ) n N bzw. b n ) n N. Geben Sie jeweils zu gegebenem

Mehr

Lösungsvorschlag zur Übungsklausur zur Analysis I

Lösungsvorschlag zur Übungsklausur zur Analysis I Prof. Dr. H. Garcke, Dr. H. Farshbaf-Shaker, D. Depner WS 8/9 NWF I - Mathematik 9..9 Universität Regensburg Lösungsvorschlag zur Übungsklausur zur Analysis I Frage 1 Vervollständigen Sie die folgenden

Mehr

WS 2013/14. Diskrete Strukturen

WS 2013/14. Diskrete Strukturen WS 2013/14 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/ws1314

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

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