Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Berechenbarkeits- und Komplexitätstheorie (http://www.informatikerboard.de/board/board.php?boardid=15)
----- Primitiv Rekursion (http://www.informatikerboard.de/board/thread.php?threadid=1909)

Geschrieben von Ackermann am 11.09.2014 um 12:27:

  Primitiv Rekursion

Meine Frage:
Ich will zeigen, dass [latex] f(n)=n![/latex] primitiv rekursiv ist.

Meine Ideen:
Ich setze [latex]f(0)=1[/latex] und [latex]f(n+1)=\mathrm{mult}(f(n),n+1)[/latex]. Reicht das schon so?


Geschrieben von Karlito am 11.09.2014 um 17:47:

 

Ich denke das geht so. Alternativ:

[latex]f(0) = 1[/latex] und [latex]f(n)=n*f(n-1)[/latex] oder um mit deiner Multiplikation zu rechnen:

[latex]f(0) = 1[/latex] und [latex]f(n)=mult(n,f(n-1))[/latex]

Gruß,

Karlito


Forensoftware: Burning Board, entwickelt von WoltLab GmbH