Euklides

Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 19:32, 21 lis 2016

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Skocz do: nawigacji, wyszukiwania

Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak można udowodnić jego poprawność.

Przeczytaj nowy dowód poprawności algorytmu Euklidesa wykonywanego w dziedzinie liczb naturalnych Media:On-Euclids-algorithm.pdf