Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 21:45, 13 lut 2013 (różn. | hist.) . . (-17) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 21:44, 13 lut 2013 (różn. | hist.) . . (+222) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 21:42, 13 lut 2013 (różn. | hist.) . . (+191) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 21:36, 13 lut 2013 (różn. | hist.) . . (+261) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 21:32, 13 lut 2013 (różn. | hist.) . . (+375) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 21:20, 13 lut 2013 (różn. | hist.) . . (+281) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 21:04, 13 lut 2013 (różn. | hist.) . . (+214) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 20:34, 13 lut 2013 (różn. | hist.) . . (+573) . . SpecVer/IloczynSkalarny (→Algorytm)
- 20:04, 13 lut 2013 (różn. | hist.) . . (+280) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 19:52, 13 lut 2013 (różn. | hist.) . . (+82) . . Wybrane przykłady
- 19:49, 13 lut 2013 (różn. | hist.) . . (+63) . . N SpecVer/IloczynSkalarny (Utworzył nową stronę „== Algorytm == == Dowód poprawności == == Uwagi końcowe ==”)
- 19:04, 13 lut 2013 (różn. | hist.) . . (-4) . . SpecVer/Winograd (→Dowód poprawności)
- 17:11, 13 lut 2013 (różn. | hist.) . . (+54) . . SpecVer/Winograd (→Uwagi końcowe)
- 16:06, 13 lut 2013 (różn. | hist.) . . (+359) . . SpecVer/Winograd (→Dowód poprawności)
- 15:50, 13 lut 2013 (różn. | hist.) . . (+488) . . Algorytm Winograda (ostatnia)
- 15:28, 13 lut 2013 (różn. | hist.) . . (+94) . . Wybrane przykłady
- 11:51, 13 lut 2013 (różn. | hist.) . . (+77) . . SpecVer/Winograd (→Uwagi końcowe)
- 11:42, 13 lut 2013 (różn. | hist.) . . (-19) . . SpecVer/Winograd (→Dowód lematu 5)
- 11:41, 13 lut 2013 (różn. | hist.) . . (-127) . . SpecVer/Winograd (→Dowód lematu 5)
- 11:40, 13 lut 2013 (różn. | hist.) . . (+255) . . SpecVer/Winograd (→Dowód lematu 5)
- 08:55, 13 lut 2013 (różn. | hist.) . . (0) . . SpecVer/Winograd (→Dowód lematu 1)
- 08:54, 13 lut 2013 (różn. | hist.) . . (0) . . SpecVer/Winograd (→Dowód lematu 1)
- 08:49, 13 lut 2013 (różn. | hist.) . . (-15) . . SpecVer/Winograd (→Dowód poprawności)
- 08:44, 13 lut 2013 (różn. | hist.) . . (+397) . . SpecVer/Winograd (→Algorytm)
- 08:24, 13 lut 2013 (różn. | hist.) . . (+50) . . SpecVer/Winograd (→Uwagi końcowe)
- 20:46, 12 lut 2013 (różn. | hist.) . . (+225) . . SpecVer/Winograd (→Uwagi końcowe)
- 20:39, 12 lut 2013 (różn. | hist.) . . (+48) . . Wybrane przykłady
- 18:42, 12 lut 2013 (różn. | hist.) . . (+20) . . SpecVer/Winograd (→Dowód poprawności)
- 18:30, 12 lut 2013 (różn. | hist.) . . (+3) . . SpecVer/Winograd (→Dowód poprawności)
- 18:25, 12 lut 2013 (różn. | hist.) . . (+23) . . Loglan'82 (→Wybrane Przykłady)
- 18:24, 12 lut 2013 (różn. | hist.) . . (+2) . . Wybrane przykłady
- 18:21, 12 lut 2013 (różn. | hist.) . . (+20) . . Wybrane przykłady
- 18:06, 12 lut 2013 (różn. | hist.) . . (+59) . . SpecVer/Winograd (→Algorytm)
- 17:55, 12 lut 2013 (różn. | hist.) . . (+7) . . SpecVer/Winograd (→Dowód lematu 1)
- 17:54, 12 lut 2013 (różn. | hist.) . . (+3) . . SpecVer/Winograd (→Dowód lematu 1)
- 17:53, 12 lut 2013 (różn. | hist.) . . (+28) . . SpecVer/Winograd (→Dowód poprawności)
- 17:28, 12 lut 2013 (różn. | hist.) . . (-1218) . . SpecVer/Winograd (→Algorytm)
- 15:11, 12 lut 2013 (różn. | hist.) . . (0) . . Wybrane przykłady
- 15:09, 12 lut 2013 (różn. | hist.) . . (+51) . . Wybrane przykłady
- 15: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...”)
- 14: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...”)
- 14:49, 12 lut 2013 (różn. | hist.) . . (+682) . . SpecVer/Winograd (→Uwagi końcowe)
- 12:13, 12 lut 2013 (różn. | hist.) . . (+212) . . SpecVer/Winograd (→Uwagi końcowe)
- 12:08, 12 lut 2013 (różn. | hist.) . . (+61) . . SpecVer/Winograd (→Uwagi końcowe)
- 11:57, 12 lut 2013 (różn. | hist.) . . (+1309) . . SpecVer/Winograd (→Dowód lematu 5)
- 11:49, 12 lut 2013 (różn. | hist.) . . (+1) . . SpecVer/Winograd (→Dowód lematu 5)
- 11:47, 12 lut 2013 (różn. | hist.) . . (-2) . . SpecVer/Winograd (→Dowód lematu 5)
- 11:46, 12 lut 2013 (różn. | hist.) . . (-390) . . SpecVer/Winograd (→Dowody lematów)
- 11:38, 12 lut 2013 (różn. | hist.) . . (-85) . . SpecVer/Winograd (→Dowód poprawności)
- 11:35, 12 lut 2013 (różn. | hist.) . . (+1) . . SpecVer/Winograd (→Dowód poprawności)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
