1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12)

Größe: px
Ab Seite anzeigen:

Download "1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12)"

Transkript

1 Technische Universität München Zentrum Mathematik PD Dr. Christian Karpfinger 1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12) Aufgabe 1.1: Gehen Sie die Inhalte der heutigen Vorlesung in kleinen Gruppen durch und fertigen Sie eine Zusammenfassung bzw. ein Formelblatt an. Aufgabe 1.2: Es gibt drei Verdächtige für den Raub eines Lutschers im Süßwarenladen: a,b, und c. Genau einer von ihnen hat den Lutscher gestohlen. Beim Verhör sagen Sie folgendes aus: (a) Ich war es nicht. Außerdem war ich gar nicht am Tatort. (b) Ich war es nicht. Außer mir war auch noch c am Tatort. (c) Ich war es nicht. Der Dieb ist a. b war nicht am Tatort. Finden Sie unter der Annahme, dass die Unschuldigen die Wahrheit gesagt haben, den Dieb! Wer war am Tatort, wer nicht? Hat der Dieb gelogen? Lösung mit Alltags(?)logik: Da b und c sich widersprechen (was die Anwesenheit von b am Tatort angeht) lügt einer von beiden und ist somit der Täter. Dann ist a unschuldig. Also lügt c, der behauptet, a sei der Dieb. Da c lügt ist c nicht unschuldig, also ist c der Täter. Jetzt formallogisch: Es sei T x mit x {a, b, c} die Aussage x war der Täter und Ox die Aussage x war am Tatort. Dann sind die Äußerungen der Verdächtigen wie folgt darstellbar: (a) (b) (c) T a Oa T b Ob Oc T c T a Ob ( ) Oc Der eingeklammerte Teil bei c bringt zum Ausdruck, dass c offensichtlich am Tatort war, wenn er/sie es auch nicht direkt zugibt. Dies wird im folgenden aber nicht benötigt. Die folgenden Aussagen werden laut Aufgabenstellung wahr angenommen. Erstens: Wenn x {a, b, c} unschuldig ist, sagt x die Wahrheit. Das bedeutet Zweitens: Es gibt genau einen Täter. Das ist T a T a Oa (1) T b T b Ob Oc (2) T c T c T a Ob (3) (T a T b T c) ( T a T b T c) ( T a T b T c) (4) Dies bedeutet insbesondere, dass a unschuldig ist, wenn b oder c schuldig ist: T b T c T a (5) Bevor die obige Argumentation in Logikschreibweise übertragen wird noch eine Anmerkung: Für eine beliebige Aussage A ist (A A) A

2 eine Tautologie. Also ist A A äquivalent zu A. Beweis hierzu: A w f A f w A A f w (A A) A w w Dies entspricht dem umgangssprachlichen Argument: Wenn man A annimmt und einen Widerspruch folgert, dann war die Annahme A falsch, welches beim indirekten Beweis verwendet wird. Zur formallogischen Lösung der Aufgabe: Aus (2) und (3) ersieht man die folgende wahre Implikationskette 1 T b T c T b Ob Oc T c T a Ob Ob Ob (falsch) T b T c. Der letzte Schritt ist gültig, weil eine Implikation mit falscher Prämisse immer wahr ist. Wichtig: Dass dies eine wahre Implikationskette ist, bedeutet nicht, dass die Prämisse T b T c wahr ist oder als wahr angenommen wurde, sondern nur, dass hier korrekt gefolgert wurde (möglicherweise aus etwas falschem). Setzt man A als T b T c fest, so hat man damit A A gezeigt. Dies ist äquivalent zu A. Damit ist gezeigt, dass A T b T c wahr ist. Wegen (5) ist dann auch T a wahr. Weiter hat man mit (1) und (3) die wahre Implikationskette T a T c T a Oa T c T a Ob T a T a (falsch) T a T c. Setzt man B als T a T c fest, so hat man damit B B und somit B bewiesen. Also ist B T a T c wahr, und da man T a schon gezeigt hat impliziert dies Tc. Also ist c der Dieb. Insgesamt wirkt die formallogische Lösung hier deutlich umständlicher als die zuerst angegebene alltags(?)logische. Wenn man allerdings den formallogischen Kalkül wirklich beherrscht, ist es durchaus auch möglich, die Lösung bestimmter Logikrätsel einfach auszurechnen und die Rechnung dann in die Alltagssprache zu übersetzen. Das ist insbesondere bei solchen Rätseln hilfreich, deren Formulierung absichtlich verwirrend gewählt wurde. Aufgabe 1.3: Die Einwohner von Radersi sind strikt in zwei Gruppen getrennt: Solche, die sich stets selbst rasieren und solche, die sich nur von Roberto dem Barbier rasieren lassen. Roberto rasiert 1 Eine Implikationskette hat die Form A 1 A 2... A N, wobei die A j Ausagen sind. Dies ist eine Kurzschreibweise für (A 1 A 2) (A 2 A 3)... (A N 1 A N ). Ist eine Implikationskette wahr, so ist auch die resultierende Implikation, das ist A 1 A N wahr.

