Wybrane przykłady: Różnice pomiędzy wersjami
Z Lem
| (Nie pokazano 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| Linia 10: | Linia 10: | ||
|- | |- | ||
| [[Algorytm Euklidesa]] (inaczej) | | [[Algorytm Euklidesa]] (inaczej) | ||
| − | | Analiza algorytmu w tej postaci | + | | [[Analiza algorytmu Euklidesa]] (w tej postaci) |
|- | |- | ||
| Algorytm iloczyn skalarny | | Algorytm iloczyn skalarny | ||
| − | | [[SpecVer/IloczynSkalarny|Dowód poprawności ]] | + | | [[SpecVer/IloczynSkalarny|Dowód poprawności iloczynu skalarnego]] |
|- | |- | ||
|[[Algorytm Winograda]] | |[[Algorytm Winograda]] | ||
Aktualna wersja na dzień 09:52, 20 mar 2014
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 |
