Wybrane przykłady: Różnice pomiędzy wersjami
Z Lem
(Utworzył nową stronę „Na tych stronach umieszczamy wybrane przykłady programów w Loglanie'82. Stronie z programem powinna towarzyszyć strona z analizą tego programu. Algorytm Winog...”) |
|||
| 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 | + | [[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:09, 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
