Io-1-wyk-Slajd94

Z Studia Informatyczne
Wersja z dnia 19:45, 28 lis 2006 autorstwa MOchodek (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Silnia(17)

Silnia(17)


Podstawiając niezmiennik n w miejsce k dostajemy warunek końcowy i w ten sposób kończy się dowód poprawności tego podprogramu.


<< Poprzedni slajd | Spis treści | Następny slajd >>

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Io-1-wyk-Slajd94&oldid=66788”