Io-1-wyk-Slajd94
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
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.
