Euklides: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
(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