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%;"
 
{|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 18: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