Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (100 nowszych | 100 starszych) (20 | 50 | 100 | 250 | 500)
- 23:35, 16 lut 2013 (różn. | hist.) . . (+9) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 23:34, 16 lut 2013 (różn. | hist.) . . (+623) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 21:41, 16 lut 2013 (różn. | hist.) . . (+22) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 21:31, 16 lut 2013 (różn. | hist.) . . (-9) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 21:13, 16 lut 2013 (różn. | hist.) . . (-18) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 18:50, 16 lut 2013 (różn. | hist.) . . (+1582) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 18:04, 16 lut 2013 (różn. | hist.) . . (+868) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:35, 16 lut 2013 (różn. | hist.) . . (-23) . . Algorytm Euklidesa
- 12:16, 16 lut 2013 (różn. | hist.) . . (+145) . . Algorytm Euklidesa
- 11:54, 16 lut 2013 (różn. | hist.) . . (+104) . . Analiza algorytmu Euklidesa
- 23:56, 15 lut 2013 (różn. | hist.) . . (+206) . . Analiza algorytmu Euklidesa
- 16:32, 15 lut 2013 (różn. | hist.) . . (+11) . . Algorytm Euklidesa
- 15:40, 15 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:36, 15 lut 2013 (różn. | hist.) . . (+12) . . Algorytm Euklidesa
- 15:33, 15 lut 2013 (różn. | hist.) . . (+71) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:31, 15 lut 2013 (różn. | hist.) . . (+1) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:17, 15 lut 2013 (różn. | hist.) . . (+14) . . Algorytm Euklidesa
- 15:09, 15 lut 2013 (różn. | hist.) . . (+84) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:06, 15 lut 2013 (różn. | hist.) . . (+320) . . Algorytm Euklidesa
- 14:23, 15 lut 2013 (różn. | hist.) . . (+298) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 14:15, 15 lut 2013 (różn. | hist.) . . (+89) . . Algorytm Euklidesa
- 14:13, 15 lut 2013 (różn. | hist.) . . (+25) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 14:12, 15 lut 2013 (różn. | hist.) . . (+411) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:28, 15 lut 2013 (różn. | hist.) . . (+24) . . Analiza algorytmu Euklidesa
- 13:15, 15 lut 2013 (różn. | hist.) . . (+277) . . Analiza algorytmu Euklidesa
- 13:06, 15 lut 2013 (różn. | hist.) . . (+307) . . Analiza algorytmu Euklidesa
- 12:47, 15 lut 2013 (różn. | hist.) . . (+772) . . Analiza algorytmu Euklidesa
- 12:01, 15 lut 2013 (różn. | hist.) . . (+580) . . N Analiza algorytmu Euklidesa (Utworzył nową stronę „ Należy udowodnić że algorytm zawsze kończy obliczenia. Algorytmiczne aksjomaty liczb naturalnych: :(n1) <math>(\forall n) (n+1 \neq 0 ) </math> :(n2) <math>(\...”)
- 11:36, 15 lut 2013 (różn. | hist.) . . (+16) . . Wybrane przykłady
- 11:11, 15 lut 2013 (różn. | hist.) . . (+2) . . Algorytm Euklidesa
- 11:11, 15 lut 2013 (różn. | hist.) . . (+3) . . Algorytm Euklidesa
- 11:08, 15 lut 2013 (różn. | hist.) . . (+450) . . N Algorytm Euklidesa (Utworzył nową stronę „(* Algorytm Euklidesa inaczej *) (* Dane: n>0 i m>0 liczby naturalne *) (* Wynik: nwd(n,m) *) '''while''' n ≠ m '''do''' :r:=0; :'''while''' r ≠n '''and''' r...”)
- 10:53, 15 lut 2013 (różn. | hist.) . . (+72) . . Wybrane przykłady
- 10:03, 15 lut 2013 (różn. | hist.) . . (-41) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 09:46, 15 lut 2013 (różn. | hist.) . . (+7) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 22:35, 14 lut 2013 (różn. | hist.) . . (-204) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 22:31, 14 lut 2013 (różn. | hist.) . . (+12) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 22:17, 14 lut 2013 (różn. | hist.) . . (+11) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 10:18, 14 lut 2013 (różn. | hist.) . . (+441) . . SpecVer/IloczynSkalarny (→Algorytm)
- 07:40, 14 lut 2013 (różn. | hist.) . . (+257) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 07:16, 14 lut 2013 (różn. | hist.) . . (+1143) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 00:32, 14 lut 2013 (różn. | hist.) . . (+181) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 00:21, 14 lut 2013 (różn. | hist.) . . (+451) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 23:53, 13 lut 2013 (różn. | hist.) . . (+10) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 23:52, 13 lut 2013 (różn. | hist.) . . (+384) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 23:41, 13 lut 2013 (różn. | hist.) . . (+34) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 23:30, 13 lut 2013 (różn. | hist.) . . (+963) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 23:12, 13 lut 2013 (różn. | hist.) . . (+864) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:53, 13 lut 2013 (różn. | hist.) . . (+875) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:45, 13 lut 2013 (różn. | hist.) . . (-17) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:44, 13 lut 2013 (różn. | hist.) . . (+222) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:42, 13 lut 2013 (różn. | hist.) . . (+191) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:36, 13 lut 2013 (różn. | hist.) . . (+261) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:32, 13 lut 2013 (różn. | hist.) . . (+375) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:20, 13 lut 2013 (różn. | hist.) . . (+281) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 22:04, 13 lut 2013 (różn. | hist.) . . (+214) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 21:34, 13 lut 2013 (różn. | hist.) . . (+573) . . SpecVer/IloczynSkalarny (→Algorytm)
- 21:04, 13 lut 2013 (różn. | hist.) . . (+280) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 20:52, 13 lut 2013 (różn. | hist.) . . (+82) . . Wybrane przykłady
- 20:49, 13 lut 2013 (różn. | hist.) . . (+63) . . N SpecVer/IloczynSkalarny (Utworzył nową stronę „== Algorytm == == Dowód poprawności == == Uwagi końcowe ==”)
- 20:04, 13 lut 2013 (różn. | hist.) . . (-4) . . SpecVer/Winograd (→Dowód poprawności)
- 18:11, 13 lut 2013 (różn. | hist.) . . (+54) . . SpecVer/Winograd (→Uwagi końcowe)
- 17:06, 13 lut 2013 (różn. | hist.) . . (+359) . . SpecVer/Winograd (→Dowód poprawności)
- 16:50, 13 lut 2013 (różn. | hist.) . . (+488) . . Algorytm Winograda (ostatnia)
- 16:28, 13 lut 2013 (różn. | hist.) . . (+94) . . Wybrane przykłady
- 12:51, 13 lut 2013 (różn. | hist.) . . (+77) . . SpecVer/Winograd (→Uwagi końcowe)
- 12:42, 13 lut 2013 (różn. | hist.) . . (-19) . . SpecVer/Winograd (→Dowód lematu 5)
- 12:41, 13 lut 2013 (różn. | hist.) . . (-127) . . SpecVer/Winograd (→Dowód lematu 5)
- 12:40, 13 lut 2013 (różn. | hist.) . . (+255) . . SpecVer/Winograd (→Dowód lematu 5)
- 09:55, 13 lut 2013 (różn. | hist.) . . (0) . . SpecVer/Winograd (→Dowód lematu 1)
- 09:54, 13 lut 2013 (różn. | hist.) . . (0) . . SpecVer/Winograd (→Dowód lematu 1)
- 09:49, 13 lut 2013 (różn. | hist.) . . (-15) . . SpecVer/Winograd (→Dowód poprawności)
- 09:44, 13 lut 2013 (różn. | hist.) . . (+397) . . SpecVer/Winograd (→Algorytm)
- 09:24, 13 lut 2013 (różn. | hist.) . . (+50) . . SpecVer/Winograd (→Uwagi końcowe)
- 21:46, 12 lut 2013 (różn. | hist.) . . (+225) . . SpecVer/Winograd (→Uwagi końcowe)
- 21:39, 12 lut 2013 (różn. | hist.) . . (+48) . . Wybrane przykłady
- 19:42, 12 lut 2013 (różn. | hist.) . . (+20) . . SpecVer/Winograd (→Dowód poprawności)
- 19:30, 12 lut 2013 (różn. | hist.) . . (+3) . . SpecVer/Winograd (→Dowód poprawności)
- 19:25, 12 lut 2013 (różn. | hist.) . . (+23) . . Loglan'82 (→Wybrane Przykłady)
- 19:24, 12 lut 2013 (różn. | hist.) . . (+2) . . Wybrane przykłady
- 19:21, 12 lut 2013 (różn. | hist.) . . (+20) . . Wybrane przykłady
- 19:06, 12 lut 2013 (różn. | hist.) . . (+59) . . SpecVer/Winograd (→Algorytm)
- 18:55, 12 lut 2013 (różn. | hist.) . . (+7) . . SpecVer/Winograd (→Dowód lematu 1)
- 18:54, 12 lut 2013 (różn. | hist.) . . (+3) . . SpecVer/Winograd (→Dowód lematu 1)
- 18:53, 12 lut 2013 (różn. | hist.) . . (+28) . . SpecVer/Winograd (→Dowód poprawności)
- 18:28, 12 lut 2013 (różn. | hist.) . . (-1218) . . SpecVer/Winograd (→Algorytm)
- 16:11, 12 lut 2013 (różn. | hist.) . . (0) . . Wybrane przykłady
- 16:09, 12 lut 2013 (różn. | hist.) . . (+51) . . Wybrane przykłady
- 16:06, 12 lut 2013 (różn. | hist.) . . (+2497) . . N Algorytm Winograda (Utworzył nową stronę „(* Algorytm Winograda mnozenia macierzy o rozmiarze n x n *) '''program''' Winograd; '''signal''' Niezgoda; '''unit''' Winograd: '''procedure'''(A,B: '''arrayof a...”)
- 15:56, 12 lut 2013 (różn. | hist.) . . (+290) . . N Wybrane przykłady (Utworzył nową stronę „Na tych stronach umieszczamy wybrane przykłady programów w Loglanie'82. Stronie z programem powinna towarzyszyć strona z analizą tego programu. Algorytm Winog...”)
- 15:49, 12 lut 2013 (różn. | hist.) . . (+682) . . SpecVer/Winograd (→Uwagi końcowe)
- 13:13, 12 lut 2013 (różn. | hist.) . . (+212) . . SpecVer/Winograd (→Uwagi końcowe)
- 13:08, 12 lut 2013 (różn. | hist.) . . (+61) . . SpecVer/Winograd (→Uwagi końcowe)
- 12:57, 12 lut 2013 (różn. | hist.) . . (+1309) . . SpecVer/Winograd (→Dowód lematu 5)
- 12:49, 12 lut 2013 (różn. | hist.) . . (+1) . . SpecVer/Winograd (→Dowód lematu 5)
- 12:47, 12 lut 2013 (różn. | hist.) . . (-2) . . SpecVer/Winograd (→Dowód lematu 5)
- 12:46, 12 lut 2013 (różn. | hist.) . . (-390) . . SpecVer/Winograd (→Dowody lematów)
- 12:38, 12 lut 2013 (różn. | hist.) . . (-85) . . SpecVer/Winograd (→Dowód poprawności)
- 12:35, 12 lut 2013 (różn. | hist.) . . (+1) . . SpecVer/Winograd (→Dowód poprawności)
- 12:35, 12 lut 2013 (różn. | hist.) . . (-8) . . SpecVer/Winograd (→Dowód poprawności)
(od najświeższych | od najstarszych) Zobacz (100 nowszych | 100 starszych) (20 | 50 | 100 | 250 | 500)