Wybrane przykłady: Różnice pomiędzy wersjami
Z Lem
| Linia 9: | Linia 9: | ||
|[[Algorytm Winograda]] | |[[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 | ||
|} | |} | ||
| − | |||
| − | |||
Wersja z 20:39, 12 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 Winograda | Dowód poprawności algorytmu. |
| Współprogramy | |
| Łączenie drzew binarnych poszukiwań | Analiza |
