Euklides
Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 19:29, 21 lis 2016
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]