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ść.”) |
|||
| 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] | ||
Wersja z 20: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]
