kilka pytan do egzaminu

Czesc, przygotowując sie do egzaminu mam problem z kilkoma pytaniami, których nie rozumie i prosiłbym o pomoc i wytlumaczenie.

1.Jeśli program, który powinien wyliczać sumę elementów pewnego ciągu liczb całkowitych a
policzył iloczyn tych elementów, to znaczy że nie sprawdzono dla tego programu własności:
A. częściowej poprawności,
B. stopu,
C. określoności
D. żadnej z powyższych.

2.Jeśli w programie komputerowym zdarzył się błąd polegający na próbie wyliczania pierwiastka
kwadratowego z liczby ujemnej to znaczy że nie sprawdzono dla tego programu własności:
A. częściowej poprawności,
B. stopu
C. określoności
D. żadnej z powyższych

3.Którą z poniższych metod jest metodą dowodzenia częściowej poprawności algorytmów:
A. metoda liczników iteracji,
B. metoda malejacych wielkosci
C. metoda niezmienników iteracji
D. żadna z powyższych.

4.Własność algorytmu polegająca na tym, że dla każdych danych wejściowych spełniających
warunek poczatkowy obliczenie jest skończone nosi nazwę:
A. warunku początkowego,
B. warunku określoności,
C. warunku końcowego,
D. żadne z powyższych.

5.Jeśli program, który ma wyliczać maksimum elementów pewnego zbioru liczb całkowitych
policzył minimum tego zbioru, to znaczy że nie sprawdzono dla tego programu własności:
A. częściowej poprawności,
B. stopu
C. określoności
D. żadnej z powyższych

I może jeszcze mamy za ciebie iść na egzamin albo oddać prace domową? Może przynajmniej pokażesz które odpowiedzi wg ciebie są poprawne i dlaczego?

Zapytalem sie tylko o kilka pytań na forum z kilkunastu na które znalazłem odpowiedz i zrozumiałem sens, te tutaj nie znalazłem konkretnej odpowiedzi i nie rozumie sensu, mimo ze szukałem tez w google, dlatego poprosiłem o rade. To chyba nie jest złe ?

1- A czesciowej poprawnosci, wydaje mi sie ze nie sprawdzono czy konkretne dane na wejsciu, dochodząc do konca obliczen spelniają warunek koncowy. Albo C bo źle zostaly okreslone operacje algorytmu ? Nie wiem nie jestem pewny prosze o rade .

Co do 2 to mam takie samo zdanie jak do 1 pytania.

3- C bo to jest własnie ta metoda.

4-C definicja mówi "Mówimy, że algorytm A posiada własność określoności, gdy dla
każdych danych wejściowych spełniających alfa, obliczenie algorytmu nie
jest przerwane, gdyż wszystkie jego operacje są dobrze określone. "
lub określoność Stopu ale nie ma tego w odpowiedziach a definicja mówi " Mówimy, że algorytm posiada własność stopu wtedy i tylko
wtedy, gdy dla każdych danych wejściowych spełniających alfa
obliczenie jest skończone
» Program zatrzymuje się dla wszystkich możliwych danych"

5- to samo zdanie co do pytania 1 i 2.