Wybrane przykłady: Różnice pomiędzy wersjami

Z Lem
Skocz do: nawigacji, wyszukiwania
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:Winograd|Dowód poprawności algorytmu.]]
+
[[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