Wybrane przykłady

Z Lem
Skocz do: nawigacji, wyszukiwania

Na tych stronach umieszczamy wybrane przykłady programów w Loglanie'82.

Stronie z programem powinna towarzyszyć strona z analizą tego programu.


Tabelka wybranych programów w Loglanie
Program Artykuł o programie
Algorytm Euklidesa (inaczej) Analiza algorytmu Euklidesa (w tej postaci)
Algorytm iloczyn skalarny Dowód poprawności iloczynu skalarnego
Algorytm Winograda Dowód poprawności algorytmu.
Współprogramy
Łączenie drzew binarnych poszukiwań Analiza