3 also genau diejenigen Dorfbewohner, die sich nicht selbst rasieren. Begründen Sie, daß Roberto nicht in Radersi wohnt. Roberto wohnt nicht in Radersi, da er zu keiner der beiden Gruppen gehören kann. Wenn er zur ersten Gruppe gehörte, müßte er sich selbst rasieren. Er rasiert aber nur Einwohner, die sich nicht selbst rasieren. Also kann er sich nicht selbst rasieren und folglich nicht der ersten Gruppe angehören. Wenn er zur zweiten Gruppe gehörte, müßte er von Roberto, also von sich selbst rasiert werden. Dann würde er allerdings jemanden rasieren, der sich selbst rasiert. Dies ist ein Widerspruch nach Voraussetzung und folglich kann er auch der zweiten Gruppe nicht angehören. Aufgabe 1.4: Vertauschen Sie in den folgenden Aussagen jeweils die Reihenfolge der Quantoren und und überprüfen Sie Sinn und Richtigkeit der entstehenden Aussagen: (a) n / P {1} k / {1, n} : k n (P bezeichnet dabei die Menge aller Primzahlen), (b) N N n N : 1 n 0, 001. (a) Wir vertauschen die Quantoren und erhalten: n / P k / {1, n} : k n. Diese Aussage ist falsch: Die Zahl 4 ist keine Primzahl, und 4 wird nicht von allen Zahlen ungleich 1 und 4 geteilt. Und allgemein gilt für jede weitere Nichtprimzahl n, daß n nicht von n + 1 {1, n} geteilt wird. (b) Wir erhalten nach Vertauschen der Quantoren: N N n N : 1 n 0, 001. Diese Aussage ist nicht identisch zu der in der Aufgabenstellung, jedoch ebenso richtig. Aufgabe 1.5: Es sei f : D R eine Funktion, D ein Intervall. Man definiert: Die Funktion f ist: stetig auf D : ε > 0 x D δ > 0 : x D : x x < δ f(x) f(x ) < ε. gleichmäßig stetig auf D : ε > 0 δ > 0 : x D x D : x x < δ f(x) f(x ) < ε. Wodurch unterscheidet sich die gleichmäßige Stetigkeit von der Stetigkeit? machen Sie Bilder! Können Sie eine Funktion angeben, die stetig und nicht gleichmäßig stetig ist? Bei der gleichmäßigen Stetigkeit hängt das δ nicht von x ab, es gibt hier ein universelles δ, das für ganz D taugt. Beispiel für eine stetige und nicht gleichmäßig stetige Funktion: f : (0, 1) R, f(x) = 1 x. Aufgabe 1.6: (a) ( ) j j n k k=1 Schreiben Sie folgende Ausdrücke aus: (b) 3 k 5 n 3 k=1 5 i=1 i

