Wróć do informacji o e-podręczniku Wydrukuj Pobierz materiał do PDF Pobierz materiał do EPUB Pobierz materiał do MOBI Zaloguj się, aby dodać do ulubionych Zaloguj się, aby skopiować i edytować materiał Zaloguj się, aby udostępnić materiał Zaloguj się, aby dodać całą stronę do teczki
Oceń projekt

Sprawdź się

1
Pokaż ćwiczenia:
1
Ćwiczenie 1
RzrbbJNpyzIwB
Dowód na częściową poprawność algorytmu przeprowadzony przy użyciu niezmienników pętli to przykład: Możliwe odpowiedzi: 1. dowodu przez indukcję, 2. dowodu nie wprost, 3. dowodu konstruktywnego
1
Ćwiczenie 2
R6ZwWdPQRZBFh
Niezmiennik pętli to: Możliwe odpowiedzi: 1. to samo, co warunek wykonywania pętli, 2. zdanie logiczne, które jest prawdziwe po wykonaniu iteracji pętli, jeżeli było prawdziwe przed nią, 3. fragment algorytmu, którego nie można zapisać za pomocą pętli
2
Ćwiczenie 3

Zapoznaj się z algorytmem i wykonaj ćwiczenie.

Linia 1. n ← 2. Linia 2. l ← 10. Linia 3. dopóki n otwórz nawias ostrokątny l wykonuj dwukropek. Linia 4. l ← n asterysk l. Linia 5. zwróć l.
REHPeG2py9xdK
Rozstrzygnij, czy zaprezentowany algorytm posiada własność stopu. Odpowiedź uzasadnij. (Uzupełnij).
R50dATJwkum3u2
Ćwiczenie 4
Uzupełnij zdanie. Tu uzupełnij poprawność algorytmu oznacza, że dla poprawnych danych wejściowych algorytm, jeżeli zakończy się wykonywać, zwróci poprawne dane wyjściowe.
2
Ćwiczenie 5

Zapoznaj się z algorytmem i wykonaj ćwiczenie.

Linia 1. wartość ← 1. Linia 2. i ← 1. Linia 3. dopóki i otwórz nawias ostrokątny znak równości n wykonuj dwukropek. Linia 4. wartość ← wartość asterysk i. Linia 5. i ← i plus 1. Linia 6. zwróć wartość.
RsV7dzFoXWPMp
Określ, jaki jest rezultat działania algorytmu dla pewnego n będącego dodatnią liczbą całkowitą. Podaj wartość zwróconą przez algorytm dla n = 5, n = 6, n = 8. Czy jesteś w stanie powiedzieć, jaka będzie jego wartość dla n = 51? (Uzupełnij).
3
Ćwiczenie 6
RwQavCwZuQFph
Uzupełnij zdania. Dowód na własność stopu 1. nie oznacza, 2. Jest, 3. może, 4. oznacza, 5. nie może, 6. Nie jest być pisany językiem naturalnym. 1. nie oznacza, 2. Jest, 3. może, 4. oznacza, 5. nie może, 6. Nie jest on wymagany do udowodnienia całkowitej poprawności algorytmu. Własność stopu 1. nie oznacza, 2. Jest, 3. może, 4. oznacza, 5. nie może, 6. Nie jest, że algorytm jest częściowo poprawny.
3
Ćwiczenie 7

Zapoznaj się z algorytmem i wykonaj ćwiczenie.

Linia 1. tab otwórz nawias kwadratowy 1 kropka kropka 10 zamknij nawias kwadratowy ← wprowadź liczby naturalne do tablicy. Linia 2. licznik ← 0. Linia 3. i ← 1. Linia 4. dopóki i otwórz nawias ostrokątny znak równości długość otwórz nawias okrągły tab zamknij nawias okrągły wykonuj dwukropek. Linia 5. jeżeli tab otwórz nawias kwadratowy i zamknij nawias kwadratowy mod 2 znak równości 0. Linia 6. licznik ← licznik plus 1. Linia 7. zwróć licznik.
R1BDb6LlxeqhF
Zaprezentowany algorytm podaje, ile jest liczb parzystych w tablicy danych. Jest on jednak niepoprawny. Napraw błąd w algorytmie i sprawdź jego poprawność dla przykładowych danych, a następnie dokonaj analizy jego poprawności. (Uzupełnij).
Dla zainteresowanych
3
Ćwiczenie 8
R9RG5Lu3ROiDs
Podaj przykład algorytmu, w którym do udowodnienia częściowej poprawności nie można wykorzystać niezmienników pętli. (Uzupełnij).
Schemat interaktywny
Dla nauczyciela