Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 16:53, 12 lut 2013 (różn. | hist.) . . (+28) . . SpecVer/Winograd (→Dowód poprawności)
- 16:28, 12 lut 2013 (różn. | hist.) . . (-1218) . . SpecVer/Winograd (→Algorytm)
- 14:11, 12 lut 2013 (różn. | hist.) . . (0) . . Wybrane przykłady
- 14:09, 12 lut 2013 (różn. | hist.) . . (+51) . . Wybrane przykłady
- 14: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...”)
- 13: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...”)
- 13:49, 12 lut 2013 (różn. | hist.) . . (+682) . . SpecVer/Winograd (→Uwagi końcowe)
- 11:13, 12 lut 2013 (różn. | hist.) . . (+212) . . SpecVer/Winograd (→Uwagi końcowe)
- 11:08, 12 lut 2013 (różn. | hist.) . . (+61) . . SpecVer/Winograd (→Uwagi końcowe)
- 10:57, 12 lut 2013 (różn. | hist.) . . (+1309) . . SpecVer/Winograd (→Dowód lematu 5)
- 10:49, 12 lut 2013 (różn. | hist.) . . (+1) . . SpecVer/Winograd (→Dowód lematu 5)
- 10:47, 12 lut 2013 (różn. | hist.) . . (-2) . . SpecVer/Winograd (→Dowód lematu 5)
- 10:46, 12 lut 2013 (różn. | hist.) . . (-390) . . SpecVer/Winograd (→Dowody lematów)
- 10:38, 12 lut 2013 (różn. | hist.) . . (-85) . . SpecVer/Winograd (→Dowód poprawności)
- 10:35, 12 lut 2013 (różn. | hist.) . . (+1) . . SpecVer/Winograd (→Dowód poprawności)
- 10:35, 12 lut 2013 (różn. | hist.) . . (-8) . . SpecVer/Winograd (→Dowód poprawności)
- 10:34, 12 lut 2013 (różn. | hist.) . . (+85) . . SpecVer/Winograd (→Dowód poprawności)
- 08:44, 12 lut 2013 (różn. | hist.) . . (-45) . . SpecVer/Winograd (→Dowód poprawności)
- 08:12, 12 lut 2013 (różn. | hist.) . . (+7882) . . SpecVer/Winograd (→Algorytm)
- 08:08, 12 lut 2013 (różn. | hist.) . . (+14) . . SpecVer/Winograd (→Algorytm)
- 08: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...”)
- 07:38, 12 lut 2013 (różn. | hist.) . . (+137) . . SpecVer:O projekcie
- 08:27, 10 lut 2013 (różn. | hist.) . . (+2) . . SpecVer:O projekcie
- 07:01, 10 lut 2013 (różn. | hist.) . . (+9) . . SpecVer:O projekcie
- 07:00, 10 lut 2013 (różn. | hist.) . . (+31) . . N Szablon:Witaj (Utworzył nową stronę „Witaj na stronach projektu LEM!”) (ostatnia)
- 21: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)
- 21:42, 9 lut 2013 (różn. | hist.) . . (+2) . . Kompilatory na Linuksie (→Samodzielne kompilacja)
- 16:10, 8 lut 2013 (różn. | hist.) . . (+457) . . Kompilatory na Linuksie (→Wtyczka do Eclipse (opracował A. Chwedoruk))
- 16:02, 8 lut 2013 (różn. | hist.) . . (+6) . . Kompilatory na Linuksie (→Kompilator i środowisko VLP)
- 08:44, 8 lut 2013 (różn. | hist.) . . (+1) . . SpecVer (→Zobacz też)
- 05: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|}}} ...”)
- 05:20, 8 lut 2013 (różn. | hist.) . . (-2) . . SpecVer
- 05:03, 8 lut 2013 (różn. | hist.) . . (-11) . . SpecVer
- 05:01, 8 lut 2013 (różn. | hist.) . . (+27) . . SpecVer
- 22:18, 6 lut 2013 (różn. | hist.) . . (+4) . . Loglan'82 (→ Współprogramy)
- 22:07, 6 lut 2013 (różn. | hist.) . . (-4) . . Kompilatory na Linuksie
- 22:04, 6 lut 2013 (różn. | hist.) . . (+24) . . Kompilatory na Linuksie (→Wtyczka do Eclipse (opracował A. Chwedoruk))
- 22:03, 6 lut 2013 (różn. | hist.) . . (+24) . . Kompilatory
- 22:00, 6 lut 2013 (różn. | hist.) . . (+23) . . DokumentacjaLoglanu (→Prezentacje i artykuły)
- 21:56, 6 lut 2013 (różn. | hist.) . . (+39) . . DokumentacjaLoglanu (→O instalowaniu Loglanu)
- 21:55, 6 lut 2013 (różn. | hist.) . . (+4) . . DokumentacjaLoglanu (→O instalowaniu Loglanu)
- 21:55, 6 lut 2013 (różn. | hist.) . . (+43) . . DokumentacjaLoglanu (→O instalowaniu Loglanu)
- 21:52, 6 lut 2013 (różn. | hist.) . . (+38) . . N Plik:Instalacja wtyczki do Eclipse.pdf (Category:Loglan'82/Dokumentacja) (ostatnia)
- 21:36, 6 lut 2013 (różn. | hist.) . . (+24) . . Loglan'82 (→Współprogramy)
- 21:35, 6 lut 2013 (różn. | hist.) . . (+1) . . Loglan'82 (→Wybrane Przykłady)
- 21:34, 6 lut 2013 (różn. | hist.) . . (0) . . Loglan'82 (→Wybrane Przykłady)
- 21:32, 6 lut 2013 (różn. | hist.) . . (+1) . . Loglan'82 (→Współprogramy)
- 21:30, 6 lut 2013 (różn. | hist.) . . (+2) . . Loglan'82 (→Wybrane Przykłady)
- 21:29, 6 lut 2013 (różn. | hist.) . . (+4) . . Loglan'82 (→Współprogramy)
- 21: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)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
