Euklides: Różnice pomiędzy wersjami
Z Lem
| (Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| 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]] |
Aktualna wersja na dzień 18:32, 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