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 iloczyn skalarny Dowód poprawności
Algorytm Winograda Dowód poprawności algorytmu.
Współprogramy
Łączenie drzew binarnych poszukiwań Analiza