4 ( ) j j (a) n k = ( j) ( j) ( k=1... (j 1 + j 2 + j j j) 3 k 5 (b) n 3 ( ) ( ) k=1 5 i=1 i = Aufgabe 1.7: Schreiben Sie folgende Ausdrücke in der Form k (a) (b) (a) = 30 (b) = 9 (c) = 100 n=2 2n 3 n 3n n 1 = 99 3(n+1) n ( n (d) = 13 2 n +1 n 2 i=1 ) i 2i 1 a n bzw. (c) k a n : (d) Aufgabe 1.8: Gegeben seien die folgenden Teilmengen der Menge der reellen Zahlen R: A := { x R 5 > x > 2 }, B := { x R 1 > x }, C := { x R 1 < x 1 } Bestimmen Sie folgende Mengen und skizzieren Sie diese auf der Zahlengeraden: (a) A C (b) B \ A (c) (R \ C) B (a) A C = {x R x A x C} = {x R 5 > x > 2 1 < x 1} = {x R 2 < x < 5 1 < x 1} = {x R 1 < x 1} = C (b) B \ A = {x R x B x / A} = {x R 1 > x (x 2 x 5)} = {x R x < 1 (x 2 x 5)} = {x R x 2} (c) (R \ C) B = {x R x / C x B} = {x R x 1 x > 1 1 > x} = {x R x 1}

5 Aufgabe 1.9: Gegeben seien die folgenden Teilmengen der Menge der reellen Zahlen R: A := { x R 3 < x < 4 }, B := { x R 2 x }, C := { x R 1 x < 1 } Bestimmen Sie folgende Mengen und skizzieren Sie diese auf der Zahlengeraden: (a) A B (b) C (R \ B) (c) (R B) A (d) ((A B) C) \ A (a) A B = {x R 3 < x < 4 2 x} = {x R x > 3} (b) C (R \ B) = {x R 1 x < 1 2 > x} = {x R x < 2} (c) (R B) A = {x R x B x A} = {x R x > 3} (d) ((A B) C) \ A = {x R (x A x B) x C x / A} = {x R x > 3 1 x < 1 (x 3 x 4)} = Aufgabe 1.10: Gegeben seien die folgenden Teilmengen der reellen Zahlen: A := { x R 2 < x < 5 } B := { x R 1 x } C := { x R x 2 4 } D := { x R x 2 > 1 } Bestimmen Sie jeweils die folgenden Mengen und skizzieren Sie diese auf der Zahlengerade: (a) A B (b) A D (c) B \ C (d) D \ (A B) (e) C (A B) (f) (R \ (A B)) (C D) (a) A B = {x R 2 < x < 5 1 x} = {x R 2 < x 1}

6 (b) A D = {x R 2 < x < 5 x 2 > 1} = {x R 2 < x < 5 x < 1 x > 1} = R (c) B \ C = {x R 1 x x 2 > 4} = {x R x 1 (x < 2 x > 2)} = {x R x < 2} (d) D \ (A B) = {x R x 2 > 1 ( 2 < x < 5 1 x)} = {x R (x < 1 x > 1) ( 2 < x 1)} = {x R (x < 1 x > 1) (x 2 x > 1)} = {x R x 2 x > 1} (e) C (A B) = {x R x 2 4 ( 2 < x < 5 1 x)} = {x R 2 x 2 x < 5} = {x R 2 x 2} (f) ( ) R \ (A B) (C D) = {x R ( 2 < x < 5 1 x) (x 2 4 x 2 > 1} = {x R ( 2 < x 1) ( 2 x 2 (x < 1 x > 1) ) } = {x R x 2 x > 1 2 x < 1 1 < x 2} = {x R x < 1 x > 1} Aufgabe 1.11: Es seien A = { a, b, c, d } und B = { M M A }. Entscheiden und begründen Sie, welche der folgenden Aussagen wahr und welche falsch sind: (a) a B (b) { b } B (c) { a } A (d) A B (e) A B (f) { a } A (g) B (h) B (i) { } B (a) a B a A a A falsch (b) b A {b} A {b} B richtig (c) falsch (d) richtig (e) a A, aber a / B falsch (f) richtig (g) richtig, da A (h) richtig, da M für alle Mengen M (i) richtig, da B { } B

3. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12)

3. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12) Technische Universität München Zentrum Mathematik PD Dr. Christian Karpfinger http://www.ma.tum.de/mathematik/g8vorkurs 3. Übung zum G8-Vorkurs Mathematik (WiSe 0/) Aufgabe 3.: Gehen Sie die Inhalte der

Mehr

Stetige Funktionen. Definition. Seien (X, d) und (Y, D) metrische Räume und f : X Y eine Abbildung. i) f heißt stetig in x 0 (x 0 D(f)), wenn

Stetige Funktionen. Definition. Seien (X, d) und (Y, D) metrische Räume und f : X Y eine Abbildung. i) f heißt stetig in x 0 (x 0 D(f)), wenn Stetige Funktionen Eine zentrale Rolle in der Analysis spielen Abbildungen f : X Y, wobei X und Y strukturierte Mengen sind (wie z.b. Vektorräume oder metrische Räume). Dabei sind i.a. nicht beliebige

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 im Sommersemester 2018

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

Mehr

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016

HM I Tutorium 1. Lucas Kunz. 27. Oktober 2016 HM I Tutorium 1 Lucas Kunz 27. Oktober 2016 Inhaltsverzeichnis 1 Theorie 2 1.1 Logische Verknüpfungen............................ 2 1.2 Quantoren.................................... 3 1.3 Mengen und ihre

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

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

Technische Universität Berlin. Klausur Analysis I

Technische Universität Berlin. Klausur Analysis I SS 2008 Prof. Dr. John M. Sullivan Kerstin Günther Technische Universität Berlin Fakultät II Institut für Mathematik Klausur Analysis I 4.07.2008 Name: Vorname: Matr.-Nr.: Studiengang: Mit der Veröffentlichung

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

Einführungskurs Mathematik

Einführungskurs Mathematik Fachbereich Mathematik und Statistik ϑ µ Einführungskurs Mathematik γ WS 2/ ε Michael Junk β Φ Universität Konstanz α Σ δ Ψ ξ Ω Mathematik Wieso-weshalb-warum Warum Mathematik? Zur Beschreibung von Gesetzmäßigkeiten

Mehr

Übungsaufgaben zur Vorlesung ANALYSIS I (WS 12/13) Lösungsvorschlag Serie 12

Übungsaufgaben zur Vorlesung ANALYSIS I (WS 12/13) Lösungsvorschlag Serie 12 Humboldt-Universität zu Berlin Institut für Mathematik Prof. A. Griewank Ph.D.; Dr. A. Hoffkamp; Dipl.Math. T.Bosse; Dipl.Math. L. Jansen Übungsaufgaben zur Vorlesung ANALYSIS I (WS 2/3) Lösungsvorschlag

Mehr

Wie in der reellen Analysis üblich notiert man Folgen f in der Form

Wie in der reellen Analysis üblich notiert man Folgen f in der Form 2.1.3 Folgen und Konvergenz Viele aus der Analysisvorlesung bekannte Begriffe lassen sich in den Bereich der metrischen Räume verallgemeinern. Diese Verallgemeinerung hat sich als sehr nützliches mathematisches

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

