Io-1-wyk-Slajd92

Silnia(15)

I w ten sposób dowiedliśmy, że jeżeli na początku wykonania instrukcji while prawdą jest, że s jest równe k!, to po wykonaniu obu instrukcji przypisania nadal s będzie równe k!. Zatem faktycznie jest to niezmiennik tej pętli.

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