1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12)
|
|
- Silke Kerner
- vor 7 Jahren
- Abrufe
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)
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
MehrStetige 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
MehrBrü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
MehrVorkurs 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
MehrHM 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
MehrWelcher 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.
MehrLö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
MehrTechnische 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
MehrProf. 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 =
MehrEinfü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
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
MehrWie 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
MehrII. 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
MehrAnalysis 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
MehrJeweils 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.
MehrDe 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,
Mehr1. [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
MehrTechnische 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:
MehrVorlesung. 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
MehrAnalysis 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,
Mehrtypische 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
MehrVorlesung. 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 Ü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.
Mehrdie 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
MehrTechnische 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,
MehrMusterlö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
MehrGrundbegriffe 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
MehrDer 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
MehrVorkurs 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
MehrElementare 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
MehrLö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
Mehrdefinieren 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
MehrLö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
MehrTopologische 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
MehrVorkurs 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
Mehr7. Ü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
MehrMathematische 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
MehrAnalysis 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
Mehr1. Ü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
MehrLö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:
MehrHö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
MehrBeweistechniken. 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
MehrKlausur 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
MehrFormale 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
Mehr4.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
MehrElementare 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
MehrBrü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.................................
MehrVorkurs 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
MehrAufgaben 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
MehrGrundlagen 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
MehrKapitel 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
Mehr1 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
MehrFerienkurs 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()
MehrKapitel 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
MehrGrundlegendes 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
MehrHinweise 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
MehrMengenlehre. Aufgaben mit Lösungen
Mengenlehre Aufgaben mit Lösungen Inhaltsverzeichnis 1 Hilfsmittel 1 1. Zahlenmengen........................................ 1 2. Symbole........................................... 1 3. Intervalle: Schreibweise...................................
MehrGrundlagen 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
MehrTECHNISCHE 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
Mehr1.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,
MehrDIFFERENTIATION 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
MehrA 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
MehrKonstruktion 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.
Mehr1.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
MehrMathematik 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
MehrAnalysis 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
MehrTECHNISCHE 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
MehrInstitut 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
Mehr2 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
Mehr13 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:
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
MehrD-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)
MehrAlgorithmen 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!
MehrAufgaben 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
MehrMathematik-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
MehrAlternative 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)
MehrMathematisches 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
Mehra) 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
MehrVorkurs 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
MehrAufgaben 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
MehrELEMENTARE 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
MehrLö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.
Mehrpiiq 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
MehrVorkurs 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
MehrUniversitä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
MehrTECHNISCHE 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
MehrTheoretische 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.
Mehrmathe 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
MehrHö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 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
Mehr1 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,
MehrLö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
MehrHö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
MehrQ.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
MehrTopologische 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
MehrLogik 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.
MehrInhalt. 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
MehrLogik 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
MehrLogik 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