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

Z Lem
Skocz do: nawigacji, wyszukiwania
Linia 8: Linia 8:
 
!style="text-align:left" |Program
 
!style="text-align:left" |Program
 
!style="text-align:left" |Artykuł o programie
 
!style="text-align:left" |Artykuł o programie
 +
|-
 +
| Algorytm iloczyn skalarny
 +
| [[SpecVer/IloczynSkalarny|Dowód poprawności ]]
 
|-
 
|-
 
|[[Algorytm Winograda]]   
 
|[[Algorytm Winograda]]   

Wersja z 19:52, 13 lut 2013

Na tych stronach umieszczamy wybrane przykłady programów w Loglanie'82.

Stronie z programem powinna towarzyszyć strona z analizą tego programu.


Tabelka wybranych programów w Loglanie
Program Artykuł o programie
Algorytm iloczyn skalarny Dowód poprawności
Algorytm Winograda Dowód poprawności algorytmu.
Współprogramy
Łączenie drzew binarnych poszukiwań Analiza