Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Praktische Informatik (http://www.informatikerboard.de/board/board.php?boardid=6)
---- Algorithmen (http://www.informatikerboard.de/board/board.php?boardid=17)
----- Wieso ist Induktion das Gegenteil von Rekursion? (http://www.informatikerboard.de/board/thread.php?threadid=798)


Geschrieben von Haary am 18.11.2010 um 12:13:

  Wieso ist Induktion das Gegenteil von Rekursion?

Meine Frage:
Hallo!
Ich acker gerade einen leichten Rekursionsalgorithmus durch von einem Foliensatz meiner Uni.
Unter dem Stichwort Korrektheitsbeweise- Rekursion steht:
"Rekursion ist das Gegenstück zu Induktion. Man kann daher die Korrektheit leicht per Indution zeigen"



Meine Ideen:
Wieso ist Rekursion das Gegenstück zu Induktion? Ich dachte es wäre das Gegenstück zu iterativen Vorgehensweise.



Geschrieben von ed209 am 18.11.2010 um 14:49:

 

Paß auf das nicht durcheinander zu werfen. Gegenstück ist nicht Gegenteil.
Mit "Induktion" ist hier sicherlich ein Beweisverfahren gemeint, und mit "Rekursion" eine Programmiertechnik.



Geschrieben von Haary am 19.11.2010 um 00:58:

 

ja und was heißt dann Gegenstück in dem Sinne genau?



Geschrieben von ed209 am 19.11.2010 um 10:32:

 

Ich denke es ist so gemeint, daß die Induktion für Beweise ist, was die Rekursion für Definitionen und Programme ist.


Forensoftware: Burning Board, entwickelt von WoltLab GmbH