Euklides: Różnice pomiędzy wersjami
Z Lem
Linia 2: | Linia 2: | ||
Przeczytaj nowy dowód poprawności algorytmu Euklidesa wykonywanego w dziedzinie liczb naturalnych | Przeczytaj nowy dowód poprawności algorytmu Euklidesa wykonywanego w dziedzinie liczb naturalnych | ||
− | [Media] | + | [Media:On-Euclids-algorithm.pdf] |
Wersja z 19:31, 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:On-Euclids-algorithm.pdf]