Logik für Informatiker

Größe: px
Ab Seite anzeigen:

Download "Logik für Informatiker"

Transkript

1 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 Behauptung: Wenn sich unter n en ein Elefant befindet, sind alle n e Elefanten. Beweis : Wir wenden die Methode der vollständigen Induktion an. Für den Induktionsanfang betrachten wir den Fall n = 1: Ist in einer Menge von einem ein Elefant enthalten, so sind alle e der Menge Elefanten. Dies ist offensichtlich wahr. Als Induktionsannahme nehmen wir an, dass die Behauptung für alle natürlichen Zahlen kleiner n+1 bereits bewiesen sei. Wir müssen nun zeigen, dass die Aussage dann auch für n+1 zutrifft. Gegeben sei also eine Menge von n+1 en, unter denen sich ein Elefant befindet. Wir stellen die e in einer Reihe auf, so dass der Elefant vorne als erstes in der Reihe steht. Dann nehmen wir das letzte der Reihe beiseite. Es bleiben also n e stehen, von denen eines, nämlich das erste, ein Elefant ist. Da nach Induktionsannahme unsere Behauptung für n e gilt, sind alle diese n e Elefanten. Nun nehmen wir einen dieser n Elefanten beiseite, und stellen stattdessen das wieder dazu, das wir zuerst weggenommen hatten. Wieder stehen nun n e da, von denen, wie wir gerade gezeigt haben, alle bis auf höchstens eines, Elefanten sind. Insbesondere enthält diese Menge von n en einen Elefanten, also sind wiederum nach Induktionsannahme alle e Elefanten, auch das, das zuerst ausgesondert wurde. Ist die Behauptung tatsächlich wahr oder ist an diesem Induktionsbeweis etwas faul? Der Fehler des Beweises steht im Induktionsschluss: Die Argumentation ist nur dann möglich, wenn n 2 gilt. Für n = 1 funktioniert der Schritt auf n + 1 = 2 dagegen nicht. Stellen wir zwei e in einer Reihe auf, sodass der Elefant vorne steht und führen dann das letzte weg, dann bleibt trivialerweise nur ein Elefant stehen. Im zweiten Schritt wird jetzt aber der Elefant weggeführt und es bleibt nur das zweite stehen, von dem wir nicht wissen, ob es ein Elefant ist. Das Problem liegt also darin, dass sich die Menge der ersten n und die Menge der letzten n e für n = 1 nicht überschneiden. Der Induktionsbeweis müsste also mit einem Induktionsbeginn für n = 2 anfangen. Dummerweise ist der Satz aber für n = 2 bereits falsch. (G 2)Das Einsteinrätsel Dieses Rätsel wurde wahrscheinlich von Albert Einstein [ ] entwickelt. Er versah es mit dem Vermerk, dass nur 2% der Bevölkerung in der Lage seien, es zu lösen. Es ist tatsächlich durch reine Logik lösbar. Fünf Häuser stehen nebeneinander. In ihnen wohnen Menschen von fünf unterschiedlichen Nationalitäten, die fünf unterschiedliche e trinken, fünf unterschiedliche marken rauchen und fünf unterschiedliche Haustiere haben.

2 a) Der Brite lebt im roten Haus. b) Der Schwede hält sich einen Hund. c) Der Däne trinkt gern Tee. d) Das grüne Haus steht (direkt) links neben dem weißen Haus. e) Der Besitzer des grünen Hauses trinkt Kaffee. f) Die Person, die Pall Mall raucht, hat einen Vogel. g) Der Mann im mittleren Haus trinkt. h) Der Bewohner des gelben Hauses raucht Dunhill. i) Der Norweger lebt im ersten Haus. j) Der Marlboro-Raucher wohnt neben der Person mit der Katze. k) Der Mann mit dem Pferd lebt neben der Person, die Dunhill raucht. l) Der Winfield-Raucher trinkt gern Bier. m) Der Norweger wohnt neben dem blauen Haus. n) Der Deutsche raucht Rothmanns. o) Der Marlboro-Raucher hat einen Nachbarn, der Wasser trinkt. Wem gehört der Fisch? Wir erstellen zuerst eine Tabelle: Nationalität Jetzt beginnen wir die Informationen, die wir schon haben, in der Tabelle einzutragen. Der Mann im mittleren Haus trinkt. Nationalität Übrig bleiben: gelb; blau; rot; grün; weiß; Norweger; Däne; Brite; Deutscher; Schwede; Wasser; Tee; Kaffee; Bier; Dunhill; Marlboro; Pall Mall; Rothmanns; Winfield; Katze; Pferd; Vogel; Fisch; Hund. Der Norweger lebt im ersten Haus: Nationalität Norweger Der Norweger wohnt neben dem blauen Haus:

3 blau Nationalität Norweger Der Kaffee trinkende, Rothmanns rauchende Deutsche aus dem grünen Haus hält den Fisch! (G 3)Spaß haben, schlauer werden! In der folgenden Unterhaltung sagt jede der drei Damen A, B und C zweimal die Wahrheit und einmal die Unwahrheit: a) A: B ist zwei Jahre älter als ich. b) B: C ist 32 Jahre alt. c) C: A ist älter als ich. d) B: Der Altersunterschied zwischen C und mir beträgt drei Jahre. e) C: A ist 30 Jahre alt. f) A: Ich bin 29 Jahre alt. g) B: Mindestens eine von euch ist jünger als ich. h) A: Ich bin ein Jahr älter als C. i) C: A ist drei Jahre jünger als B. Wie alt sind die drei Damen? A ist 30, B ist 32 und C ist 29 Jahre alt. Hausübungen: (H 1)Kleine Logelei Die Schlümpfe erwarten Besuch in ihrem Dorf und machen dementsprechend viel Radau. Zwirni, Hefti, Schlaubi, Clumsy, Torti, Handy, Toulousy, Harmony und natürlich Schlumpfine treffen sich vor Papa-Schlumpfs Haus und reden alle durcheinander. Es ist von Dodo, Bauchi, Knirps und Schnuffi die Rede. Papa-Schlumpf hört eine Weile zu und findet heraus, dass die erwarteten Gäste eine kleine Fee, ein Zwerg, ein kleiner Junge und ein Häschen sind. Da will Papa-Schlumpf natürlich erfahren, wer was ist. Schlaubi-Schlumpf, als persönlicher Assistent von Papa-Schlumpf, versucht es ihm zu erklären: Wenn Dodo nicht der Zwerg ist und Bauchi nicht die kleine Fee, dann ist Knirps der kleine Junge. Wenn Schnuffi nicht das Häschen ist, dann ist, falls Dodo nicht die kleine Fee ist, Bauchi der kleine Junge. Mindestens eine der folgenden drei Angaben ist richtig: Knirps ist das Häschen, Schnuffi ist der Zwerg, Dodo ist der kleine Junge. Wenn weder Knirps noch Schnuffi die kleine Fee ist, dann ist Bauchi der kleine Junge. Und wenn...