Analysis I für Studierende der Ingenieurwissenschaften

Analysis I für Studierende der Ingenieurwissenschaften Analysis I für Studierende der Ingenieurwissenschaften Ingenuin Gasser Department Mathematik Universität Hamburg Technische Universität Hamburg Harburg Wintersemester 2008/2009 1 Kapitel 1: Aussagen, Mengen

Mehr

Jeweils am Montag um 18:30 treffen sich Studenten in Seminarraum 3 zum gemeinsamen Lernen.

Jeweils am Montag um 18:30 treffen sich Studenten in Seminarraum 3 zum gemeinsamen Lernen. Jeweils am Montag um 18:30 treffen sich Studenten in Seminarraum 3 zum gemeinsamen Lernen. Betrachtungen zu Sprache, Logik und Beweisen Sprache Wir gehen von unserem Alphabet einigen Zusatzsymbolen aus.

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

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

1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen? Lineare Algebra D-MATH, HS 2014 Prof. Richard Pink Lösung 1 1. [Aufgabe] Welche der folgenden Aussagen sind gültige Einwände gegen das Sprichwort Alles verstehen heisst alles verzeihen? a Niemand versteht

Mehr

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

Vorlesung. Logik und Beweise

Vorlesung. Logik und Beweise Vorlesung Logik und Beweise Der folgende Abschnitt dient nur zur Wiederholung des Stoffes der ersten Vorlesung und sollte nur genannt bzw. teilweise schon vor der Vorlesung angeschrieben werden. Wiederholung

Mehr

Analysis I für Studierende der Ingenieurwissenschaften

Analysis I für Studierende der Ingenieurwissenschaften Analysis I für Studierende der Ingenieurwissenschaften Jens Struckmeier Fachbereich Mathematik Universität Hamburg Technische Universität Hamburg Harburg Wintersemester 2010/11 Jens Struckmeier (Mathematik,

Mehr

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

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

Übungen Mathematik I, M

Übungen Mathematik I, M Übungen Mathematik I, M Übungsblatt, Lösungen (Stoff aus Mathematik 0) 09.0.0. Kommissar K hat 3 Tatverdächtige P, Q und R. Er weiß: (a) Wenn sich Q oder R als Täter herausstellen, dann ist P unschuldig.

Mehr

die Menge S = {(x,y) : x 2 = y 2 +1,x R} wohl aussehen könnte. Die Antwort ist hier: Interessant ist auch y 2 = x 3 x:

die Menge S = {(x,y) : x 2 = y 2 +1,x R} wohl aussehen könnte. Die Antwort ist hier: Interessant ist auch y 2 = x 3 x: die Menge S = {(x,y) : x 2 = y 2 +1,x R} wohl aussehen könnte. Die Antwort ist hier: Interessant ist auch y 2 = x 3 x: 40 Ganz wichtig für die Wirtschaftswissenschaft ist es, sich Ungleichungen klar zu

Mehr

Technische Universität München Zentrum Mathematik. Übungsblatt 2

Technische Universität München Zentrum Mathematik. Übungsblatt 2 Technische Universität München Zentrum Mathematik Mathematik 2 (Elektrotechnik) Prof. Dr. Anusch Taraz Dr. Michael Ritter Übungsblatt 2 Hausaufgaben Aufgabe 2.1 Sei [a, b] R ein Intervall und ( ) n N [a,

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

Grundbegriffe der Mathematik - Blatt 1, bis zum

Grundbegriffe der Mathematik - Blatt 1, bis zum Grundbegriffe der Mathematik - Blatt 1 bis zum 9.3.01 1. I.) Formalisieren Sie die folgenden Aussagen a) bis c) wie im folgenden Beispiel: Sei K ein Teilmenge der reellen Zahlen. Aussage: K ist genau dann

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

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 Beweistechniken

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

Mehr

Lösungen der Übungsaufgaben von Kapitel 3

Lösungen der Übungsaufgaben von Kapitel 3 Analysis I Ein Lernbuch für den sanften Wechsel von der Schule zur Uni 1 Lösungen der Übungsaufgaben von Kapitel 3 zu 3.1 3.1.1 Bestimmen Sie den Abschluss, den offenen Kern und den Rand folgender Teilmengen

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

Lösungsvorschlag zu den Präsenzaufgaben der 1. Übung

Lösungsvorschlag zu den Präsenzaufgaben der 1. Übung Michael Winkler Johannes Lankeit 8.4.2014 Lösungsvorschlag zu den Präsenzaufgaben der 1. Übung Präsenzaufgabe 1: Rufe dir die folgenden Definitionen wieder in Erinnerung: C = {(x, y); x R, y R} bildet

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

Vorkurs Mathematik 2016 VK1: Logik-Die Kunst des Schlussfolgerns

