Wybrane przykłady: Różnice pomiędzy wersjami
Z Lem
| (Nie pokazano 6 pośrednich wersji utworzonych przez tego samego użytkownika) | |||
| Linia 2: | Linia 2: | ||
Stronie z programem powinna towarzyszyć strona z analizą tego programu. | Stronie z programem powinna towarzyszyć strona z analizą tego programu. | ||
| + | |||
| + | |||
{|style="width:100%;" | {|style="width:100%;" | ||
| − | !Program | + | |+ Tabelka wybranych programów w Loglanie |
| − | !Artykuł o programie | + | !style="text-align:left" |Program |
| + | !style="text-align:left" |Artykuł o programie | ||
|- | |- | ||
| − | [[Algorytm Winograda]] | + | | [[Algorytm Euklidesa]] (inaczej) |
| + | | [[Analiza algorytmu Euklidesa]] (w tej postaci) | ||
| + | |- | ||
| + | | Algorytm iloczyn skalarny | ||
| + | | [[SpecVer/IloczynSkalarny|Dowód poprawności iloczynu skalarnego]] | ||
| + | |- | ||
| + | |[[Algorytm Winograda]] | ||
| [[SpecVer/Winograd|Dowód poprawności algorytmu.]] | | [[SpecVer/Winograd|Dowód poprawności algorytmu.]] | ||
| + | |- | ||
| + | |style="text-align:center" colspan=2 |''Współprogramy'' | ||
| + | |- | ||
| + | |Łączenie drzew binarnych poszukiwań | ||
| + | |Analiza | ||
|} | |} | ||
| − | |||
| − | |||
Aktualna wersja na dzień 10: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 |
