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

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

Algorytm Winograda
Program Artykuł o programie
Dowód poprawności algorytmu.

Współprogramy

Łączenie drzew binarnych poszukiwań Analiza