4 Genug Schlaubi, diese Angaben reichen mir schon, unterbrach ihn Papa-Schlumpf. Wie heißen der Zwerg, die kleine Fee, der kleine Junge und das Häschen? Bauchi ist der Junge, Knirps ist das Häschen, Schnuffi die Fee und Dodo der Zwerg. (H 2) Sei n N. Zeigen Sie mit Hilfe eines a) direkten Beweises, b) Beweis durch Kontraposition, c) Beweises durch Widerspruch, dass gilt: Falls n gerade, dann ist auch n 2 gerade. Sie haben keine Ahnung was direkter Beweis, Beweis durch Kontraposition, bzw. Beweis durch Widerspruch bedeutet? If JA, then (Professor fragen) ODER (im Internet suchen) Else Aufgabe lösen a) Wir beweisen direkt, dass n gerade n 2 gerade. Angenommen, n sei gerade, dann existiert ein k N, so dass n = 2k. Durch quadrieren folgt, dass n 2 = 4k 2 = 2(2k 2 ), also ist n 2 gerade. b) Wir beweisen, dass n 2 ungerade impliziert n ungerade ( B A). Angenommen n 2 sei ungerade. Es ist bekannt (wieso?), dass n ungerade n ungerade. Wir wenden diesen Schluss auf n 2 und erhalten dass auch n ungerade sein muss. c) Angenommen, n 2 sei ungerade und n se gerade. Dann gilt n = 2k und n 2 = 4k. Widerspruch! (H 3)Induktion Eine Folge a 0, a 1,... von natürlichen Zahlen sei wie folgt definiert: a 0, a 1, a 2 = 1,..., a n = 1 2 n 3 + 3a 2 n 2 + 1a 2 n 1 für n 3. Zeigen Sie, dass für alle n N gilt a n = fib(n), wobei fib die Fibonacci Folge beschreibt. Fall 1: n 1. Nach Definition gilt a n = fib(n). Fall 2: n = 2. Es gilt fib(2) = fib(1) + fib(0) = = 1 = a 2. Fall 3: n > 2. Es sei vorausgesetzt, dass für alle m < n gilt a m = fib(m). Es gilt dann (H 4) Sei n N. Zeigen Sie mit Hilfe von Induktion über die natürlichen Zahlen, dass die folgenden Aussagen gelten: a) n 3 + 2n ist durch 3 teilbar b) n 3 n ist durch 6 teilbar c) 3 n 3 ist durch 6 teilbar

5 a) Induktionsanfang: Für n = 1 erhalten wir n 3 + 2n = 3 also durch 3 teilbar. Induktionsschritt: Angenommen die Aussage gilt für n, wir beweisen die Aussage für n+1. P (n + 1) : (n + 1) 3 + 2(n + 1) ist durch 3 teilbar? Es gilt (n + 1) 3 + 2(n + 1) = n 3 + 3n 2 + 3n n + 2 = n 3 + 2n + (3n 2 + 3n + 3) =n 3 + 2n + 3(n 2 + n + 1). Durch Anwendung der Induktionsannahme, wehalten wir die Teilbarkeit durch 3 von (n + 1) 3 + 2(n + 1). b) Für n = 1 ist die Aussage wahr. Angenommen P (n) gilt, wir beweisen P (n + 1). (n + 1) 3 (n + 1) = n 3 + 3n 2 + 3n + 1 n 1 = n 3 + 3n 2 + 2n = n 3 n + 3n 2 + 3n =n 3 n + 3(n 2 + n) = n 3 n + 3n(n + 1). Da n entweder gerade oder ungerade sein kann, folgt dass 3n(n + 1) durch 6 teilbar ist und somit P (n + 1) gilt. c) 3 n 3 = 3(3 n 1 1) für alle n N. Wegen 3 n 1 1 gerade, folgt die Behauptung.

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

Albert steh' uns bei!

Albert steh' uns bei! Versuch einer Anleitung zum Lösen eines Logicals Zur Darstellung der einzelnen Schritte habe ich das Programm "P's Logik-Manager" von Michael Pousen benutzt. Diese kleine Tool hat mir geholfen (und hilft

Mehr

Logik für Informatiker

Logik für Informatiker Logik für Informatiker Vorlesung 1: Einführung in die Logik Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 5. Oktober 2017 1/61 ORGANISATORISCHES Vorbemerkungen

Mehr

B1: Bruchinseln Welches ist die kleinste (größte) Summe, mit der man von der kargen Startinsel zu der Urlaubs-Zielinsel gelangen kann?

B1: Bruchinseln Welches ist die kleinste (größte) Summe, mit der man von der kargen Startinsel zu der Urlaubs-Zielinsel gelangen kann? Längerfristige Hausaufgabe zum Thema Bruchzahlen (Bearbeitungszeit bis zum ) B: Bruchinseln Welches ist die kleinste (größte) Summe, mit der man von der kargen Startinsel zu der Urlaubs-Zielinsel gelangen

Mehr

Vollständige Induktion

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

Mehr

Vollständige Induktion

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

Mehr

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

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

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

Zusatz: Einführung in die Mathematischen Beweistechniken