Vorkurs Mathematik 2016 VK1: Logik-Die Kunst des Schlussfolgerns Vorkurs Mathematik 2016 VK1: Logik-Die Kunst des Schlussfolgerns WWU Münster, Fachbereich Mathematik und Informatik PD Dr. K. Halupczok / Dr. Frank Wübbeling Aussagenlogik Definition 1: Eine Aussage ist

Mehr

7. Übungsblatt zur Mathematik II für Inf, WInf

7. Übungsblatt zur Mathematik II für Inf, WInf Fachbereich Mathematik Prof. Dr. Streicher Dr. Sergiy Nesenenko Pavol Safarik SS 2010 27.-31.05.10 7. Übungsblatt zur Mathematik II für Inf, WInf Gruppenübung Aufgabe G24 (Grundlegende Definitionen) Betrachten

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

Analysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME

Analysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME Analysis II (FS 2015): ZUSAMMENHÄNGENDE METRISCHE RÄUME Dietmar A. Salamon ETH-Zürich 23. Februar 2015 1 Topologische Grundbegriffe Sei (X, d) ein metrischer Raum, d.h. X ist eine Menge und d : X X R ist

Mehr

1. Übungsblatt zur Analysis I. Gruppenübungen

1. Übungsblatt zur Analysis I. Gruppenübungen Prof. Dr. Helge Glöckner Wintersemester 2013/2014 17.10.2013 1. Übungsblatt zur Analysis I Gruppenübungen Aufgabe G1 (Aussagenlogik, Wahrheitstabellen) Es seien p und q Aussagen. (a) Geben Sie die Wahrheitstabelle

Mehr

Lösungen zur Klausur zur Analysis 1, WiSe 2016/17

Lösungen zur Klausur zur Analysis 1, WiSe 2016/17 BERGISCHE UNIVERSITÄT WUPPERTAL..7 Fakultät 4 - Mathematik und Naturwissenschaften Prof. N. V. Shcherbina Dr. T. P. Pawlaschyk www.kana.uni-wuppertal.de Lösungen zur Klausur zur Analysis, WiSe 6/7 Klausureinsicht:

Mehr

Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum 1. Übungsblatt

Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum 1. Übungsblatt KARLSRUHER INSTITUT FÜR TECHNOLOGIE KIT Institut für Analysis Dr. A. Müller-Rettkowski Dr. T. Gauss WS 2010/11 Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge

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

Klausur zur Vorlesung Analysis I für Lehramtskandidaten. (Sommersemester 2008) Dr. C. Lange, J. Schütz

Klausur zur Vorlesung Analysis I für Lehramtskandidaten. (Sommersemester 2008) Dr. C. Lange, J. Schütz Klausur zur Vorlesung Analysis I für Lehramtskandidaten (Sommersemester 008) Dr. C. Lange, J. Schütz Beginn: 17. Juli 008, 10:00 Uhr Ende: 17. Juli 008, 11:30 Uhr Name: Matrikelnummer: Ich studiere: Bachelor

Mehr

Formale Methoden II. Gerhard Jäger. SS 2005 Universität Bielefeld. Teil 3, 12. Mai Formale Methoden II p.1/23

Formale Methoden II. Gerhard Jäger. SS 2005 Universität Bielefeld. Teil 3, 12. Mai Formale Methoden II p.1/23 Formale Methoden II SS 2005 Universität Bielefeld Teil 3, 12. Mai 2005 Gerhard Jäger Formale Methoden II p.1/23 Logische Folgerung Definition 6 (Folgerung) Eine Formel ϕ folgt logisch aus einer Menge von

Mehr

4.1 Grundlegende Konstruktionen Stetigkeit von Funktionen Eigenschaften stetiger Funktionen... 91

4.1 Grundlegende Konstruktionen Stetigkeit von Funktionen Eigenschaften stetiger Funktionen... 91 Kapitel 4 Funktionen und Stetigkeit In diesem Kapitel beginnen wir Funktionen f : R R systematisch zu untersuchen. Dazu bauen wir auf den Begriff des metrischen Raumes auf und erhalten offene und abgeschlossene

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

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

Vorkurs Mathematik Logik und Beweise II

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

Mehr

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

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

Kapitel 1. Grundlagen Mengen

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

Mehr

1 Anmerkungen zum Formulieren von Beweisen und Rechnungen

1 Anmerkungen zum Formulieren von Beweisen und Rechnungen 1 Anmerkungen zum Formulieren von Beweisen und Rechnungen 1 Anmerkungen zum Formulieren von Beweisen und Rechnungen Die wichtigste Grundregel, die es beim Formulieren eines Beweises bzw. der Lösung einer

Mehr

Ferienkurs Stetigkeit und Konvergenz Seite 1. Technische Universität München Ferienkurs Analysis 1. Musterlösung = lim.

Ferienkurs Stetigkeit und Konvergenz Seite 1. Technische Universität München Ferienkurs Analysis 1. Musterlösung = lim. Ferienkurs Stetigkeit und Konvergenz Seite Technische Universität München Ferienkurs Analysis Hannah Schamoni Stetigkeit und Konvergenz Musterlösung 6.03.20. Grenzwerte I Berechnen Sie lim f(), lim f()

