Kod: Zaznacz cały
while 1 <= m do
m:=3m;
n:=4n; [TPI] Udowodnić niezmiennik
-
Matej91
- Użytkownik
- Posty: 178
- Rejestracja: 6 sty 2012, o 00:37
- Płeć: Mężczyzna
- Lokalizacja: Zielona Góra
- Podziękował: 24 razy
[TPI] Udowodnić niezmiennik
Udowodnić czy niezmiennik \(\displaystyle{ n^{2} \ge m ^{3}}\) jest prawdziwy dla następującej pętli:
Proszę o pomoc w rozwiązaniu tego zadania