Logik für Informatiker
|
|
- Berthold Schreiber
- vor 5 Jahren
- Abrufe
Transkript
1 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 Behauptung: Wenn sich unter n Tieren ein Elefant befindet, sind alle n Tiere 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 Tier ein Elefant enthalten, so sind alle Tiere 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 Tieren, unter denen sich ein Elefant befindet. Wir stellen die Tiere in einer Reihe auf, so dass der Elefant vorne als erstes in der Reihe steht. Dann nehmen wir das letzte Tier der Reihe beiseite. Es bleiben also n Tiere stehen, von denen eines, nämlich das erste, ein Elefant ist. Da nach Induktionsannahme unsere Behauptung für n Tiere gilt, sind alle diese n Tiere Elefanten. Nun nehmen wir einen dieser n Elefanten beiseite, und stellen stattdessen das Tier wieder dazu, das wir zuerst weggenommen hatten. Wieder stehen nun n Tiere da, von denen, wie wir gerade gezeigt haben, alle bis auf höchstens eines, Elefanten sind. Insbesondere enthält diese Menge von n Tieren einen Elefanten, also sind wiederum nach Induktionsannahme alle Tiere Elefanten, auch das Tier, 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 Tiere in einer Reihe auf, sodass der Elefant vorne steht und führen dann das letzte Tier weg, dann bleibt trivialerweise nur ein Elefant stehen. Im zweiten Schritt wird jetzt aber der Elefant weggeführt und es bleibt nur das zweite Tier 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 Tiere 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)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.
2 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 (G 3)Strukturelle Induktion Ein voller, vollständiger Binärbaum ist ein Baum G(V, E), so dass alle inneren Knoten von G den Verzweigungsgrad 2 haben und alle Blätter haben dieselbe Höhe. Man beweise, dass jeder volle, vollständige Binärbaum der Höhe n N genau 2 n 1 1 innere Knoten besitzt. Behauptung B(n): Jeder volle, vollständige Binärbaum der Höhe n N hat 2 n 1 1 innere Knoten. Beweis durch strukturelle Induktion Induktionsverankerung: zeige B(1). Ein voller, vollständiger Binärbaum der Höhe n = 1 besteht nur aus einem Knoten. Er hat also 0 = 2 n 1 1 = = = 1 1 = 0 innere Knoten. Induktionsvoraussetzung: Für beliebige, aber feste volle, vollständige Binärbäume G der Höhe n gilt: G hat 2 n 1 1 innere Knoten. Induktionsschritt: zeige B(n + 1) Für jeden vollen, vollständigen Binärbaum der Höhe n + 1 gibt es einen Teilgraphen T, der ein voller, vollständiger Binärbaum der Höhe n ist. Aus der Induktionsvoraussetzung folgt T hat 2 n 1 1 innere Knoten. Das sind auch innere Knoten von G. Da die Höhe von G um eins höher ist als die von T und sowohl G als auch T volle, vollständige Binärbäume sind, kommen zu jedem der 2 n 1 Blätter aus T noch 2 Blätter. Dadurch hat G genau 2 n 1 innere Knoten mehr als T. Es folgt dass G hat 2 n n 1 = 2 n 1 innere Knoten. (G 4)Strukturelle Induktion Ein Binärbaum T heißt Unterbaum eines Binärbaums T genau dann, wenn T = T oder T Unterbaum eines (linken oder rechten) Teilbaums von T ist. Die Höhe h(t ) eines Binärbaums T ist folgendermaßen definiert:
3 Für den leeren Binärbaum T ist h(t ) = 0. Für den Binärbaum T = [T 1, T 2 ] ist h(t ) = 1 + max(h(t 1 ), h(t 2 )). Zeigen Sie: Die Anzahl der Unterbäume eines Binärbaums T ist 2 h(t )+1 1. Wir zeigen die Behauptung durch strukturelle Induktion über den Aufbau der Binärbäume T. Wir bezeichnen mit N subt (T ) die Anzahl der Unterbäume von T. Induktionsverankerung: Der Binärbaum T ist der leere Baum. In diesem Fall hat T nur einen Unterbaum, nämlich sich selbst. Der leere Baum T hat die Höhe 0, also gilt N subt (T ) = = 2 h(t )+1 1. Induktionsschritt: Es sei T = [T 1, T 2 ]. Nach Induktionsannahme gilt die Behauptung für T 1 und T 2. Es folgt N subt (T ) = 1 + N subt (T 1 ) + N subt (T 2 ) h(t 1) h(t 2)+1 1 = 2 h(t 1) h(t 2) h(t ) + 2 h(t ) 1 = 2 h(t )+1. 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... 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,
4 dass gilt: Falls n gerade, dann ist auch n 2 gerade. 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) 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 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. (H 4) Zeigen Sie mit Hilfe eines Beweises durch Widerspruch, dass 3 / Q. Angenommen 3 sei rational, dann 3 = a a2. Daraus folgt 3 = und 3b 2 = a 2. Falls b b 2 b ungerade ist, dann ist auch b 2 ungerade und in diesem Fall sind auch a 2 und a ungerade. Analog b gerade impliziert b 2, a 2 und a gerade. Für a und b gerade, ist der Bruch a reduzierbar, d.h. a und b müssen beide ungerade sein. b Angenommen a = 2m+1 und b = 2n+1. Durch Substitution in 3b 2 = a 2 folgt 3(4n 2 +4n+1) = 4m 2 + 4m + 1. Daraus folgt dass 6n 2 + 6n + 1 = 2(m 2 + m). Die Zahl linkerhand ist ungerade, die rzahl rechterhand ist gerade, d.h. die Gleichung in m und n hat keine Lösungen und 3 kann nicht rational sein.
5 (H 5) Sei n N und F (n) die Fibonacci-Zahl von n, die wie folgt definiert ist: 0 wenn n = 0 F (n) = 1 wenn n = 1 F (n 1) + F (n 2) wenn n 2 Zeigen Sie mit Hilfe von verallgemeinerter vollständiger Induktion über die natürlichen Zahlen, dass die folgende Aussage gilt: Wenn n durch 3 teilbar ist, ist F (n) durch 2 teilbar. Für n = 3 ist F (n) = 2, also gilt die Aussage. Angenommen sie gilt für alle k n, wir beweisen sie für n+1: F (3k +3) = F (3k +2)+F (3k +1) = F (3k +1)+F (3k)+F (3k +1) = 2F (3k + 1) + F (3k 1) + F (3k 2).
Logik für Informatiker
Dr. Christian Săcărea Babeş Bolyai Universität, Cluj-Napoca Fakultät für Mathematik und Informatik Wintersemester 2018/2019 Lösungshinweise zur 1. Übung Logik für Informatiker Gruppenübungen: (G 1)Induktion
MehrVollstä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
MehrVollstä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
MehrTheorie 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
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
Mehr2.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
MehrLogik 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.
MehrFachwissenschaftliche 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
MehrIndexmengen. 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
MehrLogik 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
MehrLogik 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
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
MehrDr. 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
MehrBeweistechniken. 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
MehrVollstä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
MehrVollstä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
MehrAufgaben 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
MehrVorkurs 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
Mehr1 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
MehrBeweistechniken. 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
MehrFachwissenschaftliche 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
Mehr2. 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
Mehr2 i. i=0. und beweisen Sie mittels eines geeigneten Verfahrens die Korrektheit der geschlossenen Form.
für Informatik Prof. aa Dr. Ir. Joost-Pieter Katoen Christian Dehnert, Friedrich Gretz, Benjamin Kaminski, Thomas Ströder Tutoraufgabe (Vollständige Induktion): Finden Sie eine geschlossene Form für die
MehrBinärbäume und Pfade
Binärbäume und Pfade Bevor wir uns dem Pumping Lemma für Typ-2 Sprachen widmen, wollen wir einen einfachen Satz über Binärbäume beweisen. Als Binärbaum bezeichnen wir hier einen Baum, bei dem jeder Knoten,
MehrLogik 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
MehrHinweis: 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
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
MehrExistenz 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Übung zur Vorlesung Diskrete Mathematik (MAT.107) Blatt Beispiellösungen Abgabefrist:
Svenja Hüning, Michael Kerber, Hannah Schreiber WS 2016/2017 Übung zur Vorlesung Diskrete Mathematik (MAT.107) Blatt Beispiellösungen Abgabefrist: Hinweise: Dieses Blatt präsentiert Beispiellösungen zu
MehrBrü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
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
MehrGrundlagen 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
MehrAufgabe 2 Konstruktion von Binärbäumen Tafelübung
Übungen zu Algorithmik I Wintersemester 004/05 Prof. Dr. Herbert Stoyan, Dr.-Ing. Bernd Ludwig Aufgabenblatt 11 (Lösungen) vom 10.01.005 Aufgabe 1 Binärbäume 8 Punkte 1. Alle Antworten können unmittelbar
MehrÜberblick. 3. Mathematische Grundlagen 3.1 Mengen und Abbildungen 3.2 Boolsche Algebra 3.3 Induktion und Rekursion
Überblick 3. Mathematische Grundlagen 3.1 Mengen und Abbildungen 3.2 Boolsche Algebra 3.3 Peer Kröger (LMU München) Einführung in die Programmierung WS 16/17 92 / 708 Beweisprinzip der vollständigen Induktion
MehrALP I Induktion und Rekursion
ALP I Induktion und Rekursion WS 2012/2013 Vollständige Induktion (Mafi I) Die Vollständige Induktion ist eine mathematische Beweistechnik, die auf die Menge der natürlichen Zahlen spezialisiert ist. Vorgehensweise:
MehrDatenstrukturen & Algorithmen Lösungen zu Blatt 4 FS 15
Eidgenössische Technische Hochschule Zürich Ecole polytechnique fédérale de Zurich Politecnico federale di Zurigo Federal Institute of Technology at Zurich Institut für Theoretische Informatik 18. März
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.
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
MehrERRATA. Ü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
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
Mehr4.6 Beweistechniken Die meisten mathematischen Behauptungen sind von der Form
4.6 Beweistechniken Die meisten mathematischen Behauptungen sind von der Form A B bzw. (A 1 A k ) B. Um A B zu beweisen, können wir zeigen: 1 Unter der Annahme A können wir B zeigen (direkter Beweis).
Mehrb liegt zwischen a und c.
2 DIE ANORDNUNGSAXIOME 5 (2.4) a, b, c R : (a < b 0 < c) ac < bc Monotoniegesetz der Multiplikation Bezeichnungen a > b : b < a (> wird gelesen: größer als ) a b : a < b oder a = b a b : a > b oder a =
MehrÜberblick. 3. Mathematische Grundlagen 3.1 Mengen und Abbildungen 3.2 Induktion und Rekursion 3.3 Boolsche Algebra
Überblick 3. Mathematische Grundlagen 3.1 Mengen und Abbildungen 3.2 3.3 Boolsche Algebra Peer Kröger (LMU München) Einführung in die Programmierung WS 14/15 72 / 179 Beweisprinzip der vollständigen Induktion
MehrThemen: 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,
Mehr3 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
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
MehrVollstä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
Mehraus der Bedingung/Annahme A folgt ein Widerspruch ), so ist A falsch!
Bemerkungen: 1 Die Bedeutung von (und damit ) ist klar. wird oft, vor allem in Beweisen, auch als geschrieben (im Englischen: iff, if and only if). 2 Für zwei boolesche Aussagen A und B ist A B falsch
MehrBeispiel 27 (Beweis durch Widerspruch) Satz 28 3 ist irrational, d. h. Beweis: Widerspruchsannahme: 3 Q.
Beispiel 27 (Beweis durch Widerspruch) Wir nehmen an, dass die zu zeigende Aussage falsch ist und führen diese Annahme zu einem Widerspruch. Satz 28 3 ist irrational, d. h. 3 / Q. Beweis: Widerspruchsannahme:
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
MehrMengenlehre und vollständige Induktion
Fachschaft MathPhys Heidelberg Mengenlehre und vollständige Induktion Vladislav Olkhovskiy Vorkurs 018 Inhaltsverzeichnis 1 Motivation 1 Mengen.1 Grundbegriffe.................................. Kostruktionen
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
MehrAngewandte 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
MehrInduktion 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
Mehr3 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,
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
MehrBeweistechnik: 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
MehrKapitel 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
MehrDatenstrukturen und Algorithmen SS17 Lösung - Übung 5
Prof. aa Dr. Ir. G. Woeginger T. Hartmann, D. Korzeniewski, B. Tauer Hausaufgabe (Inorder-Traversierung binärer Suchbäume): (3 + 3 Punkte) Es soll bewiesen werden, dass die Inorder-Traversierung alle Schlüssel
MehrZusammenfassung: 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...
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
MehrTutoraufgabe 1 (Suchen in Graphen):
Prof. aa Dr. E. Ábrahám Datenstrukturen und Algorithmen SS14 F. Corzilius, S. Schupp, T. Ströder Tutoraufgabe 1 (Suchen in Graphen): a) Geben Sie die Reihenfolge an, in der die Knoten besucht werden, wenn
MehrGrundlagen 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 =
MehrEinführung in die Informatik 2
Einführung in die Informatik Strukturelle Induktion Sven Kosub AG Algorithmik/Theorie komplexer Systeme Universität Konstanz E 0 Sven.Kosub@uni-konstanz.de Sprechstunde: Freitag, 1:30-14:00 Uhr, o.n.v.
MehrWS 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
MehrGrundbegriffe 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
MehrHö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
MehrAnalysis I für Studierende der Ingenieurwissenschaften
Fachbereich Mathematik der Universität Hamburg WiSe 08/9 c Dr. K. Rothe Analysis I für Studierende der Ingenieurwissenschaften Hörsaalübung mit Beispielaufgaben zu Blatt Mengen Darstellung durch: a) Aufzählung
MehrVollstä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(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
MehrVollstä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
MehrKapitel 11 Beweisführung. Mathematischer Vorkurs TU Dortmund Seite 125 / 254
Kapitel 11 Beweisführung Kapitel 11 Beweisführung Mathematischer Vorkurs TU Dortmund Seite 125 / 254 Kapitel 11 Beweisführung Grundsätzlich: ein mathematischer Satz ist eine Aussage der Form wenn... gilt,
MehrMathematik für Informatiker 1 Wintersemester 2013/14 Übungsblatt 6
Dipl.Inf. Malte Isberner Dr. Oliver Rüthing Dipl.Inf. Melanie Schmidt Dr. Hubert Wagner Übungen zur Vorlesung Mathematik für Informatiker 1 Wintersemester 2013/14 Übungsblatt 6 Die Lösungshinweise dienen
MehrVollständige Induktion
Vollständige Induktion Aussageformen mit natürlichen Zahlen als Parametern kann man mit vollständiger Induktion beweisen. Ist A(n) eine von n N abhängige Aussage, so sind dazu die folgenden beiden Beweisschritte
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
MehrLösungen 4.Übungsblatt
Karlsruher Institut für Technology (KIT) WS 2011/2012 Institut für Analysis Priv.-Doz. Dr. Gerd Herzog Dipl.-Math.techn. Rainer Mandel Lösungen 4.Übungsblatt Aufgabe 13 (K) Bestimmen Sie sämtliche Häufungswerte
MehrReihen/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
Mehr3 Vollständige Induktion
3.1 Natürliche Zahlen In den vorherigen Kapiteln haben wir die Menge der natürlichen Zahlen schon mehrfach als Beispiel benutzt. Das Konzept der natürlichen Zahlen erscheint uns einfach, da wir es schon
MehrKapitel 3: Boolsche Algebra
Kapitel 3: Boolsche Algebra 1. Mengen 2. Relationen und Abbildungen 3. Boolsche Algebra 4. Induktion und Rekursion Prof. Dr. Peer Kröger: EiP (WS 18/19) Teil 2: Mathematische Grundlagen 3. Boolsche Algebra
MehrVorsemesterkurs 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
MehrEin fundamentales mathematisches Beweisprinzip p ist die vollständige Induktion: Sei p : Falls
Beweisprinzip der vollständigen Induktion Ein fundamentales mathematisches Beweisprinzip p ist die vollständige Induktion: Sei p : Falls ein totales Prädikat. 1. p(0) (Induktionsanfang) und 2. für beliebiges
MehrLösung zu Serie 3. Lineare Algebra D-MATH, HS Prof. Richard Pink. Sei K ein beliebiger Körper.
Lineare Algebra D-MATH, HS 204 Prof. Richard Pink Lösung zu Serie 3 Sei K ein beliebiger Körper.. [Aufgabe] Sei n Z 0 eine gegebene nicht-negative ganze Zahl. Übersetzen Sie die folgenden Aussagen in eine
MehrZusammenfassung: 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Ü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.
MehrVorlesung. 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
MehrZusatz: 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,...
MehrDatenstrukturen & Algorithmen Lösungen zu Blatt 6 FS 14
Eidgenössische Technische Hochschule Zürich Ecole polytechnique fédérale de Zurich Politecnico federale di Zurigo Federal Institute of Technology at Zurich Institut für Theoretische Informatik 2. April
MehrZusatz: 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
MehrInduktive Beweise und rekursive Definitionen
Induktive Beweise und rekursive Definitionen Vorlesung Logik in der Informatik, HU Berlin 1. Übungsstunde Beweis durch vollständige Induktion über N Aufgabe 1 Zeige, dass für alle n N gilt: n 2 i = 2 n+1
MehrÜbung zur Vorlesung Diskrete Strukturen I
Technische Universität München WS 00/0 Institut für Informatik Aufgabenblatt Prof. Dr. J. Csirik. November 00 Brandt & Stein Übung zur Vorlesung Diskrete Strukturen I Abgabetermin: Tutorübungen am. und.
MehrTechnische Universität München Zentrum Mathematik Propädeutikum Diskrete Mathematik. Weihnachtsblatt
Technische Universität München Zentrum Mathematik Propädeutikum Diskrete Mathematik Prof. Dr. A. Taraz, Dipl-Math. A. Würfl, Dipl-Math. S. König Weihnachtsblatt Aufgabe W.1 Untersuchen Sie nachstehenden
MehrA N A L Y S I S I F Ü R T P H, U E ( ) 1. Übungstest (FR, ) (mit Lösung )
Institut für Analysis und Scientific Computing TU Wien W. Auzinger WS 05/6 A N A L Y S I S I F Ü R T P H, U E (03.088). Übungstest (FR, 6..05) (mit Lösung ) Aufgabe. a ) Wandeln Sie die periodische Dezimalzahl
Mehr8 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
MehrLogik 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
MehrIn diesem Kapitel bestimmen wir die multiplikative Struktur der Einheitengruppe (Z/Z) von Z/Z für eine beliebige positive Zahl Z >0.
Kapitel 5: Die Einheitengruppe von Z/Z und Primitivwurzeln modulo In diesem Kapitel bestimmen wir die multiplikative Struktur der Einheitengruppe (Z/Z) von Z/Z für eine beliebige positive Zahl Z >0. 16
MehrIV 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
Mehr1 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
MehrAufgabe 4.2 Sei G = (V, E, l) ein ungerichteter, gewichteter und zusammenhängender Graph.
Aufgabe 4.2 Sei G = (V, E, l) ein ungerichteter, gewichteter und zusammenhängender Graph. a) Es seien W 1 = (V, E 1 ), W 2 = (V, E 2 ) Untergraphen von G, die beide Wälder sind. Weiter gelte E 1 > E 2.
MehrLösung zur Übung für Analysis einer Variablen WS 2016/17
Blatt Nr. 3 Prof. F. Merkl Lösung zur Übung für Analysis einer Variablen WS 206/7 Aufgabe Das Guthaben G setzt sich zusammen aus der Summe aller bisherigen Einzahlungen multipliziert mit ( + p) k, wobei
MehrKapitel 1. Grundlegendes
Kapitel 1 Grundlegendes Abschnitt 1.4 Vollständige Induktion Charakterisierung der natürlichen Zahlen Die Menge N 0 = {0, 1, 2, 3,...} der natürlichen Zahlen läßt sich wie folgt charakterisieren: 1. 0
Mehr