Kurs:Einführung in die mathematische Logik (Osnabrück 2018)/Arbeitsblatt 1/kontrolle



Übungsaufgaben

Warum ist Mathematik schwierig, obwohl darin doch alles logisch ist?



Intelligenz wird häufig als „allgemeine Problemlösekompetenz“ bezeichnet. Welche Probleme können Sie lösen, welche nicht?



Lege in der Skizze für die drei Häuser überschneidungsfrei Wege zu den zugehörigen gleichfarbigen Gartentoren an.



Anfang März beträgt die Zeitdifferenz zwischen Deutschland und Paraguay Stunden (in Paraguay wurde es Stunden später hell). Am 25. März 2018 wurde in Deutschland die Uhr von der Winterzeit auf die Sommerzeit umgestellt, die Uhr wurde also um eine Stunde nachts von auf vorgestellt. In der gleichen Nacht wurde die Uhr in Paraguay umgestellt. Wie groß war die Zeitdifferenz nach der Umstellung?



In einer psychologischen Längsschnittstudie wird die Entwicklung von Einstellungen und Verhaltensweisen von Personen untersucht. Ein Fallbeispiel: Im Alter von Jahren geht Linda regelmäßig auf Demonstrationen, sie hilft im Eine-Welt-Laden mit, braut ökologisches Bier, kocht Bio-Gemüse und studiert manchmal Soziologie.

Welcher der folgenden Befunde ist nach 10 Jahren am unwahrscheinlichsten?

  1. Linda arbeitet für eine Versicherungsagentur.
  2. Linda engagiert sich bei Attac und arbeitet für eine Versicherungsagentur.
  3. Linda engagiert sich bei Attac.



In einem Hörsaal befindet sich ein Tafelgestell mit drei hintereinander liegenden, vertikal verschiebbaren Tafeln. Diese seien mit (vordere Tafel), (mittlere Tafel) und (hintere Tafel) bezeichnet. Aufgrund der Höhe des Gestells sind nur (maximal) zwei Tafeln gleichzeitig einsehbar. Die Lehrperson schreibt in der Vorlesung jede Tafel genau einmal voll. In welcher Reihenfolge (alle Möglichkeiten!) muss sie die Tafeln einsetzen, wenn beim Beschreiben einer Tafel stets die zuletzt beschriebene Tafel sichtbar sein soll.



Finde die kleinste Zahl der Form , die keine Primzahl ist, wobei die ersten Primzahlen sind.



Es sei .

a) Finde aufeinander folgende natürliche Zahlen (also ), die alle nicht prim sind.


b) Finde unendlich viele solcher primfreien -„Intervalle“.



Aufgabe * Aufgabe 1.9 ändern

Zeige durch Induktion, dass jede natürliche Zahl eine Zerlegung in Primzahlen besitzt.



Berechne den Ausdruck

für . Handelt es sich dabei um Primzahlen?



Es sei eine natürliche Zahl. Wann ist die Zahl eine Primzahl?



Das Schaubild rechts bezieht sich auf die Goldbachsche Vermutung. Was wird dadurch dargestellt?



Zeige, dass man jede natürliche Zahl als Summe

schreiben kann, wobei sowohl als auch zusammengesetzte Zahlen sind.



Welche Zifferenentwicklung hat eine Mersennesche Primzahl im Dualsystem?



Aufgabe * Aufgabe 1.15 ändern

Zeige: Ist eine Primzahl, so ist auch eine Primzahl.


In der folgenden Aufgabe wird ein weiteres offenes Problem formuliert. Man mache sich die Wirkungsweise des beschriebenen Algorithmus für die Zahlen bis klar.


Für positive ganze Zahlen betrachten wir folgenden Algorithmus.

Wenn gerade ist, so ersetze durch die Hälfte.
Wenn ungerade ist, so multipliziere mit und addiere dann dazu.

Frage (Collatz-Problem): Ist es wahr, dass man bei jeder Startzahl früher oder später bei landet?



Zwei Spieler sitzen an einem runden Tisch und legen abwechselnd eine Münze (alle von der gleichen Größe, die kleiner als die Größe der Tischplatte ist) auf den Tisch, wobei sich die Münzen nicht überdecken dürfen. Es verliert der Spieler, der keine Münze mehr platzieren kann. Entwerfe eine Gewinnstrategie für den Spieler, der anfängt.



