Aufgaben:
1. Beweisen Sie die folgende Formel:
\( \left(\sum \limits_{i=0}^{n-1} b_{i} \cdot 2^{i}\right) \bmod 2=b_{0} \)
wobei \( n \in \mathbb{N}, b_{i} \in\{0,1\}, i \in\{0, \ldots, n-1\} \) und \( mod \) der Rest der ganzzahligen Division ist.
2. Wie kann die Formel aus obiger Teilaufgabe zur Konvertierung einer nichtnegativen Ganzzahl \( x \) in das Binärsystem verwendet werden? Entwickeln Sie einen Algorithmus, der angibt, wie die Konvertierung von \( x \in \mathbb{N}_{0} \) durchzuführen ist.
Hinweis: Vergessen Sie nicht, die Eingaben und Ausgaben des Algorithmus zu definieren sowie eine korrekte Endbedingung zu formulieren.