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ń 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