Bei der Fußball-Europameisterschaft 2016 qualifizieren sich die vier besten Drittplatzierten (der Vorrundengruppen A,B,C,D,E,F) für das Achtelfinale, und zwar nach dem Schema

und

  1. Zeige, dass dies stets durchführbar ist.
  2. Bestimme (abhängig von der Reihenfolge der Drittplatzierten) die minimale Anzahl an Möglichkeiten für die Aufteilung der Drittplatzierten.
  3. Bestimme (abhängig von der Reihenfolge der Drittplatzierten) die maximale Anzahl an Möglichkeiten für die Aufteilung der Drittplatzierten.


In den folgenden Aufgaben wird an einige wichtige Beweisverfahren erinnert. Überlegen Sie sich typische Beispiele dazu. Inwiefern kommen diese Argumentationsmuster auch im Alltag vor?


Erläutere das Prinzip Beweis durch Widerspruch für eine Aussage der Form „Aus folgt “.



Erläutere das Beweisprinzip der vollständigen Induktion.



Erläutere das Prinzip Beweis durch Fallunterscheidung.



Franziska möchte mit ihrem Freund Heinz Schluss machen. Sie erwägt die folgenden drei Begründungen.

  1. „Du hast dich schon am ersten Tag voll daneben benommen. Seitdem ist es von jedem Tag zum nächsten Tag nur noch schlimmer geworden. Du wirst Dich also immer völlig daneben benehmen“.
  2. „Wenn ich mit Dir zusammenbleiben würde, so würde ich irgendwann als eine traurige, gelangweilte, vom Leben enttäuschte Person enden, das möchte ich aber auf gar keinen Fall“.
  3. „Also, wenn Du mich nicht liebst, will ich Dich sowieso nicht. Wenn Du mich aber liebst, so komme ich zu dem Schluss, dass Du dein Verhalten mit Deinen Gefühlen nicht zur Deckung bringen kannst. Dann bist Du also unreif und dann will ich Dich auch nicht“.

Welche mathematischen Beweisprinzipien spiegeln sich in den drei Begründungen wieder?



  1. Löse das folgende Minisudoku
  2. Begründe, dass das Minisudoku aus (1) nur eine Lösung besitzt.
  3. Welche mathematischen Beweisverfahren finden sich als typische Argumentationsschemata beim Lösen eines Sudokus wieder?



Zeige, dass eine irrationale Zahl ist.

Wie sieht es mit aus?


Beweise durch Induktion die folgenden Formeln.



Die Städte seien untereinander durch Straßen verbunden und zwischen zwei Städten gibt es immer genau eine Straße. Wegen Bauarbeiten sind zur Zeit alle Straßen nur in eine Richtung befahrbar. Zeige, dass es trotzdem mindestens eine Stadt gibt, von der aus alle anderen Städte erreichbar sind.



In der folgenden Argumentation wird durch Induktion bewiesen, dass alle Pferde die gleiche Farbe haben. „Es sei die Aussage, dass je Pferde stets untereinander die gleiche Farbe haben. Induktionsanfang: Wenn nur ein Pferd da ist, so hat dieses eine bestimmte Farbe und die Aussage ist richtig. Für den Induktionsschritt sei vorausgesetzt, dass je Pferde stets untereinander die gleiche Farbe haben. Es seien jetzt Pferde gegeben. Wenn man eines herausnimmt, so weiß man nach der Induktionsvoraussetzung, dass die verbleibenden Pferde untereinander die gleiche Farbe haben. Nimmt man ein anderes Pferd heraus, so haben die jetzt verbleibenden Pferde wiederum untereinander die gleiche Farbe. Also haben all diese Pferde überhaupt die gleiche Farbe“. Analysiere diese Argumentation.



Es seien natürliche Zahlen. Zeige, dass

die Gleichung

erfüllen.



Betrachte die „Definition“
Ein Hinz ist ein Kunz, dessen Schlonz ein Ranz ist,

