Wszystko Wszystkie Archiwum w.....i konto usunięte 26.05.2015, 07:41:25 2 + Jak FORMALNIE udowodnić że poniższy algorytm zwraca 1 dla n = 1 a 0 w pozostałych przypadkach? Będę bardzo wdzięczny za wszelkie podpowiedzi function K( n: word): word;begin if (n < 2) then K := n else K := K(n − 1) * K(n − 2);end;#programowanie #informatyka #algorytm #dwodformalny ponton ponton 26.05.2015, 10:14:44 2 + @wiwiwi: indukcja matematyczna jest jak najbardziej formalna kiciek kiciek 26.05.2015, 10:43:15 0 + @qwertyu: To jest prawdziwe dla n>=2. Do uzasadnienia należy jeszcze dodać n=1 i n=0. Wtedy mamy komplet liczb naturalnych.
w.....i konto usunięte 26.05.2015, 07:41:25 2 + Jak FORMALNIE udowodnić że poniższy algorytm zwraca 1 dla n = 1 a 0 w pozostałych przypadkach? Będę bardzo wdzięczny za wszelkie podpowiedzi function K( n: word): word;begin if (n < 2) then K := n else K := K(n − 1) * K(n − 2);end;#programowanie #informatyka #algorytm #dwodformalny
kiciek kiciek 26.05.2015, 10:43:15 0 + @qwertyu: To jest prawdziwe dla n>=2. Do uzasadnienia należy jeszcze dodać n=1 i n=0. Wtedy mamy komplet liczb naturalnych.
function K( n: word): word;
begin
if (n < 2) then K := n
else K := K(n − 1) * K(n − 2);
end;
#programowanie #informatyka #algorytm #dwodformalny