Wybrane przykłady
Z Lem
Na tych stronach umieszczamy wybrane przykłady programów w Loglanie'82.
Stronie z programem powinna towarzyszyć strona z analizą tego programu.
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 |