Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (100 nowszych | 100 starszych) (20 | 50 | 100 | 250 | 500)
- 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)
- 12:34, 12 lut 2013 (różn. | hist.) . . (+85) . . SpecVer/Winograd (→Dowód poprawności)
- 10:44, 12 lut 2013 (różn. | hist.) . . (-45) . . SpecVer/Winograd (→Dowód poprawności)
- 10:12, 12 lut 2013 (różn. | hist.) . . (+7882) . . SpecVer/Winograd (→Algorytm)
- 10:08, 12 lut 2013 (różn. | hist.) . . (+14) . . SpecVer/Winograd (→Algorytm)
- 10:06, 12 lut 2013 (różn. | hist.) . . (+5219) . . N SpecVer/Winograd (Utworzył nową stronę „== Przedstawiamy algorytm Winograda i dowód jego poprawności. == == Wprowadzenie == Algorytm Winograda może być przydatny w obliczaniu iloczynu macierzy kwadrat...”)
- 09:38, 12 lut 2013 (różn. | hist.) . . (+137) . . SpecVer:O projekcie
- 10:27, 10 lut 2013 (różn. | hist.) . . (+2) . . SpecVer:O projekcie
- 09:01, 10 lut 2013 (różn. | hist.) . . (+9) . . SpecVer:O projekcie
- 09:00, 10 lut 2013 (różn. | hist.) . . (+31) . . N Szablon:Witaj (Utworzył nową stronę „Witaj na stronach projektu LEM!”) (ostatnia)
- 23:44, 9 lut 2013 (różn. | hist.) . . (0) . . Plik:Winograd.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:Winograd.pdf“: Procedura Winograd do mnożenia macierzy.) (ostatnia)
- 23:42, 9 lut 2013 (różn. | hist.) . . (+2) . . Kompilatory na Linuksie (→Samodzielne kompilacja)
- 18:10, 8 lut 2013 (różn. | hist.) . . (+457) . . Kompilatory na Linuksie (→Wtyczka do Eclipse (opracował A. Chwedoruk))
- 18:02, 8 lut 2013 (różn. | hist.) . . (+6) . . Kompilatory na Linuksie (→Kompilator i środowisko VLP)
- 10:44, 8 lut 2013 (różn. | hist.) . . (+1) . . SpecVer (→Zobacz też)
- 07:23, 8 lut 2013 (różn. | hist.) . . (+6943) . . N Szablon:Cytuj pismo (Utworzył nową stronę „<cite style="font-style:normal">{{#if: {{{autor|}}}{{{nazwisko|}}} |{{#if: {{{autor link|}}} |[[{{{autor link}}}|{{#if: {{{nazwisko|}}} ...”)
- 07:20, 8 lut 2013 (różn. | hist.) . . (-2) . . SpecVer
- 07:03, 8 lut 2013 (różn. | hist.) . . (-11) . . SpecVer
- 07:01, 8 lut 2013 (różn. | hist.) . . (+27) . . SpecVer
- 00:18, 7 lut 2013 (różn. | hist.) . . (+4) . . Loglan'82 (→ Współprogramy)
- 00:07, 7 lut 2013 (różn. | hist.) . . (-4) . . Kompilatory na Linuksie
- 00:04, 7 lut 2013 (różn. | hist.) . . (+24) . . Kompilatory na Linuksie (→Wtyczka do Eclipse (opracował A. Chwedoruk))
- 00:03, 7 lut 2013 (różn. | hist.) . . (+24) . . Kompilatory
- 00:00, 7 lut 2013 (różn. | hist.) . . (+23) . . DokumentacjaLoglanu (→Prezentacje i artykuły)
- 23:56, 6 lut 2013 (różn. | hist.) . . (+39) . . DokumentacjaLoglanu (→O instalowaniu Loglanu)
- 23:55, 6 lut 2013 (różn. | hist.) . . (+4) . . DokumentacjaLoglanu (→O instalowaniu Loglanu)
- 23:55, 6 lut 2013 (różn. | hist.) . . (+43) . . DokumentacjaLoglanu (→O instalowaniu Loglanu)
- 23:52, 6 lut 2013 (różn. | hist.) . . (+38) . . N Plik:Instalacja wtyczki do Eclipse.pdf (Category:Loglan'82/Dokumentacja) (ostatnia)
- 23:36, 6 lut 2013 (różn. | hist.) . . (+24) . . Loglan'82 (→Współprogramy)
- 23:35, 6 lut 2013 (różn. | hist.) . . (+1) . . Loglan'82 (→Wybrane Przykłady)
- 23:34, 6 lut 2013 (różn. | hist.) . . (0) . . Loglan'82 (→Wybrane Przykłady)
- 23:32, 6 lut 2013 (różn. | hist.) . . (+1) . . Loglan'82 (→Współprogramy)
- 23:30, 6 lut 2013 (różn. | hist.) . . (+2) . . Loglan'82 (→Wybrane Przykłady)
- 23:29, 6 lut 2013 (różn. | hist.) . . (+4) . . Loglan'82 (→Współprogramy)
- 23:25, 6 lut 2013 (różn. | hist.) . . (0) . . Plik:Winograd.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:Winograd.pdf“: mnożenie macierzy Category:Loglan'82/Examples)
- 22:00, 6 lut 2013 (różn. | hist.) . . (-1) . . Zadania do zrealizowania
- 21:57, 6 lut 2013 (różn. | hist.) . . (+1) . . Kompilatory
- 21:51, 6 lut 2013 (różn. | hist.) . . (+68) . . Kompilatory
- 21:43, 6 lut 2013 (różn. | hist.) . . (+15) . . Kompilatory na Linuksie
- 21:38, 6 lut 2013 (różn. | hist.) . . (+538) . . Kompilatory na Linuksie
- 21:25, 6 lut 2013 (różn. | hist.) . . (+8) . . Kompilatory na Linuksie
- 21:24, 6 lut 2013 (różn. | hist.) . . (+213) . . Kompilatory na Linuksie
- 21:20, 6 lut 2013 (różn. | hist.) . . (+159) . . Kompilatory na Linuksie
- 21:10, 6 lut 2013 (różn. | hist.) . . (0) . . Plik:Winograd.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:Winograd.pdf“: mnożenie macierzy metodą Winograda Category:Loglan'82/Examples)
- 21:05, 6 lut 2013 (różn. | hist.) . . (+53) . . N Plik:Winograd.pdf (mnożenie macierzy Category:Loglan'82/Examples)
- 21:03, 6 lut 2013 (różn. | hist.) . . (+70) . . Loglan'82 (→Wybrane Przykłady)
- 19:42, 6 lut 2013 (różn. | hist.) . . (+1) . . DokumentacjaLoglanu (→Podręczniki)
- 19:39, 6 lut 2013 (różn. | hist.) . . (+96) . . DokumentacjaLoglanu (→Podręczniki)
- 19:36, 6 lut 2013 (różn. | hist.) . . (+26) . . DokumentacjaLoglanu (→Podręczniki)
- 19:27, 6 lut 2013 (różn. | hist.) . . (+38) . . DokumentacjaLoglanu (→Podręczniki)
- 19:15, 6 lut 2013 (różn. | hist.) . . (+128) . . AndrzejSalwicki/piaskownica (ostatnia)
(od najświeższych | od najstarszych) Zobacz (100 nowszych | 100 starszych) (20 | 50 | 100 | 250 | 500)