Zusatz: Einführung in die Mathematischen Beweistechniken Zusatz: Einführung in die Mathematischen Beweistechniken Quick-Start Informatik Theoretischer Teil WS 11/12 Jens Keppeler 18. September 2012 Die Mathematik befasst sich mit Definitionen, Sätze, Lemma,...

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

Zusatz: Einführung in die Mathematischen Beweistechniken

Zusatz: Einführung in die Mathematischen Beweistechniken Zusatz: Einführung in die Mathematischen Beweistechniken Quick-Start Informatik Theoretischer Teil WS 11/12 Jens Keppeler 7. Oktober 2011 Das folgende Zusatzskript, sowie die dazugehörigen Folien orientieren

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe17 Ronja Düffel 22. März 2017 Logik und Beweise > Motivation Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Logik und Beweise

Mehr

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

ERRATA. Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62)

ERRATA. Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62) Logik und Beweise ERRATA Übungsblatt 4a: Aufgabe 3 : Definition der Teilbarkeit (Skript S.62) Aufgabe 5 : Beweise folgende Aussage: 25 ist keine Primzahl Tipp: Beweis durch Widerspruch Logik und Beweise

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

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

Schülerzirkel Mathematik

Schülerzirkel Mathematik Problem des Monats Dezember 2018 Lösung + weitere Logikrätsel 100 Piraten Lösung: A: Angenommen auf dem Schiff wären nur Pirat Nr 99 und Nr 100. Pirat 99 kann die Beute alleine für sich beanspruchen und

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

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

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

Mehr

Fachwissenschaftliche Grundlagen

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

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

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

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

Mehr

Theorie der Informatik

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

Mehr

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

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

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

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

Beweistechniken. Vorkurs Informatik - SoSe April 2013

Beweistechniken. Vorkurs Informatik - SoSe April 2013 Vorkurs Informatik SoSe13 09. April 2013 Wozu Beweise in der Informatik?... um Aussagen wie 1 Das Programm erfüllt die gewünschte Aufgabe. 2 Das Programm führt zu keiner Endlosschleife. 3 Zur Lösung dieser

Mehr

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

Zusammenfassung: Beweisverfahren

Zusammenfassung: Beweisverfahren LGÖ Ks VMa 11 Schuljahr 217/218 Zusammenfassung: Beweisverfahren Inhaltsverzeichnis Teilbarkeitslehre... 1 Mathematische Sätze... 1 Bedingungen für Extremstellen und Wendestellen... 2 Beweisverfahren...

Mehr

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

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

Mehr

Logische Programmierung

Logische Programmierung Prüfungsrelevante Studienleistung im Fach Logische Programmierung von TU Bergakademie Freiberg Fakultät für Mathematik und Informatik Institut für Diskrete Mathematik und Algebra Prof. Dr. Udo Hebisch

Mehr

Lösungen zum Thema Ist doch logisch!

Lösungen zum Thema Ist doch logisch! Schülerzirkel Mathematik Fakultät für Mathematik. Universität Regensburg Lösungen zum Thema Ist doch logisch! Lösung zu Aufgabe 1. (Aussagen I) a) 1) Aussage 2) keine Aussage 3) Aussage 4) Aussage 5) Aussage

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

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

Brückenkurs Mathematik

Brückenkurs Mathematik Beweise und Beweisstrategien andreas.kucher@uni-graz.at Institute for Mathematics and Scientific Computing Karl-Franzens-Universität Graz Graz, September 5, 2015 Hinweis zu den Folien Diese Folien sind

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

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

Zusammenfassung: Beweisverfahren

Zusammenfassung: Beweisverfahren LGÖ Ks VMa 11 Schuljahr 216/217 Zusammenfassung: Beweisverfahren Inhaltsverzeichnis Teilbarkeitslehre... 1 Mathematische Sätze... 1 Bedingungen für innere Extremstellen... 3 Beweisverfahren... 3 Für Experten...

Mehr

Übung zu Grundlagen der Logik und Logik-Programmierung

