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

Z Lem
Skocz do: nawigacji, wyszukiwania
 
(Nie pokazano 3 pośrednich wersji utworzonych przez tego samego użytkownika)
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 Euklidesa]] (inaczej)
 +
| [[Analiza algorytmu Euklidesa]] (w tej postaci)
 +
|-
 +
| Algorytm iloczyn skalarny
 +
| [[SpecVer/IloczynSkalarny|Dowód poprawności iloczynu skalarnego]]
 
|-
 
|-
 
|[[Algorytm Winograda]]   
 
|[[Algorytm Winograda]]   

Aktualna wersja na dzień 10:52, 20 mar 2014

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 Euklidesa (inaczej) Analiza algorytmu Euklidesa (w tej postaci)
Algorytm iloczyn skalarny Dowód poprawności iloczynu skalarnego
Algorytm Winograda Dowód poprawności algorytmu.
Współprogramy
Łączenie drzew binarnych poszukiwań Analiza