Wybrane przykłady: Różnice pomiędzy wersjami
Z Lem
| Linia 3: | Linia 3: | ||
Stronie z programem powinna towarzyszyć strona z analizą tego programu. | Stronie z programem powinna towarzyszyć strona z analizą tego programu. | ||
| − | [[Algorytm Winograda]] __________________________ [[SpecVer | + | [[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 15:11, 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.
Algorytm Winograda __________________________ Dowód poprawności algorytmu.
Współprogramy
Łączenie drzew binarnych poszukiwań Analiza