Mehr

Kapitel 1. Grundlagen

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

Mehr

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

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

Grundlagen der Mathematik (LPSI/LS-M1) WiSe 2010/11 - Curilla/Koch/Ziegenhagen

Grundlagen der Mathematik (LPSI/LS-M1) WiSe 2010/11 - Curilla/Koch/Ziegenhagen Fachbereich Mathematik Algebra und Zahlentheorie Christian Curilla Grundlagen der Mathematik (LPSI/LS-M1) Lösungen Blatt 10 WiSe 010/11 - Curilla/Koch/Ziegenhagen Präsenzaufgaben (P3) Wir wollen die Ungleichung

Mehr

TECHNISCHE UNIVERSITÄT MÜNCHEN

TECHNISCHE UNIVERSITÄT MÜNCHEN TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik PROF. DR.DR. JÜRGEN RICHTER-GEBERT, VANESSA KRUMMECK, MICHAEL PRÄHOFER Höhere Mathematik für Informatiker II (Sommersemester 2004) Lösungen zu Aufgabenblatt

Mehr

1.9 Beweis durch Kontraposition

1.9 Beweis durch Kontraposition 1.9 Beweis durch Kontraposition 1.9 Beweis durch Kontraposition Ein Beweis durch Kontraposition ist ein Spezialfall des indirekten Beweises. Wir betrachten zwei Aussagen A und B und wollen A B zeigen,

Mehr

DIFFERENTIATION PARAMETERABHÄNGIGER INTEGRALE

DIFFERENTIATION PARAMETERABHÄNGIGER INTEGRALE DIFFERENTIATION PARAMETERABHÄNGIGER INTEGRALE Zusammenfassung. Ergänzend zur Übung vom 06.06.203 soll hier die Leibnizregel für die Differentiation parameterabhängiger Integrale formuliert und bewiesen

Mehr

A U F G A B E N A N A L Y S I S. 11. Vorlesung Zeigen Sie, mit Hilfe der ɛ-δ -Sprache, daß die Funktion x, x 0, stetig bei x 0 = 5 ist.

A U F G A B E N A N A L Y S I S. 11. Vorlesung Zeigen Sie, mit Hilfe der ɛ-δ -Sprache, daß die Funktion x, x 0, stetig bei x 0 = 5 ist. A U F G A B E N A N A L Y S I S. Vorlesung. Zeigen Sie, mit Hilfe der ɛ-δ -Sprache, daß die Funktion, 0, stetig bei 0 = 5 ist. Lösung: Es sei 5 < ɛ. () Daraus folgt 5 ɛ < < 5 + ɛ () oder Folglich gilt

Mehr

Konstruktion von Zahlen

Konstruktion von Zahlen Universität Bielefeld Elementare Geometrie Sommersemester 2018 Konstruktion von Zahlen Stefan Witzel Rechnen durch Konstruktion Wir haben gesehen, wie man mit Konstruktionen Rechnungen durchführen kann.

Mehr

1.3 Aussagen. Beispiel: Das Bruttosozialprodukt der Bundesrepublik Deutschland ist höher als das der USA ist eine offenbar falsche Aussage.

1.3 Aussagen. Beispiel: Das Bruttosozialprodukt der Bundesrepublik Deutschland ist höher als das der USA ist eine offenbar falsche Aussage. 1.3 Aussagen In der Mathematik geht es um Aussagen. Eine Aussage ist ein statement, das entweder wahr oder falsch sein kann. Beides geht nicht! Äußerungen, die nicht die Eigenschaft haben, wahr oder falsch

Mehr

Mathematik für Informatiker I, WS 2007/08 Musterlösung zur freiwilligen Zwischenklausur vom 4. Dezember 2007

Mathematik für Informatiker I, WS 2007/08 Musterlösung zur freiwilligen Zwischenklausur vom 4. Dezember 2007 1 Mathematik für Informatiker I, WS 007/08 Musterlösung zur freiwilligen Zwischenklausur vom 4. Dezember 007 1. Ist die Permutation f ( 1 3 4 5 6 7 8 ) 9 7 3 1 6 5 4 9 8 gerade oder ungerade? Wie lautet

Mehr

Analysis I. 7. Übungsstunde. Steven Battilana. battilana.uk/teaching

Analysis I. 7. Übungsstunde. Steven Battilana. battilana.uk/teaching Analysis I 7. Übungsstunde Steven Battilana stevenb@student.ethz.ch battilana.uk/teaching April 26, 207 Erinnerung Satz. (Zwischenwertsatz) Sei f : [a, b] R stetig mit f(a) f(b). Dann gibt es zu jedem

Mehr

TECHNISCHE UNIVERSITÄT MÜNCHEN