und nehmen wir an, dass es sich um eine sinnvolle Definition handelt. Beantworte folgende Fragen.

  1. Welcher Begriff wird neu eingeführt, welche sind schon bekannt?
  2. Besitzt jeder Kunz einen Schlonz?
  3. Besitzt jeder Hinz einen Schlonz?
  4. Ist jeder Hinz ein Kunz?
  5. Ist jeder Kunz ein Hinz?
  6. Ist der Schlonz von jedem Kunz ein Ranz?
  7. Ist der Schlonz von jedem Hinz ein Ranz?
  8. Ist jeder Hinz ein Ranz?
  9. Kann es einen Schlonz geben, der nicht zu einem Kunz gehört?
  10. Wie kann man die Vermutung widerlegen, dass jeder Kunz ein Hinz ist?



Erläutere das Konzept der Wohldefiniertheit anhand eines typischen Beispiels.



Wir betrachten eine Maschine, die nach und nach sämtliche Texte ausdruckt und damit auch früher oder später jeden Beweis ausgibt. Welche Eigenschaft eines in der Vorlesung 1 beschriebenen universellen Lösungsverfahrens besitzt diese Maschine nicht?



Führe folgendes Gedankenexperiment durch: Es sei eine Maschine gegeben, die eine Aussage (eine Vermutung) über die natürlichen Zahlen nach und nach überprüft. Wenn sie alle Zahlen überprüft hätte, stünde die Antwort fest, doch da die Maschine Schritt für Schritt arbeitet, hat sie zu jedem Zeitpunkt immer nur eine endliche Teilmenge der natürlichen Zahlen überprüft und kann so, wenn die Aussage wahr ist, keinen Beweis für die Aussage liefern.

Im Allgemeinen braucht die Rechenmaschine für große Zahlen länger. Die Maschine wird jetzt beschleunigt, sodass sie für große Zahlen immer weniger Zeit braucht.

Die Maschine wird so beschleunigt, dass sie für die Überprüfung der ersten Zahl (also ) Sekunden braucht, für die Überprüfung der zweiten Zahl Sekunden, für die Überprüfung der dritten Zahl Sekunden. Für die Überprüfung der -ten Zahl benötigt die Maschine also genau Sekunden. Damit ist die Gesamtlaufzeit der Maschine

Diese Summe ist wohldefiniert, und zwar gleich (im Zweiersystem ist es die Zahl , deren Wert ist). Nach einer Sekunde hat also die Maschine die unendlich vielen Zahlen durchgearbeitet und überprüft, und damit die Aussage bewiesen oder widerlegt.




Aufgaben zum Abgeben

Aufgabe (3 Punkte)Aufgabe 1.33 ändern

Zeige, dass es außer kein weiteres Zahlentripel der Form gibt, in dem alle drei Zahlen Primzahlen sind.



Zeige, dass es unendlich viele Primzahlen gibt, die modulo den Rest besitzen.



Zeige, dass es eine gerade Zahl , , mit der Eigenschaft gibt, dass es unendlich viele Primzahlen derart gibt, dass auch eine Primzahl ist.



Die Räuberbande „Robin Hood“ besteht aus sieben Personen. Sie legt für ihr Diebesgut eine Schatztruhe an, die sie mit verschiedenen Schlössern sichern möchte, wobei die (mehrfachen) Schlüssel an die Mitglieder verteilt werden sollen. Dabei soll erreicht werden, dass je drei Bandenmitglieder allein nicht an den Schatz kommen, dass aber je vier Bandenmitglieder die Truhe aufschließen können. Wie viele Schlösser braucht man dafür und wie müssen die Schlüssel verteilt werden?




Die Aufgabe zum Aufgeben

Lösungen zu der folgenden Aufgabe direkt an den Dozenten. Bis Ende April.


Wir betrachten die Abbildung

die einem Vierertupel das Vierertupel

zuordnet. Man gebe ein Beispiel für ein Vierertupel mit der Eigenschaft an, dass sämliche Iterationen für nicht das Nulltupel liefern. Überprüfe das Ergebnis auf http://www.vier-zahlen.bplaced.net/raetsel.php .



Kurs:Einführung in die mathematische Logik (Osnabrück 2018) | >>

PDF-Version dieses Arbeitsblattes

Zur Vorlesung (PDF)