Euklides: Różnice pomiędzy wersjami
Z Lem
(UWAGA! Zastąpienie treści hasła bardzo krótkim tekstem: „Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak można udowodnić jego poprawność.”) |
|||
(Nie pokazano 2 pośrednich wersji utworzonych przez tego samego użytkownika) | |||
Linia 1: | Linia 1: | ||
Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak można udowodnić jego poprawność. | 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]] |
Aktualna wersja na dzień 19: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