Wybrane przykłady: Różnice pomiędzy wersjami
Z Lem
| Linia 8: | Linia 8: | ||
!style="text-align:left" |Program | !style="text-align:left" |Program | ||
!style="text-align:left" |Artykuł o programie | !style="text-align:left" |Artykuł o programie | ||
| + | |- | ||
| + | | [[Algorytm Euklidesa]] (inaczej) | ||
| + | | Analiza algorytmu w tej postaci | ||
|- | |- | ||
| Algorytm iloczyn skalarny | | Algorytm iloczyn skalarny | ||
Wersja z 08:53, 15 lut 2013
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 w tej postaci |
| Algorytm iloczyn skalarny | Dowód poprawności |
| Algorytm Winograda | Dowód poprawności algorytmu. |
| Współprogramy | |
| Łączenie drzew binarnych poszukiwań | Analiza |
