Grundbegriffe der Informatik - Einheit 5: Der Begriff des Algorithmus ...
Grundbegriffe der Informatik - Einheit 5: Der Begriff des Algorithmus ...
Grundbegriffe der Informatik - Einheit 5: Der Begriff des Algorithmus ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Annäherung an einen Korrektheitsbeweis (2)<br />
◮ Problem:<br />
Induktionsbeweise sind am Anfang schon schwer genug.<br />
◮ Aber müssen wir auch erst noch Aussagen Ai finden,<br />
◮ die wir erstens beweisen können, und<br />
◮ die uns zweitens zum gewünschten Ziel führt.<br />
<strong>Algorithmus</strong>begriff <strong>Algorithmus</strong> zur Multiplikation nichtnegativer ganzer Zahlen20/34