Euklides

Z Lem
Skocz do: nawigacji, wyszukiwania

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]