BuK/IIm11/Studenten/sifedeut/uebung1
Aus ProgrammingWiki
Wiki-Quelltext dieser Seite.
= Übungsaufgaben - Indirekter Beweis =
== Aufgabe 1 ==
Beweisen Sie indirekt, dass <math>x</math> eine gerade Zahl ist, wenn <math>x^2</math>
mit <math>x \in \mathbb{N}</math> eine gerade Zahl ist.
== Aufgabe 2 ==
Beweisen Sie die Aussage, wonach aus der Gültigkeit der Aussagen <math>A \Rightarrow B, B \Rightarrow C</math> und <math>\overline{C}</math> die Gultigkeiten von <math>A</math> und
<math>B</math> folgen. Stellen Sie den Sachverhalt in einer Wahrheitstabelle dar.
== Aufgabe 3 ==
Was kann man über die Gültigkeit von <math>A</math> und <math>B</math> schließen, wenn bekannt ist, dass <math>A \Rightarrow B, B \Rightarrow C</math> und <math>\overline{C}</math> gelten?
Verwenden Sie die Tabelle aus der vorhergehenden Aufgabenlösung.
= Übungsaufgaben - Vollständige Induktion =
== Aufgabe 1 ==
Beweisen Sie die folgenden Beziehungen fur Fibonacci-Zahlen nach Defintion in obigem Beispiel mittels vollständiger Induktion:
<math>\sum_{k=1}^n F_k=F_{n+2}-1, \sum_{k=1}^n F_{2k}=F_{2n+1}-1</math> und <math>\sum_{k=1}^n F_{2k-1}=F_{2n}</math> für <math>n \in \N</math> und <math>n \ge 1</math>