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

Z Lem
Skocz do: nawigacji, wyszukiwania
 
(Nie pokazano 6 pośrednich wersji utworzonych przez tego samego użytkownika)
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
+
|+ Tabelka wybranych programów w Loglanie
!Artykuł o programie
+
!style="text-align:left" |Program
 +
!style="text-align:left" |Artykuł o programie
 
|-
 
|-
[[Algorytm Winograda]]   
+
| [[Algorytm Euklidesa]] (inaczej)
 +
| [[Analiza algorytmu Euklidesa]] (w tej postaci)
 +
|-
 +
| Algorytm iloczyn skalarny
 +
| [[SpecVer/IloczynSkalarny|Dowód poprawności iloczynu skalarnego]]
 +
|-
 +
|[[Algorytm Winograda]]   
 
|  [[SpecVer/Winograd|Dowód poprawności algorytmu.]]
 
|  [[SpecVer/Winograd|Dowód poprawności algorytmu.]]
 +
|-
 +
|style="text-align:center"  colspan=2 |''Współprogramy''
 +
|-
 +
|Łączenie drzew binarnych poszukiwań   
 +
|Analiza
 
|}
 
|}
== Współprogramy ==
 
Łączenie drzew binarnych poszukiwań    Analiza
 

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