TECHNISCHE UNIVERSITÄT MÜNCHEN TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik PROF. DR.DR. JÜRGEN RICHTER-GEBERT, VANESSA KRUMMECK, MICHAEL PRÄHOFER Aufgabe 45. Polynome sind stets stetig. Höhere Mathematik für Informatiker II (Sommersemester

Mehr

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

Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark Dr. Markus Lange. Analysis 1. Aufgabenzettel 1 Institut für Analysis WiSe 2018/2019 Prof. Dr. Dirk Hundertmark 17.10.2018 Dr. Markus Lange Analysis 1 Aufgabenzettel 1 Aufgabe 1: K Beweisen Sie folgende Aussagen: i A B B C A C Transitivität; ii A B

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

13 Auswahlaxiom und Zornsches Lemma

13 Auswahlaxiom und Zornsches Lemma 13 Auswahlaxiom und Zornsches Lemma Handout zur Funktionalanalysis I von H. Glöckner, 25.11.2008 Wichtige Teile der modernen Mathematik beruhen auf dem sogenannten Auswahlaxiom der Mengenlehre. Dieses

Mehr

Übungsblatt 1. D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler. 1. a) Stellen Sie die Wahrheitstafel zu folgender Aussage auf:

Übungsblatt 1. D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler. 1. a) Stellen Sie die Wahrheitstafel zu folgender Aussage auf: D-MATH, D-PHYS, D-CHAB Analysis I HS 2017 Prof. Manfred Einsiedler Übungsblatt 1 1. a) Stellen Sie die Wahrheitstafel zu folgender Aussage auf: ((A = B) A) = B. Handelt es sich um eine Tautologie? Wie

Mehr

D-MAVT/D-MATL Analysis I HS 2017 Dr. Andreas Steiger. Lösung - Serie 6. (n+1)!. Daraus folgt, dass e 1/x < (n+

D-MAVT/D-MATL Analysis I HS 2017 Dr. Andreas Steiger. Lösung - Serie 6. (n+1)!. Daraus folgt, dass e 1/x < (n+ D-MAVT/D-MATL Analysis I HS 2017 Dr. Andreas Steiger Lösung - Serie 6 1. MC-Aufgaben (Online-Abgabe) 1. Für alle ganzen Zahlen n 1 gilt... (a) e 1/x = o(x n ) für x 0 + (b) e 1/x = o(x n ) für x 0 + (c)

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

Aufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I

Aufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I Aufgaben und Lösungen Ausarbeitung der Übungsstunde zur Vorlesung Analysis I Wintersemester 2008/2009 Übung 11 Einleitung Es wird eine 15-minütige Mikroklausur geschrieben. i) Sei D R oderd C. Wann heißt

Mehr

Mathematik-Vorkurs für Informatiker Mengen 1

Mathematik-Vorkurs für Informatiker Mengen 1 Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Mengen 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Kategorie 1 Notieren Sie die Definitionen

Mehr

Alternative Lösung. Analysis I (WS 08/09) Denk/Rheinländer Gruppe 1 (Sylvia Lange) Universität Konstanz FB Mathematik & Statistik.

Alternative Lösung. Analysis I (WS 08/09) Denk/Rheinländer Gruppe 1 (Sylvia Lange) Universität Konstanz FB Mathematik & Statistik. Gruppe 1 (Sylvia Lange) Alternative Lösung zur Aufgabe 2 Aufgabe: Seien X, X Mengen und f : X X ein Abbildung. Beweisen Sie, dass folgende Aussagen äquivalent sind: a) f injektiv b) f(a B) = f(a) f(b)

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

a) Den ersten Teil der Behauptung liefert die folgende Wahrheitstafel:

a) Den ersten Teil der Behauptung liefert die folgende Wahrheitstafel: Aufgabe 1 a) Den ersten Teil der Behauptung liefert die folgende Wahrheitstafel: A B C B C A (B C) A B A C (A B) (A C) W W W W W W W W W W F W W W F W W F W W W F W W W F F F F F F F F W W W F F F F F

Mehr

Vorkurs Mathematik Logik und Beweise II

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

Mehr

Aufgaben zu Kapitel 1

Aufgaben zu Kapitel 1 11 Berechnungsmodus Mittlere Anzahl Tage pro Jahr Ohne Schalttage 365 Alle 4 Jahre ein Schalttag 365,5 Alle 100 Jahre kein Schalttag 365,4 Alle 400 Jahre ein Schalttag 365,45 Die Differenz zum tatsächlichen

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

Lösungshinweise zu den Hausaufgaben:

Lösungshinweise zu den Hausaufgaben: A. Kirchhoff, T. Pfrommer, M. Kutter, Dr. I. Rybak. Gruppenübung zur Vorlesung Höhere Mathematik Sommersemester Prof. Dr. M. Stroppel Prof. Dr. A. Sändig Lösungshinweise zu den Hausaufgaben: Aufgabe H.

Mehr

piiq oder p 8, aq, p 8, as, pa, `8q, ra, `8q mit einer reellen Zahl a; piiiq oder p 8, `8q R. [6 Punkte] Achtung: Denken Sie auch an den Fall I!

piiq oder p 8, aq, p 8, as, pa, `8q, ra, `8q mit einer reellen Zahl a; piiiq oder p 8, `8q R. [6 Punkte] Achtung: Denken Sie auch an den Fall I! Analysis I Wintersemester 2015/16 9. Übungsblatt, Lösungsbeispiele Jun. Prof. Dr. Christian Reiher, Pascal Gollin Alexander Block, Hendrik Niehaus, Jakob Kneip, Jakob Schnitzer Aufgabe 5 Es sei I Ď R eine

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

