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%;" | {|style="width:100%;" | ||
!Program | !Program | ||
!Artykuł o programie | !Artykuł o programie | ||
|- | |- | ||
| − | [[Algorytm Winograda]] | + | |[[Algorytm Winograda]] |
| [[SpecVer/Winograd|Dowód poprawności algorytmu.]] | | [[SpecVer/Winograd|Dowód poprawności algorytmu.]] | ||
|} | |} | ||
== Współprogramy == | == Współprogramy == | ||
Łączenie drzew binarnych poszukiwań Analiza | Łączenie drzew binarnych poszukiwań Analiza | ||
Wersja z 19:24, 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
