Io-1-wyk-Slajd94: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
(Brak różnic)
|
Aktualna wersja na dzień 19:45, 28 lis 2006
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.
