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

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

@@ Linia 3: / Linia 3: @@
 Stronie z programem powinna towarzyszyć strona z analizą tego programu.
-[[Algorytm Winograda]]   __________________________                [[SpecVer:Winograd|Dowód poprawności algorytmu.]]
-== Współprogramy ==
+{|style="width:100%;"
-Łączenie drzew binarnych poszukiwań    Analiza
+|+ Tabelka wybranych programów w Loglanie
+!style="text-align:left" |Program
+!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]]
+|  [[SpecVer/Winograd|Dowód poprawności algorytmu.]]
+|-
+|style="text-align:center"   colspan=2 |''Współprogramy''
+|-
+|Łączenie drzew binarnych poszukiwań
+|Analiza
+|}