Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil I/Arbeitsblatt 2/latex
\setcounter{section}{2}
\zwischenueberschrift{Übungsaufgaben}
\inputaufgabe
{}
{
Negiere die Aussage \anfuehrung{Alle Kinder essen in der Pause ein Butterbrot oder einen Apfel}{} durch eine Existenzaussage.
}
{} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {LucySonnenschein2.png} }
\end{center}
\bildtext {Lucy Sonnenschein} }
\bildlizenz { LucySonnenschein2.png } {} {Bocardodarapti} {Commons} {CC-by-sa 4.0} {}
\inputaufgabegibtloesung
{}
{
Wir betrachten den Satz \anfuehrung{Lucy Sonnenschein tanzt auf allen Hochzeiten}{.} Negiere diesen Satz durch eine Existenzaussage.
}
{} {}
\inputaufgabe
{}
{
Man formalisiere die folgenden Aussagen, indem man geeignete Prädikate erklärt. Man gebe die Negation der Aussagen \zusatzklammer {umgangssprachlich und formal} {} {} an. \aufzaehlungvier{Alle Vögel sind schon da. }{Alle Wege führen nach Rom. }{Faulheit ist aller Laster Anfang. }{Alle Menschen werden Brüder, wo dein sanfter Flügel weilt. }
}
{} {}
\inputaufgabe
{}
{
Formuliere die folgenden einstelligen Prädikate innerhalb der natürlichen Zahlen
\mavergleichskette
{\vergleichskette
{ \N
}
{ = }{ \{0,1,2,3, \ldots \}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
allein mittels Gleichheit, Addition, Multiplikation und unter Verwendung von aussagenlogischen Junktoren und Quantoren.
\aufzaehlungacht{ $x$ ist ein Vielfaches von $10$.
}{ $x$ ist größer als $10$.
}{ $x$ ist kleiner als $10$.
}{ $x$ ist eine Quadratzahl.
}{ $x$ ist keine Quadratzahl.
}{ $x$ ist eine Primzahl.
}{ $x$ ist keine Primzahl.
}{ $x$ ist das Produkt von genau zwei verschiedenen Primzahlen.
}
}
{} {}
\inputaufgabegibtloesung
{}
{
Wir betrachten die beiden Sätze \anfuehrung{Für jeden Topf gibt es einen Deckel}{} und \anfuehrung{Es gibt einen Deckel für jeden Topf}{,} die man im alltäglichen Verständnis wohl als gleichbedeutend ansehen würde. Wenn man aber die beiden Aussagen streng prädikatenlogisch
\zusatzklammer {quantorenlogisch} {} {}
von vorne nach hinten abarbeitet, so ergeben sich zwei unterschiedliche Bedeutungen.
\aufzaehlungvier{Formuliere die beiden Aussagen durch zusätzliche Wörter so um, dass die unterschiedlichen Bedeutungen deutlich hervortreten.
}{Es sei $T$ die Menge der Töpfe und $D$ die Menge der Deckel. Es sei
\mathl{P}{} ein zweistelliges Prädikat derart, dass
\zusatzklammer {für
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ y
}
{ \in }{ D
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
\mathl{P(x,y)}{} besagt, dass $y$ auf $x$ passt. Formuliere die beiden Aussagen allein mit geeigneten mathematischen Symbolen.
}{Kann man aus der Aussage, dass es für jeden Topf einen Deckel gibt, logisch erschließen, dass es für jeden Deckel einen Topf gibt?
}{Wie kann man erklären, dass die beiden Aussagen im alltäglichen Verständnis als gleichbedeutend interpretiert werden?
}
}
{} {}
\inputaufgabegibtloesung
{}
{
Skizziere möglichst viele wesentlich verschiedene Konfigurationen von fünf Geraden in der Ebene, die sich insgesamt in vier Schnittpunkten treffen.
}
{} {}
\inputaufgabe
{}
{
Für
\mavergleichskette
{\vergleichskette
{k
}
{ = }{1 , \ldots , 8
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei
\mavergleichskettedisp
{\vergleichskette
{a_k
}
{ =} { 2^k-5k
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Berechne
\mathdisp {\sum_{k = 1}^8 a_k} { . }
}
{} {}
\inputaufgabe
{}
{
Für jedes
\mavergleichskette
{\vergleichskette
{ k
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sei
\mavergleichskettedisp
{\vergleichskette
{ a_k
}
{ =} { { \frac{ k }{ 2k+1 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Berechne
\mathdisp {\sum_{k = 0}^5 a_k} { . }
}
{} {}
\inputaufgabegibtloesung
{}
{
Wir betrachten die Wertetabelle
\wertetabelleachtausteilzeilen { $i$ }
{\mazeileundfuenf {1} {2} {3} {4} {5} }
{\mazeileunddrei {6} {7} {8} }
{ $a_i$ }
{\mazeileundfuenf {2} {5} {4} {-1} {3} }
{\mazeileunddrei {5} {-2} {2} }
\aufzaehlungvier{Berechne
\mathl{a_2+a_5}{.}
}{Berechne
\mathl{\sum_{k = 3}^6 a_k}{.}
}{Berechne
\mathl{\prod_{i = 0}^3 a_{2i+1}}{.}
}{Berechne
\mathl{\sum_{i = 4}^5 a^2_{i}}{.}
}
}
{} {}
\inputaufgabe
{}
{
Beweise durch Induktion die folgende Formel.
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n i^2
}
{ =} { \frac{n(n+1)(2n+1)}{6}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{}
{
Beweise durch Induktion die folgende Formel.
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n i^3
}
{ =} { { \left( { \frac{ n(n+1) }{ 2 } } \right) }^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{}
{
Beweise die Formel
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^n k
}
{ =} {{ \frac{ n(n+1) }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ohne Induktion durch Betrachten der folgenden Tabelle.
\wertetabellesiebenausteilzeilen { $k$ }
{\mazeileundfuenf {1} {2} {3} {\ldots} {n-2} }
{\mazeileundzwei {n-1} {n} }
{ $n+1-k$ }
{\mazeileundfuenf {n} {n-1} {n-2} {\ldots} {3} }
{\mazeileundzwei {2} {1} }
}
{} {}
\inputaufgabegibtloesung
{}
{
Die offizielle Berechtigung für die Klausurteilnahme werde durch mindestens $200$ Punkte im Übungsbetrieb erworben. Professor Knopfloch sagt, dass es aber auf einen Punkt mehr oder weniger nicht ankomme. Zeige durch eine geeignete Induktion, dass man mit jeder Punkteanzahl zur Klausur zugelassen wird.
}
{} {}
\inputaufgabe
{}
{
In der folgenden Argumentation wird durch Induktion bewiesen, dass alle Pferde die gleiche Farbe haben.
\anfuehrung{Es sei $A(n)$ die Aussage, dass je $n$ 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 $n$ Pferde stets untereinander die gleiche Farbe haben. Es seien jetzt
\mathl{n+1}{} Pferde gegeben. Wenn man eines herausnimmt, so weiß man nach der Induktionsvoraussetzung, dass die verbleibenden $n$ 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
\mathl{n+1}{} Pferde überhaupt die gleiche Farbe}{.} Analysiere diese Argumentation.
}
{} {}
\inputaufgabe
{}
{
Eine natürliche Zahl heißt \stichwort {besonders} {,} wenn sie eine für sie spezifische, benennbare Eigenschaft erfüllt. Die $0$ ist als neutrales Element der Addition und die $1$ ist als neutrales Element der Multiplikation besonders. Die $2$ ist die erste Primzahl, die $3$ ist die kleinste ungerade Primzahl, die $4$ ist die erste echte Quadratzahl, die $5$ ist die Anzahl der Finger einer Hand, die $6$ ist die kleinste aus verschiedenen Faktoren zusammengesetzte Zahl, die $7$ ist die Anzahl der Zwerge im Märchen, u.s.w., diese Zahlen sind also alle besonders. Gibt es eine Zahl, die nicht besonders ist? Gibt es eine kleinste Zahl, die nicht besonders ist?
}
{} {}
\inputaufgabe
{}
{
Zeige, dass mit der einzigen Ausnahme
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{ 3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Beziehung
\mavergleichskettedisp
{\vergleichskette
{ 2^n
}
{ \geq} {n^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
{} {}
\inputaufgabegibtloesung
{}
{
Zeige durch vollständige Induktion, dass für jedes
\mavergleichskette
{\vergleichskette
{n
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Zahl
\mathdisp {6^{n+2} + 7^{2n+1}} { }
ein Vielfaches von $43$ ist.
}
{} {}
\inputaufgabe
{}
{
Beweise durch Induktion die Abschätzung
\mavergleichskettedisp
{\vergleichskette
{ 1 \cdot 2^2 \cdot 3^3 \cdots n^n
}
{ \leq} { n^\frac{n(n+1)}{2}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabegibtloesung
{}
{
Beweise durch Induktion für alle
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Formel
\mavergleichskettedisp
{\vergleichskette
{ \sum_{k = 1}^n (-1)^{k-1} k^2
}
{ =} { (-1)^{n+1} { \frac{ n(n+1) }{ 2 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabegibtloesung
{}
{
Beweise durch Induktion, dass die Summe von aufeinanderfolgenden ungeraden Zahlen \zusatzklammer {beginnend bei $1$} {} {} stets eine Quadratzahl ist.
}
{} {}
\inputaufgabe
{}
{
Die Städte
\mathl{S_1, \ldots, S_n}{} 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.
}
{} {}
\inputaufgabe
{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {FibonacciRabbit.svg} }
\end{center}
\bildtext {} }
\bildlizenz { FibonacciRabbit.svg } {} {HB} {Commons} {CC-by-sa 3.0} {}
Kaninchen werden bekanntlich immer zur Monatsmitte geboren, die Tragzeit beträgt einen Monat und die Geschlechtsreife erreichen sie im Alter von zwei Monaten. Jeder Wurf besteht aus genau einem Paar, und alle leben ewig.
Wir starten im Monat $1$ mit einem Paar, das einen Monat alt ist. Es sei $f_n$ die Anzahl der Kaninchenpaare im $n$-ten Monat, also
\mavergleichskette
{\vergleichskette
{ f_1
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
\mavergleichskette
{\vergleichskette
{ f_2
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Beweise durch Induktion die Rekursionsformel
\mavergleichskettedisp
{\vergleichskette
{ f_{n+2}
}
{ =} { f_{n+1} + f_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Zahlfolge nennt man die Folge der \stichwort {Fibonacci-Zahlen} {.} Wie viele der $f_n$ Paare sind im $n$-ten Monat reproduktionsfähig?
}
{} {}
Die Folge der \definitionswort {Fibonacci-Zahlen}{} $f_n$ ist rekursiv definiert durch
\mathdisp {f_1 \defeq 1 \, , f_2 \defeq 1 \text{ und } f_{n+2} \defeq f_{n+1} +f_{n}} { . }
\inputaufgabe
{}
{
Bestimme die ersten zehn \definitionsverweis {Fibonacci-Zahlen}{}{.}
}
{} {}
\inputaufgabegibtloesung
{}
{
Beweise durch Induktion die \stichwort {Simpson-Formel} {} oder Simpson-Identität für die
\definitionsverweis {Fibonacci-Zahlen}{}{}
$f_n$. Sie besagt
\zusatzklammer {für \mathlk{n \geq 2}{}} {} {}
\mavergleichskettedisp
{\vergleichskette
{ f_{n+1} f_{n-1} - f_n^2
}
{ =} {(-1)^n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
Gelegentlich werden wir auch Programmieraufgaben stellen, in denen es darum geht, mit Hilfe von Pseudocode einen Algorithmus zu beschreiben. Der Pseudocode muss präzise, logisch und allgemeinverständlich sein, es soll keine echte Programmiersprache verwendet werden. Was der Computer (die Maschine) kann, ist aufgabenabhängig und wird jeweils explizit angegeben.
\inputaufgabegibtloesung
{}
{
Man entwerfe ein Computer-Programm
\zusatzklammer {Pseudocode} {} {,}
das zu einer vorgegebenen Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
entscheidet, ob $n$ eine Primzahl ist oder nicht.
\auflistungsieben{Der Computer besitzt beliebig viele Speicher, die natürliche Zahlen enthalten können.
}{Er kann einen Speicher leeren.
}{Er kann einen Speicherinhalt um $1$ erhöhen.
}{Er kann die Summe von zwei Speicherinhalten ausrechnen und in einen Speicher schreiben.
}{Er kann Speicherinhalte miteinander vergleichen und abhängig davon zu einem bestimmten Befehl wechseln.
}{Er kann Speicherinhalte ausdrucken und vorgegebene Texte ausdrucken.
}{Es gibt einen Haltebefehl.
}
Die Anfangskonfiguration sei
\mathdisp {(n,0,0,0,0,0,0, \ldots )} { }
mit
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{ 2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Das Programm soll \anfuehrung{$n$ ist eine Primzahl}{} oder \anfuehrung{$n$ ist keine Primzahl}{} ausdrucken und anschließend anhalten.
}
{} {}
\inputaufgabegibtloesung
{}
{
Man entwerfe ein Computer-Programm
\zusatzklammer {Pseudocode} {} {,}
das nacheinander die
\definitionsverweis {Fibonacci-Zahlen}{}{}
\zusatzklammer {also $f_1=1,f_2=1,f_3=2,f_4=3,f_5=5,f_6=8,f_7=13, ...$} {} {}
ausdruckt.
\auflistungfuenf{Der Computer besitzt beliebig viele Speicher, die natürliche Zahlen enthalten können.
}{Er kann einen Speicherinhalt in einen Speicher schreiben.
}{Er kann die Summe von zwei Speicherinhalten ausrechnen und in einen Speicher schreiben.
}{Er kann Speicherinhalte ausdrucken und vorgegebene Texte ausdrucken.
}{Es gibt einen Haltebefehl.
}
Die Anfangskonfiguration sei
\mathdisp {(1,0,0,0,0,0,0, \ldots )} { . }
Das Programm soll unendlich lange laufen und nacheinander \anfuehrung{Die}{} $n$ \anfuehrung{-te Fibonacci-Zahl ist }{} $f_n$ ausdrucken.
}
{} {}
\inputaufgabe
{}
{
Es sei $A(n)$ eine Aussage\zusatzklammer {nform} {} {,}
in die man eine natürliche Zahl einsetzen kann. Diskutiere den Unterschied zwischen den beiden Aussagen
\mathdisp {{ \left( \forall n A(n) \right) } \rightarrow { \left( \forall n A(n+1) \right) } \text{ und } \forall n { \left( A(n) \rightarrow A(n+1) \right) }} { . }
Was ist die mathematische Relevanz der beiden Aussagen?
}
{} {}
Unter der \definitionswort {Collatz-Rekursion}{} \zusatzklammer {oder \stichwort {Collatz-Vorschrift} {}} {} {} versteht man die folgende Vorschrift, aus einer natürlichen Zahl $k$ eine neue Zahl zu konstruieren. \einrueckung{Wenn $k$ gerade ist, so nehme man von $k$ die Hälfte.} \einrueckung{Wenn $k$ ungerade ist, so multipliziere man $k$ mit $3$ und addiere dann $1$ dazu.}
Unter der \stichwort {Collatz-Folge} {} zum Startwert $m$ versteht man die Folge der Zahlen, die entsteht, wenn man auf $m$ die Collatz-Rekursion anwendet.
\inputaufgabe
{}
{
Berechne die
\definitionsverweis {Collatz-Folge}{}{}
zum Startwert
\mathl{100}{} im Kopf, bis der Wert $1$ erreicht ist.
}
{} {}
Das Collatz-Problem ist die Frage, ob bei jedem Startglied die zugehörige Collatz-Folge irgendwann die $1$ erreicht. Dies ist ein offenes Problem der Mathematik.
\zwischenueberschrift{Aufgaben zum Abgeben}
\inputaufgabe
{2}
{
Wir verstehen die Aussage \anfuehrung{Igel haben Stacheln}{} als \anfuehrung{Jeder Igel besitzt mindestens einen Stachel}{.} Welche der folgenden Aussagen sind äquivalent zur Negation dieser Aussage. \aufzaehlungzweireihe {\itemfuenf {Es gibt keinen Igel, der keine Stacheln besitzt. }{Alle Igel haben keine Stacheln. }{Es gibt einen Igel, der keinen Stachel besitzt. }{Es gibt einen Stachel, der zu keinem Igel gehört. }{Es gibt einen Igel ohne Stacheln. } } {\itemfuenf {Es gibt viele Igel ohne Stacheln. }{Es existiert mindestens ein Igel, der mindestens einen Stachel besitzt. }{Es existiert mindestens ein Igel, der höchstens einen Stachel besitzt. }{Nicht jeder Igel hat mindestens einen Stachel. }{Stachelschweine haben auch Stacheln. } }
}
{} {}
\inputaufgabe
{6}
{
Es bedeute
\mathl{F(x,y)}{,} dass $x$ ein Freund von $y$ ist. Wir betrachten den Satz
\anfuehrung{Alle Freunde von Paula \zusatzklammer {$P$} {} {} sind auch Freunde von Susanna \zusatzklammer {
\mathl{S}{}} {} {.}}{}
Beantworte für jede der folgenden Formalisierungen, was sie umgangssprachlich bedeuten, ob sie wahr sind
\zusatzklammer {hier gibt es einen gewissen Interpretationsspielraum} {} {}
und ob sie den angegebenen Sachverhalt ausdrücken
\zusatzklammer {die Quantoren beziehen sich dabei auf die Menge der Menschen} {} {.}
\aufzaehlungzweireihe {\itemsechs {
\mathdisp {\forall x \exists y F(x,y)} { , }
}{
\mathdisp {\forall x F(P,x) \rightarrow \forall x F(S,x)} { , }
}{
\mathdisp {\forall x \forall y { \left( F(x,y) \rightarrow F(y,x) \right) }} { , }
}{
\mathdisp {\forall x \forall y { \left( F(x,y) \rightarrow F(x,y) \right) }} { , }
}{
\mathdisp {\exists x \forall y F(x,y)} { , }
}{
\mathdisp {\forall x { \left( F(P,x) \rightarrow F(x,S) \right) }} { , }
} } {\itemsechs {
\mathdisp {\forall x { \left( \forall y { \left( F(x,y) \rightarrow \forall z F(x,z) \right) } \right) }} { , }
}{
\mathdisp {\forall x F(x,P) \rightarrow \forall x F(x,S)} { , }
}{
\mathdisp {\forall x { \left( F(x,P) \rightarrow F(x,S) \right) }} { , }
}{
\mathdisp {\forall x { \left( \forall y F(x,y) \rightarrow F(x,x) \right) }} { , }
} {
\mathdisp {\forall x F(x,x)} { , }
} {
\mathdisp {\exist x \forall y { \left( \neg F(x,y) \right) }} { . }
} }
}
{} {}
\inputaufgabe
{3}
{
Es sei
\mavergleichskette
{\vergleichskette
{m
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Zeige durch Induktion die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ (2m+1) \prod_{i = 1}^m (2i-1)^2
}
{ =} { \prod_{k = 1}^m (4k^2-1)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{4}
{
Eine $n$-Schokolade ist ein rechteckiges Raster, das durch
\mathl{a -1}{} Längsrillen und
\mathl{b-1}{} Querrillen in
\mavergleichskette
{\vergleichskette
{ n
}
{ = }{a \cdot b
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{a,b
}
{ \in }{\N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
mundgerechte kleinere Rechtecke eingeteilt ist. Ein Teilungsschritt an einer Schokolade ist das vollständige Durchtrennen einer Schokolade längs einer Längs- oder Querrille. Eine vollständige Aufteilung einer Schokolade ist eine Folge von Teilungsschritten
\zusatzklammer {an der Ausgangsschokolade oder an einer zuvor erhaltenen Zwischenschokolade} {} {,}
deren Endprodukt aus den einzelnen Mundgerechtecken besteht. Zeige durch Induktion, dass jede vollständige Aufteilung einer $n$-Schokolade aus genau
\mathl{n-1}{} Teilungsschritten besteht.
}
{} {}
\inputaufgabe
{2}
{
Beweise durch Induktion, dass die Folge der \definitionsverweis {Fibonacci-Zahlen}{}{} die Regelmäßigkeit
ungerade-ungerade-gerade
aufweist.
}
{} {}
\inputaufgabe
{2 (1+1)}
{
\aufzaehlungzwei {Bestimme die Glieder
\mathl{a_0,a_1,a_2 , \ldots , a_{10}}{} der
\definitionsverweis {Collatz-Folge}{}{}
zum Startwert
\mavergleichskette
{\vergleichskette
{a_0
}
{ = }{152
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {Berechne
\mathl{\sum_{i = 1}^{8} a_i}{.}
}
}
{} {}
\inputaufgabe
{5}
{
Man entwerfe ein Computer-Programm
\zusatzklammer {Pseudocode} {} {,}
das zu einer vorgegebenen natürlichen Zahl
\mavergleichskette
{\vergleichskette
{n
}
{ \geq }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die zugehörige
\definitionsverweis {Collatz-Folge}{}{}
berechnet und anhält, wenn dabei die $1$ erreicht wird.
\auflistungacht{Der Computer besitzt beliebig viele Speicher, die natürliche Zahlen enthalten können.
}{Er kann einen Speicher leeren.
}{Er kann einen Speicherinhalt um $1$ erhöhen.
}{Er kann einen Speicherinhalt in einen Speicher schreiben.
}{Er kann die Summe von zwei Speicherinhalten ausrechnen und in einen Speicher schreiben.
}{Er kann Speicherinhalte miteinander vergleichen und abhängig davon zu einem bestimmten Befehl wechseln.
}{Er kann Speicherinhalte ausdrucken und vorgegebene Texte ausdrucken.
}{Es gibt einen Haltebefehl.
}
Die Anfangskonfiguration sei
\mathdisp {(n,0,0,0,0,0,0, \ldots )} { . }
Das Programm soll nacheinander die Collatz-Folge ausgehend von $n$ berechnen und anhalten, wenn die $1$ erreicht ist.
}
{} {}