Universität Stuttgart Fakultät Mathematik und Physik Institut für Analysis, Dynamik und Modellierung. Lösungen zur Probeklausur 2.

Universität Stuttgart Fakultät Mathematik und Physik Institut für Analysis, Dynamik und Modellierung. Lösungen zur Probeklausur 2. Adµ Universität Stuttgart Fakultät Mathematik und Physik Institut für Analysis, Dynamik und Modellierung Blatt Probeklausur 2 Lösungen zur Probeklausur 2 Aufgabe 1 1. Formulieren Sie den Satz von Taylor

Mehr

TECHNISCHE UNIVERSITÄT MÜNCHEN

TECHNISCHE UNIVERSITÄT MÜNCHEN TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik PROF. DR.DR. JÜRGEN RICHTER-GEBERT, VANESSA KRUMMECK, MICHAEL PRÄHOFER Höhere Mathematik für Informatiker I (Wintersemester 2003/2004) Aufgabenblatt 6

Mehr

Theoretische Informatik und Logik Übungsblatt 4 (SS 2017) Lösungen

Theoretische Informatik und Logik Übungsblatt 4 (SS 2017) Lösungen Theoretische Informatik und Logik Übungsblatt 4 (SS 2017) en Aufgabe 4.1 Für jede der folge Formeln ist folges zu tun: Wenn die Formel gültig oder unerfüllbar ist, so beweisen Sie dies mit dem Tableau-Kalkül.

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

Höher, Schneller, Weiter!

Höher, Schneller, Weiter! Schülerzirkel Mathematik Fakultät für Mathematik. Universität Regensburg Höher, Schneller, Weiter! Das Extremalprinzip Das Extremalprinzip ist eine vielseitig einsetzbare Lösungstechnik für mathematische

Mehr

Übungen zur Analysis I

Übungen zur Analysis I Übungen zur Analysis I Prof. Dr. C. Löh/M. Blank Blatt 0 vom 4. Mai 2011 the Ravenous Bugblatter Beast of Traal (a mindboggingly stupid animal, it assumes that if you can t see it, it can t see you daft

Mehr

1 Grundlagen. 1.1 Aussagen

1 Grundlagen. 1.1 Aussagen 1 Grundlagen 1.1 Aussagen In der Mathematik geht es um Aussagen. Eine Aussage ist ein statement, das entweder wahr oder falsch sein kann. Beides geht nicht! Äußerungen, die nicht die Eigenschaft haben,

Mehr

Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren

Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 11. Oktober 2016, Fehler, Ideen, Anmerkungen und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de

Mehr

Höhere Mathematik I für die Fachrichtung Informatik. Lösungsvorschläge zum 10. Übungsblatt. < 0 für alle t > 1. tan(x) tan(0) x 0

Höhere Mathematik I für die Fachrichtung Informatik. Lösungsvorschläge zum 10. Übungsblatt. < 0 für alle t > 1. tan(x) tan(0) x 0 KARLSRUHER INSTITUT FÜR TECHNOLOGIE INSTITUT FÜR ANALYSIS Dr. Christoph Schmoeger Heiko Hoffmann WS 03/4 Höhere Mathematik I für die Fachrichtung Informatik Lösungsvorschläge zum 0. Übungsblatt Aufgabe

Mehr

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

Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, Christian Rieck, Arne Schmidt Institute of Operating Systems and Computer Networks Algorithms Group Q.E.D. Algorithmen und Datenstrukturen Wintersemester 2018/2019 Übung#2, 01.11.2018 Christian Rieck, Arne Schmidt Einführendes Beispiel

Mehr

Topologische Räume und stetige Abbildungen Teil 2

Topologische Räume und stetige Abbildungen Teil 2 TU Dortmund Mathematik Fakultät Proseminar zur Linearen Algebra Ausarbeitung zum Thema Topologische Räume und stetige Abbildungen Teil 2 Anna Kwasniok Dozent: Prof. Dr. L. Schwachhöfer Vorstellung des

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

Inhalt. 1 Mathematik? 2 PROLOG-1: Aussagen und Mengen. 3 PROLOG-2: Funktionen. 4 PROLOG-3: Zahlenmengen und vollständige Induktion

Inhalt. 1 Mathematik? 2 PROLOG-1: Aussagen und Mengen. 3 PROLOG-2: Funktionen. 4 PROLOG-3: Zahlenmengen und vollständige Induktion Inhalt 1 Mathematik? 2 PROLOG-1: Aussagen und Mengen 3 PROLOG-2: Funktionen 4 PROLOG-3: Zahlenmengen und vollständige Induktion 5 PROLOG-4: Ungleichungen Daniel Weller (Inst. f. Diskr. Math.) PROLOG 2013

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

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