Wybrane przykłady

Z Lem
Wersja AndrzejSalwicki (dyskusja | edycje) z dnia 11:52, 20 mar 2014

(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
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
Źródło „http://lem12.uksw.edu.pl/index.php?title=Wybrane_przykłady&oldid=1267”