Wybrane przykłady: Różnice pomiędzy wersjami
Z Lem
| 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%;" | |
| − | [[Algorytm Winograda]] | + | !Program |
| + | !Artykuł o programie | ||
| + | |- | ||
| + | [[Algorytm Winograda]] | ||
| + | | [[SpecVer/Winograd|Dowód poprawności algorytmu.]] | ||
| + | |} | ||
== Współprogramy == | == Współprogramy == | ||
Łączenie drzew binarnych poszukiwań Analiza | Łączenie drzew binarnych poszukiwań Analiza | ||
Wersja z 17:21, 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 |
|---|---|
| Dowód poprawności algorytmu. |
Współprogramy
Łączenie drzew binarnych poszukiwań Analiza
