230 likes | 367 Views
Weryfikacja poprawnosci programu . Weryfikacja opiera sie o sprawdzenie specyfikacji, kt
E N D
1.
2. Weryfikacja poprawnosci programu
Niezmienniki petli
Problem STOP-u
Zlozonosc obliczeniowa i asymptotyczna
Notacja „wielkie O ”
Notacja W i Q
Przyklady rzedów zlozonosci
Znajdowanie zlozonosci asymptotycznej Poprawnosc programu Zlozonosc obliczeniowa