Übung zu Grundlagen der Logik und Logik-Programmierung Übung zu Grundlagen der Logik und Logik-Programmierung Übungsblatt 4 (5.Übung) Florian Wittmann Uni Erlangen, Informatik 8 Inhalt 1 Aufgabe 4-1: Tiefensuche 2 Aufgabe 4-2: Listen in Prolog 3 Aufgabe 4-3:

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

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion

Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Vorkurs Mathematik und Informatik Mengen, natürliche Zahlen, Induktion Saskia Klaus 07.10.016 1 Motivation In den ersten beiden Vorträgen des Vorkurses haben wir gesehen, wie man aus schon bekannten Wahrheiten

Mehr

Logische und funktionale Programmierung

Logische und funktionale Programmierung Logische und funktionale Programmierung Vorlesung 12: Einbauprädikate. Komplexe Programme Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 19. Dezember 2016 1/47

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

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den 8.9.011 Vorkurs Mathematik WS 011/1 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht

Mehr

Vollständige Induktion

Vollständige Induktion 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

(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

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

Zahlentheorie. Stefan Takacs Linz, am 2. Juni 2004

Zahlentheorie. Stefan Takacs Linz, am 2. Juni 2004 Zahlentheorie Anna Rieger 0355556 Stefan Takacs 0356104 Daniela Weberndorfer 0355362 Linz, am 2. Juni 2004 Zusammenfassung Die vorliegende Arbeit über die grundlegenden Sätze der Zahlentheorie beschäftigt

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

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

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

Mengenlehre und vollständige Induktion

Mengenlehre und vollständige Induktion Fachschaft MathPhys Heidelberg Mengenlehre und vollständige Induktion Vladislav Olkhovskiy Vorkurs 018 Inhaltsverzeichnis 1 Motivation 1 Mengen.1 Grundbegriffe.................................. Kostruktionen

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

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

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

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

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

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

Ü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

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

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

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

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

Vorkurs Mathematik - SoSe 2017

Vorkurs Mathematik - SoSe 2017 3 Vorkurs Mathematik - SoSe 2017 Regula Krapf Lösungen Übungsblatt 2 Aufgabe 1. Zeigen Sie, dass die beiden Aussagen ( x : P(x)) ( x : Q(x)) und x : (P(x) Q(x)). nicht dasselbe ausdrücken. Wie sieht es

Mehr

Kontraposition und Widerspruch

Kontraposition und Widerspruch Kontraposition und Widerspruch Kontraposition und Widerspruch Quick Start Informatik Theoretischer Teil WS2/2. Oktober 2 Kontraposition und Widerspruch > Beweis durch Kontraposition > Motivation Neue Beweistechnik??

Mehr

Carpe Diem Ausgabe /2015

Carpe Diem Ausgabe /2015 Carpe Diem Ausgabe 1 2014/2015 Liebe Carpe Diem Leser, nun haltet ihr sie in den Händen: die erste Ausgabe der Schülerzeitung diesen Jahres. Das Schuljahr ist schon ein paar Wochen alt und es ist schon

Mehr

1 Aufbau des Zahlensystems

1 Aufbau des Zahlensystems 1 Aufbau des Zahlensystems 1.1 Die Menge N der natürlichen Zahlen 1.1.1 Definition Die mathematischen Eigenschaften dieser durch das Abzählen von Gegenständen motivierten Zahlenmenge lassen sich auf die

Mehr

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

Erinnerung 1. Erinnerung 2

Erinnerung 1. Erinnerung 2 Erinnerung 1 Ein Argument ist eine Folge von Aussagesätzen, mit der der Anspruch verbunden ist, dass ein Teil dieser Sätze (die Prämissen) einen Satz der Folge (die Konklusion) in dem Sinne stützen, dass

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

Logik für Informatiker

Logik für Informatiker Logik für Informatiker 1. Grundlegende Beweisstrategien: Teil 2 19.04.2016 Viorica Sofronie-Stokkermans Universität Koblenz-Landau e-mail: sofronie@uni-koblenz.de 1 Organisatorisches Heute ist der letzte

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

1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente:

1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente: Lösung 1. Übung Elemente der Algebra WS017/18 1. Beschreiben Sie folgende Zahlenmengen durch Markierung auf der Zahlengeraden, der Zahlenebene bzw. durch Aufzählen der Elemente: (e) {(x,y) IR 3x+4y 1}.

Mehr

8 Summen von Quadraten

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

Mehr

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

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

Mehr

Ein Induktionsbeweis über Schuhgrößen

Ein Induktionsbeweis über Schuhgrößen Was ist FALSCH an folgendem Beweis? Behauptung: Ein Induktionsbeweis über Schuhgrößen Alle Teilnehmer dieser Vorlesung haben gleiche Schuhgröße. Wir formalisieren diese Aussage, um einen Induktionsbeweis

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

1 Logisches und Widersprüchliches

1 Logisches und Widersprüchliches 1 Logisches und Widersprüchliches 1.1 Mathematische 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 Beispiele

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

Beweistechnik: Beweise in Bezug auf Mengen. Formale Methoden 2 LVA , Beweistechnik: Widerspruchsbeweise. Satz R (S T ) = (R S) (R T )

Beweistechnik: Beweise in Bezug auf Mengen. Formale Methoden 2 LVA , Beweistechnik: Widerspruchsbeweise. Satz R (S T ) = (R S) (R T ) Formale Methoden 2 LVA 703019, 703020 (http://clinformatik.uibk.ac.at/teaching/ss06/fmii/) Georg Moser (VO) 1 Martin Korp (UE) 2 Friedrich Neurauter (UE) 3 Christian Vogt (UE) 4 1 georg.moser@uibk.ac.at

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

Vorsemesterkurs Informatik

Vorsemesterkurs Informatik Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 2. Oktober 2015 Vorsemesterkurs Informatik Inhalt 1 Relationen 2 Funktionen 3 Beweistechniken Motivation Direkter Beweis Beweis

Mehr

Mathematische Grundlagen der Computerlinguistik

Mathematische Grundlagen der Computerlinguistik Mengen und Mengenoperationen (Teil II) Centrum für Informations- und Sprachverarbeitung (CIS) 2. Juni 2014 Table of Contents 1 2 3 Definition Mengenfamilie Eine Menge, deren sämtliche Elemente selbst wiederum

Mehr

8. Übungsblatt zur Mathematik I für Chemiker

8. Übungsblatt zur Mathematik I für Chemiker Fachbereich Mathematik PD Dr. P. Ne WS 007/008 6.1.007 8. Übungsblatt zur Mathematik I für Chemiker Zur Erinnerung, die Formel für die Taylorreihe um die Stelle x 0 lautet f(x) n0 f (n) (x 0 ) (x x 0 )

Mehr

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

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

Mehr

Logik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage

Logik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage Logik Die Logik ist in der Programmierung sehr wichtig. Sie hilft z.b. bei der systematischen Behandlung von Verzweigungen und Schleifen. z.b. if (X Y und Y>0) then Oder beim Beweis, dass ein Algorithmus

Mehr

Übung zur Vorlesung Berechenbarkeit und Komplexität

Übung zur Vorlesung Berechenbarkeit und Komplexität RWTH Aachen Lehrgebiet Theoretische Informatik Reidl Ries Rossmanith Sanchez Tönnis WS 2012/13 Übungsblatt 7 26.11.2012 Übung zur Vorlesung Berechenbarkeit und Komplexität Aufgabe T15 Entwickeln Sie ein

Mehr

Also kann nur A ist roter Südler und B ist grüner Nordler gelten.

Also kann nur A ist roter Südler und B ist grüner Nordler gelten. Aufgabe 1.1: (4 Punkte) Der Planet Og wird von zwei verschiedenen Rassen bewohnt - dem grünen und dem roten Volk. Desweiteren sind die Leute, die auf der nördlichen Halbkugel geboren wurden von denen auf

Mehr

Theoretische Informatik SS 03 Übung 3

Theoretische Informatik SS 03 Übung 3 Theoretische Informatik SS 03 Übung 3 Aufgabe 1 a) Sind die folgenden Funktionen f : partiell oder total: f(x, y) = x + y f(x, y) = x y f(x, y) = x y f(x, y) = x DIV y? Hierbei ist x DIV y = x y der ganzzahlige

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

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