Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)
- 15:42, 14 mar 2014 (różn. | hist.) . . (+700) . . Loglan'82
- 14:45, 14 mar 2014 (różn. | hist.) . . (+145) . . Loglan'82
- 12:31, 14 mar 2014 (różn. | hist.) . . (+136) . . Loglan'82
- 11:21, 13 mar 2014 (różn. | hist.) . . (-5) . . Kompilator na Windows
- 11:20, 13 mar 2014 (różn. | hist.) . . (+46) . . Kompilator na Windows
- 11:18, 13 mar 2014 (różn. | hist.) . . (+98) . . Kompilator na Windows
- 13:50, 9 mar 2014 (różn. | hist.) . . (-44) . . Arytmetyka Algorytmiczna
- 13:38, 9 mar 2014 (różn. | hist.) . . (+18) . . Arytmetyka Algorytmiczna
- 13:33, 9 mar 2014 (różn. | hist.) . . (+331) . . Arytmetyka Algorytmiczna
- 12:55, 9 mar 2014 (różn. | hist.) . . (+1) . . DokumentacjaLoglanu
- 12:51, 9 mar 2014 (różn. | hist.) . . (+292) . . DokumentacjaLoglanu
- 12:42, 9 mar 2014 (różn. | hist.) . . (+194) . . N Plik:Instaluj Loglan na- Windows.pdf (Opis procedury instalacji środowiska VLP na platformie Windows. Jest to przeniesienie środowiska VLP z platformy Linux. Autorem tego dokumentu i wykonawcą przeniesienia jest Kamil Burzyński.) (ostatnia)
- 07:57, 9 mar 2014 (różn. | hist.) . . (-18) . . m Kompilatory
- 09:07, 22 lut 2014 (różn. | hist.) . . (+2) . . m SpecVer
- 13:04, 18 cze 2013 (różn. | hist.) . . (+24) . . Zadania do zrealizowania (ostatnia)
- 12:58, 18 cze 2013 (różn. | hist.) . . (+88) . . N Plik:Loglan.g4.odt (Gramatyka bezkontekstowa nowej wersji języka Loglan = wstępna wersja języka LEM v.0.1) (ostatnia)
- 10:38, 11 cze 2013 (różn. | hist.) . . (0) . . Przykłady
- 10:37, 11 cze 2013 (różn. | hist.) . . (+12) . . Przykłady
- 10:35, 11 cze 2013 (różn. | hist.) . . (+3) . . Przykłady
- 10:28, 11 cze 2013 (różn. | hist.) . . (+54) . . Przykłady
- 10:23, 11 cze 2013 (różn. | hist.) . . (+102) . . N Przykłady (Utworzono nową stronę "Na tej stronie znajdziesz odnośniki do pewnych wybranych przypadkowo programów napisanych w Loglanie")
- 10:21, 11 cze 2013 (różn. | hist.) . . (+16) . . DokumentacjaLoglanu (→Zobacz też)
- 20:10, 4 kwi 2013 (różn. | hist.) . . (0) . . Kompilatory na Linuksie (→Źródła) (ostatnia)
- 20:10, 4 kwi 2013 (różn. | hist.) . . (+28) . . Kompilatory na Linuksie (→Źródła)
- 18:10, 4 kwi 2013 (różn. | hist.) . . (+66) . . Kompilatory na Linuksie (→Źródła)
- 13:18, 4 kwi 2013 (różn. | hist.) . . (+1) . . Kompilatory na Linuksie (→Źródła)
- 13:17, 4 kwi 2013 (różn. | hist.) . . (+1) . . Kompilatory na Linuksie (→Źródła)
- 13:14, 4 kwi 2013 (różn. | hist.) . . (+11) . . Kompilatory na Linuksie (→Źródła)
- 13:12, 4 kwi 2013 (różn. | hist.) . . (+41) . . Kompilatory na Linuksie (→Źródła)
- 15:41, 3 kwi 2013 (różn. | hist.) . . (+10) . . Edytor dowodów (ostatnia)
- 12:40, 3 kwi 2013 (różn. | hist.) . . (+138) . . Edytor dowodów (→To jest tymczasowa strona opisująca wymagania na Edytor Dowodów)
- 12:37, 3 kwi 2013 (różn. | hist.) . . (0) . . N Plik:BST-Próba-dowodu.pdf (ostatnia)
- 12:34, 3 kwi 2013 (różn. | hist.) . . (+108) . . Edytor dowodów
- 12:26, 3 kwi 2013 (różn. | hist.) . . (+2) . . Main page
- 21:48, 31 mar 2013 (różn. | hist.) . . (+305) . . Loglan dla innych języków programowania (→Łączenie maszyn wirtualnych w wieloprocesorowy wirtualny komputer) (ostatnia)
- 19:31, 30 mar 2013 (różn. | hist.) . . (+1) . . Loglan dla innych języków programowania (→Protokół obcego wołania metod w obiektach wątkach)
- 19:29, 30 mar 2013 (różn. | hist.) . . (+309) . . Loglan dla innych języków programowania (→Protokół obcego wołania metod w obiektach wątkach)
- 15:30, 29 mar 2013 (różn. | hist.) . . (+122) . . Loglan dla innych języków programowania (→Protokół obcego wołania metod w obiektach wątkach)
- 13:40, 29 mar 2013 (różn. | hist.) . . (+7) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 13:38, 29 mar 2013 (różn. | hist.) . . (+133) . . Loglan dla innych języków programowania (→Wyznaczanie bezpośredniej superklasy)
- 12:46, 26 mar 2013 (różn. | hist.) . . (-5) . . Loglan dla innych języków programowania (→Bibliografia)
- 12:38, 26 mar 2013 (różn. | hist.) . . (-13) . . Loglan dla innych języków programowania (→Wyznaczanie bezpośredniej superklasy)
- 12:38, 26 mar 2013 (różn. | hist.) . . (-50) . . Loglan dla innych języków programowania (→Bibliografia)
- 14:08, 20 mar 2013 (różn. | hist.) . . (+31) . . Main page
- 14:06, 20 mar 2013 (różn. | hist.) . . (0) . . N Plik:Flag of Poland.svg.png (ostatnia)
- 14:05, 20 mar 2013 (różn. | hist.) . . (-22) . . Main page
- 13:44, 20 mar 2013 (różn. | hist.) . . (-28) . . Strona główna
- 13:43, 20 mar 2013 (różn. | hist.) . . (+66) . . Strona główna
- 13:34, 20 mar 2013 (różn. | hist.) . . (+21) . . N Plik:22px-English language.svg.png (flaga j. angielskiego) (ostatnia)
- 13:15, 20 mar 2013 (różn. | hist.) . . (-64) . . Strona główna
- 13:14, 20 mar 2013 (różn. | hist.) . . (+30) . . Strona główna
- 13:07, 20 mar 2013 (różn. | hist.) . . (-13) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 12:57, 20 mar 2013 (różn. | hist.) . . (0) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 12:55, 20 mar 2013 (różn. | hist.) . . (+10) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 12:51, 20 mar 2013 (różn. | hist.) . . (+37) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 10:32, 14 mar 2013 (różn. | hist.) . . (+255) . . Proof-checker (→Uwagi nt. proof-checkera.) (ostatnia)
- 10:27, 14 mar 2013 (różn. | hist.) . . (+320) . . N Proof-checker (Utworzył nową stronę „== Uwagi nt. proof-checkera. == # Proof-checker powinien być zdolny do analizy tekstów przygotowanych przez edytor dowodów. # Analizowany dowód składa się z fo...”)
- 10:17, 14 mar 2013 (różn. | hist.) . . (+560) . . SpecVer (→Narzędzia)
- 00:58, 14 mar 2013 (różn. | hist.) . . (0) . . Loglan dla innych języków programowania (→Wyznaczanie bezpośredniej superklasy)
- 20:39, 13 mar 2013 (różn. | hist.) . . (+60) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 20:37, 13 mar 2013 (różn. | hist.) . . (+1) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 20:36, 13 mar 2013 (różn. | hist.) . . (+51) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 20:34, 13 mar 2013 (różn. | hist.) . . (-19) . . SpecVer:O projekcie (ostatnia)
- 17:06, 13 mar 2013 (różn. | hist.) . . (+16) . . Edytor dowodów (→To jest tymczasowa strona opisująca wymagania na Edytor Dowodów)
- 17:05, 13 mar 2013 (różn. | hist.) . . (+448) . . Edytor dowodów
- 16:55, 13 mar 2013 (różn. | hist.) . . (+20) . . Edytor dowodów (→To jest tymczasowa strona opisująca wymagania na Edytor Dowodów)
- 13:12, 13 mar 2013 (różn. | hist.) . . (+274) . . Edytor dowodów
- 13:08, 13 mar 2013 (różn. | hist.) . . (-2) . . Edytor dowodów
- 13:03, 13 mar 2013 (różn. | hist.) . . (+398) . . N Edytor dowodów (Utworzył nową stronę „== To jest tymczasowa strona opisująca wymagania na ''Edytor Dowodów'' == Edytor dowodów, lub inaczej asystent tworzenia dowodów. Zadania # Prezentować dowód...”)
- 12:52, 13 mar 2013 (różn. | hist.) . . (+226) . . SpecVer
- 12:47, 13 mar 2013 (różn. | hist.) . . (+17) . . Main page
- 12:42, 13 mar 2013 (różn. | hist.) . . (+19) . . Strona główna
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane USA (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane Stany Zjednoczone/opis (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Mapa dane USA (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Mapa dane Stany Zjednoczone (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane Polska/opis (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane PRL (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane POL (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane Generalne Gubernatorstwo (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane 2RP (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane/opis/mapa (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane/opis (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo/core (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Osobny artykuł (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Mapa dane Polska (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Mapa dane POL (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Infobox nagłówek dodaj (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Infobox nagłówek (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Flaga/core (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Flaga (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Clear0 (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Bandera/core (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Bandera (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Ambox (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:! (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane Stany Zjednoczone (1 wersja) (ostatnia)
- 11:32, 13 mar 2013 (różn. | hist.) . . (0) . . m Szablon:Państwo dane Polska (1 wersja) (ostatnia)
- 11:26, 13 mar 2013 (różn. | hist.) . . (-1) . . Szablon:Cytuj pismo
- 08:09, 13 mar 2013 (różn. | hist.) . . (-34) . . SpecVer
- 09:08, 11 mar 2013 (różn. | hist.) . . (+36) . . Main page
- 08:25, 11 mar 2013 (różn. | hist.) . . (+35) . . Strona główna
- 22:53, 10 mar 2013 (różn. | hist.) . . (+33) . . Strona główna
- 22:50, 10 mar 2013 (różn. | hist.) . . (+47) . . Main page
- 22:46, 10 mar 2013 (różn. | hist.) . . (+758) . . N Main page (Utworzył nową stronę „LEM - the name of a new research program. The aim of the program is to find an answer the question: is it possible to define and implement a programming language of ...”)
- 13:49, 9 mar 2013 (różn. | hist.) . . (+19) . . Loglan'82
- 09:27, 9 mar 2013 (różn. | hist.) . . (+2) . . Loglan dla innych języków programowania (→Wyznaczanie bezpośredniej superklasy)
- 09:26, 9 mar 2013 (różn. | hist.) . . (+279) . . Loglan dla innych języków programowania (→Wyznaczanie bezpośredniej superklasy)
- 19:04, 8 mar 2013 (różn. | hist.) . . (0) . . Loglan dla innych języków programowania (→Wyznaczanie bezpośredniej superklasy)
- 13:47, 8 mar 2013 (różn. | hist.) . . (+277) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 13:33, 8 mar 2013 (różn. | hist.) . . (+6) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 13:30, 8 mar 2013 (różn. | hist.) . . (+3) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 13:29, 8 mar 2013 (różn. | hist.) . . (+1) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 13:29, 8 mar 2013 (różn. | hist.) . . (+35) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcią obiektów)
- 13:28, 8 mar 2013 (różn. | hist.) . . (+108) . . Loglan dla innych języków programowania (→Wyznaczanie bezpośredniej superklasy)
- 13:26, 8 mar 2013 (różn. | hist.) . . (+60) . . Loglan dla innych języków programowania (→Wyznaczanie bezpośredniej superklasy)
- 13:22, 8 mar 2013 (różn. | hist.) . . (+1) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 09:27, 8 mar 2013 (różn. | hist.) . . (+592) . . Loglan'82
- 09:17, 8 mar 2013 (różn. | hist.) . . (+321) . . Loglan'82
- 21:05, 7 mar 2013 (różn. | hist.) . . (+12) . . DokumentacjaLoglanu (→Zobacz też)
- 11:35, 7 mar 2013 (różn. | hist.) . . (+4) . . Niestandardowy model liczb naturalnych (ostatnia)
- 00:06, 7 mar 2013 (różn. | hist.) . . (0) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 00:03, 7 mar 2013 (różn. | hist.) . . (+8) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 00:00, 7 mar 2013 (różn. | hist.) . . (+357) . . Loglan dla innych języków programowania (→Bibliografia)
- 23:59, 6 mar 2013 (różn. | hist.) . . (+1) . . DokumentacjaLoglanu (→Bibliografia)
- 23:56, 6 mar 2013 (różn. | hist.) . . (0) . . Loglan dla innych języków programowania (→Bibliografia)
- 23:55, 6 mar 2013 (różn. | hist.) . . (+1) . . Loglan dla innych języków programowania (→Bibliografia)
- 23:48, 6 mar 2013 (różn. | hist.) . . (+257) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 23:43, 6 mar 2013 (różn. | hist.) . . (+52) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 23:39, 6 mar 2013 (różn. | hist.) . . (+4) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 23:36, 6 mar 2013 (różn. | hist.) . . (+4) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 23:35, 6 mar 2013 (różn. | hist.) . . (-2) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 23:34, 6 mar 2013 (różn. | hist.) . . (+2) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 21:16, 6 mar 2013 (różn. | hist.) . . (+2) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 21:15, 6 mar 2013 (różn. | hist.) . . (+192) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 20:37, 6 mar 2013 (różn. | hist.) . . (+37) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 20:34, 6 mar 2013 (różn. | hist.) . . (+251) . . Loglan dla innych języków programowania (→Bibliografia)
- 19:33, 6 mar 2013 (różn. | hist.) . . (+347) . . Loglan dla innych języków programowania (→Bibliografia)
- 19:15, 6 mar 2013 (różn. | hist.) . . (+321) . . Loglan dla innych języków programowania (→Bibliografia)
- 19:01, 6 mar 2013 (różn. | hist.) . . (-165) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 18:53, 6 mar 2013 (różn. | hist.) . . (+26) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 18:52, 6 mar 2013 (różn. | hist.) . . (-196) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 18:51, 6 mar 2013 (różn. | hist.) . . (+196) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 18:48, 6 mar 2013 (różn. | hist.) . . (+258) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 15:21, 6 mar 2013 (różn. | hist.) . . (+28) . . Loglan dla innych języków programowania
- 15:19, 6 mar 2013 (różn. | hist.) . . (+4) . . Loglan'82 (→Loglan dla innych języków programowania)
- 15:17, 6 mar 2013 (różn. | hist.) . . (+545) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 15:05, 6 mar 2013 (różn. | hist.) . . (-4) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 15:03, 6 mar 2013 (różn. | hist.) . . (+236) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 14:57, 6 mar 2013 (różn. | hist.) . . (-470) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 14:55, 6 mar 2013 (różn. | hist.) . . (+601) . . Loglan dla innych języków programowania (→Kreczmara system zarządzania pamięcia obiektów)
- 14:46, 6 mar 2013 (różn. | hist.) . . (+623) . . Loglan dla innych języków programowania
- 14:31, 6 mar 2013 (różn. | hist.) . . (0) . . Loglan dla innych języków programowania (→Bibliografia)
- 14:31, 6 mar 2013 (różn. | hist.) . . (+60) . . Loglan dla innych języków programowania
- 14:27, 6 mar 2013 (różn. | hist.) . . (+614) . . N Loglan dla innych języków programowania (Utworzył nową stronę „ Nasze doświadczenie uzyskane podczas pracy nad Loglanem'82 okazało się przydatne w sformułowaniu i rozwiązaniu natępującego zagadnienia występującego w j...”)
- 14:13, 6 mar 2013 (różn. | hist.) . . (+187) . . Loglan'82 (→Kompilatory)
- 12:42, 6 mar 2013 (różn. | hist.) . . (+69) . . Kompilator na Windows
- 12:36, 6 mar 2013 (różn. | hist.) . . (+192) . . Kompilatory na Linuksie (→Samodzielne kompilacja)
- 12:25, 6 mar 2013 (różn. | hist.) . . (+1) . . Kompilatory
- 12:23, 6 mar 2013 (różn. | hist.) . . (+28) . . Kompilatory
- 12:22, 6 mar 2013 (różn. | hist.) . . (+6) . . Kompilatory
- 12:20, 6 mar 2013 (różn. | hist.) . . (+16) . . Loglan'82 (→Kompilatory)
- 10:56, 6 mar 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa
- 10:15, 6 mar 2013 (różn. | hist.) . . (-19) . . DokumentacjaLoglanu (→Podręczniki)
- 10:14, 6 mar 2013 (różn. | hist.) . . (+21) . . DokumentacjaLoglanu (→Podręczniki)
- 22:17, 5 mar 2013 (różn. | hist.) . . (+25) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 21:59, 5 mar 2013 (różn. | hist.) . . (+2) . . DokumentacjaLoglanu (→Podręczniki)
- 21:58, 5 mar 2013 (różn. | hist.) . . (+44) . . DokumentacjaLoglanu (→Podręczniki)
- 21:54, 5 mar 2013 (różn. | hist.) . . (+207) . . DokumentacjaLoglanu (→Bibliografia)
- 21:48, 5 mar 2013 (różn. | hist.) . . (+9) . . DokumentacjaLoglanu
- 21:45, 5 mar 2013 (różn. | hist.) . . (+2914) . . DokumentacjaLoglanu (→Bibliografia)
- 21:33, 5 mar 2013 (różn. | hist.) . . (+302) . . DokumentacjaLoglanu (→Prezentacje i artykuły)
- 13:35, 5 mar 2013 (różn. | hist.) . . (0) . . SpecVer (→Bibliografia)
- 13:32, 5 mar 2013 (różn. | hist.) . . (0) . . Niestandardowy model liczb naturalnych (→Przypisy)
- 18:06, 28 lut 2013 (różn. | hist.) . . (+109) . . Kompilatory na Linuksie (→Wtyczka do Eclipse)
- 17:50, 28 lut 2013 (różn. | hist.) . . (-10) . . Kompilatory na Linuksie (→Kompilator i środowisko VLP)
- 17:49, 28 lut 2013 (różn. | hist.) . . (+19) . . Kompilatory na Linuksie (→Kompilator i środowisko VLP)
- 17:44, 28 lut 2013 (różn. | hist.) . . (-8) . . DokumentacjaLoglanu (→Podręczniki)
- 23:01, 27 lut 2013 (różn. | hist.) . . (+2) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:49, 27 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:48, 27 lut 2013 (różn. | hist.) . . (+33) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:31, 27 lut 2013 (różn. | hist.) . . (+2) . . Algorytm Euklidesa
- 15:31, 27 lut 2013 (różn. | hist.) . . (+9) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 15:30, 27 lut 2013 (różn. | hist.) . . (+31) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 11:09, 27 lut 2013 (różn. | hist.) . . (+21) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 10:59, 27 lut 2013 (różn. | hist.) . . (+99) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 10:55, 27 lut 2013 (różn. | hist.) . . (-7) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 10:45, 27 lut 2013 (różn. | hist.) . . (+194) . . Analiza algorytmu Euklidesa
- 10:04, 27 lut 2013 (różn. | hist.) . . (+95) . . Analiza algorytmu Euklidesa
- 13:21, 26 lut 2013 (różn. | hist.) . . (+4) . . Kompilator na Windows
- 12:25, 26 lut 2013 (różn. | hist.) . . (+1) . . Kompilator na Windows
- 12:22, 26 lut 2013 (różn. | hist.) . . (+112) . . Kompilator na Windows
- 08:38, 22 lut 2013 (różn. | hist.) . . (+1019) . . SpecVer (→Algorytmiczna teoria stosów)
- 22:39, 21 lut 2013 (różn. | hist.) . . (+6) . . SpecVer (→Algorytmiczna teoria stosów)
- 22:06, 21 lut 2013 (różn. | hist.) . . (+15) . . SpecVer (→Algorytmiczna teoria drzew binarnych poszukiwań)
- 22:04, 21 lut 2013 (różn. | hist.) . . (+4) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 22:02, 21 lut 2013 (różn. | hist.) . . (+1) . . SpecVer (→Algorytmiczna teoria drzew binarnych poszukiwań)
- 22:01, 21 lut 2013 (różn. | hist.) . . (+59) . . SpecVer (→Algorytmiczna teoria drzew binarnych poszukiwań)
- 21:58, 21 lut 2013 (różn. | hist.) . . (+10) . . SpecVer (→Algorytmiczna teoria drzew binarnych poszukiwań)
- 21:56, 21 lut 2013 (różn. | hist.) . . (+238) . . SpecVer (→Algorytmiczna teoria drzew binarnych poszukiwań)
- 21:55, 21 lut 2013 (różn. | hist.) . . (+49) . . N Plik:Próba-dowodu.pdf (Plik zawiera dowód pewnej własności drzew BST.) (ostatnia)
- 18:38, 21 lut 2013 (różn. | hist.) . . (+622) . . Arytmetyka Algorytmiczna
- 15:47, 21 lut 2013 (różn. | hist.) . . (-1) . . Niestandardowy model liczb naturalnych (→Przykład wykazujący, że algorytm Euklidesa w modelu niestandardowym nie zatrzymuje się.)
- 14:50, 21 lut 2013 (różn. | hist.) . . (-3) . . Niestandardowy model liczb naturalnych (→Przykład wykazujący, że algorytm Euklidesa w modelu niestandardowym nie zatrzymuje się.)
- 14:47, 21 lut 2013 (różn. | hist.) . . (-1) . . Niestandardowy model liczb naturalnych (→Przykład wykazujący, że algorytm Euklidesa w modelu niestandardowym nie zatrzymuje się.)
- 14:40, 21 lut 2013 (różn. | hist.) . . (+1110) . . Niestandardowy model liczb naturalnych (→Przykład wykazujący, że algorytm Euklidesa w modelu niestandardowym nie zatrzymuje się.)
- 14:31, 21 lut 2013 (różn. | hist.) . . (+3) . . Niestandardowy model liczb naturalnych
- 14:21, 21 lut 2013 (różn. | hist.) . . (+446) . . Niestandardowy model liczb naturalnych
- 10:08, 21 lut 2013 (różn. | hist.) . . (+48) . . Arytmetyka Algorytmiczna
- 08:35, 21 lut 2013 (różn. | hist.) . . (+192) . . Arytmetyka Algorytmiczna (→Algorytmiczny aspekt ostatniego twierdzenia Fermata)
- 08:25, 21 lut 2013 (różn. | hist.) . . (+2) . . Arytmetyka Algorytmiczna
- 08:19, 21 lut 2013 (różn. | hist.) . . (+157) . . Arytmetyka Algorytmiczna (→Algorytm Euklidesa)
- 08:15, 21 lut 2013 (różn. | hist.) . . (+7) . . Arytmetyka Algorytmiczna (→Algorytm Euklidesa)
- 08:11, 21 lut 2013 (różn. | hist.) . . (+74) . . Arytmetyka Algorytmiczna
- 08:07, 21 lut 2013 (różn. | hist.) . . (+564) . . Arytmetyka Algorytmiczna
- 00:01, 21 lut 2013 (różn. | hist.) . . (+307) . . Arytmetyka Algorytmiczna
- 23:51, 20 lut 2013 (różn. | hist.) . . (+101) . . Algorytm Euklidesa
- 23:49, 20 lut 2013 (różn. | hist.) . . (+492) . . Arytmetyka Algorytmiczna
- 16:25, 20 lut 2013 (różn. | hist.) . . (+4) . . Arytmetyka Algorytmiczna
- 16:24, 20 lut 2013 (różn. | hist.) . . (+228) . . N Arytmetyka Algorytmiczna (Utworzył nową stronę „ Aksjomaty Niektóre fakty Operacje dodawania i mnożenia są definiowane Algorytm Euklidesa * Jego własność stop nie wynika z aksjomatów Peano * Natomiast ...”)
- 16:20, 20 lut 2013 (różn. | hist.) . . (+397) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 16:05, 20 lut 2013 (różn. | hist.) . . (+744) . . SpecVer
- 15:33, 20 lut 2013 (różn. | hist.) . . (+226) . . Niestandardowy model liczb naturalnych
- 15:17, 20 lut 2013 (różn. | hist.) . . (+50) . . Niestandardowy model liczb naturalnych
- 15:08, 20 lut 2013 (różn. | hist.) . . (+18) . . Niestandardowy model liczb naturalnych
- 14:08, 20 lut 2013 (różn. | hist.) . . (+15) . . Niestandardowy model liczb naturalnych
- 13:41, 20 lut 2013 (różn. | hist.) . . (+14) . . Niestandardowy model liczb naturalnych
- 13:39, 20 lut 2013 (różn. | hist.) . . (+1) . . Niestandardowy model liczb naturalnych
- 13:28, 20 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:26, 20 lut 2013 (różn. | hist.) . . (+1) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:25, 20 lut 2013 (różn. | hist.) . . (+19) . . Analiza algorytmu Euklidesa
- 13:21, 20 lut 2013 (różn. | hist.) . . (+44) . . Analiza algorytmu Euklidesa
- 12:57, 20 lut 2013 (różn. | hist.) . . (+243) . . Niestandardowy model liczb naturalnych
- 12:44, 20 lut 2013 (różn. | hist.) . . (+265) . . Niestandardowy model liczb naturalnych
- 12:39, 20 lut 2013 (różn. | hist.) . . (+31) . . Niestandardowy model liczb naturalnych
- 12:36, 20 lut 2013 (różn. | hist.) . . (+10) . . Niestandardowy model liczb naturalnych
- 12:28, 20 lut 2013 (różn. | hist.) . . (+2296) . . N Niestandardowy model liczb naturalnych (Utworzył nową stronę „Klasa NSN przytoczona poniżej spełnia aksjomaty liczbnaturalnych z operacją dodawania, ale wykonywanie algorytmu Euklidesa w środowisku zdefiniowanym przez tę k...”)
- 12:21, 20 lut 2013 (różn. | hist.) . . (+43) . . Analiza algorytmu Euklidesa
- 21:20, 18 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:30, 18 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:25, 18 lut 2013 (różn. | hist.) . . (+297) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:19, 18 lut 2013 (różn. | hist.) . . (+62) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 22:58, 17 lut 2013 (różn. | hist.) . . (+104) . . Analiza algorytmu Euklidesa
- 17:17, 17 lut 2013 (różn. | hist.) . . (+18) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 14:48, 17 lut 2013 (różn. | hist.) . . (+154) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 14:16, 17 lut 2013 (różn. | hist.) . . (-7) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 14:07, 17 lut 2013 (różn. | hist.) . . (+829) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:46, 17 lut 2013 (różn. | hist.) . . (+617) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 23:40, 16 lut 2013 (różn. | hist.) . . (-85) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 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)
- 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)
- 18:47, 6 lut 2013 (różn. | hist.) . . (0) . . Kompilatory
- 18:45, 6 lut 2013 (różn. | hist.) . . (+1) . . Loglan'82 (→Współprogramy)
- 18:44, 6 lut 2013 (różn. | hist.) . . (+54) . . Loglan'82 (→Współprogramy)
- 18:43, 6 lut 2013 (różn. | hist.) . . (+129) . . N Plik:TREEGEN.pdf (program generuje wszystkie słowa z pewnej klasy języków regularnych skończonych Category:Loglan'82/Examples/Coroutines) (ostatnia)
- 18:22, 6 lut 2013 (różn. | hist.) . . (0) . . Loglan'82 (→Współprogramy)
- 18:21, 6 lut 2013 (różn. | hist.) . . (0) . . Loglan'82 (→Współprogramy)
- 18:20, 6 lut 2013 (różn. | hist.) . . (+42) . . N Plik:MERGE.pdf (Category:Loglan'82/Examples/Coroutines) (ostatnia)
- 17:23, 6 lut 2013 (różn. | hist.) . . (0) . . Loglan'82 (→Współprogramy)
- 17:21, 6 lut 2013 (różn. | hist.) . . (0) . . N Plik:MERGE.odt (ostatnia)
- 16:32, 6 lut 2013 (różn. | hist.) . . (+152) . . Loglan'82 (→Wybrane Przykłady)
- 16:30, 6 lut 2013 (różn. | hist.) . . (+153) . . N Plik:MERGE.DOC (Merging information from several BST trees. Uses coroutines and a recursive procedure ''traverse'' (a tree). Category:Loglan'82/Examples/Coroutines) (ostatnia)
- 16:18, 6 lut 2013 (różn. | hist.) . . (+4) . . Kompilatory
- 16:15, 6 lut 2013 (różn. | hist.) . . (-1) . . Loglan'82 (→Kompilatory)
- 16:15, 6 lut 2013 (różn. | hist.) . . (+6) . . Loglan'82 (→Kompilatory)
- 16:12, 6 lut 2013 (różn. | hist.) . . (+103) . . Loglan'82 (→Dokumentacja)
- 14:01, 6 lut 2013 (różn. | hist.) . . (+30) . . DokumentacjaLoglanu (→Prezentacje i artykuły)
- 13:54, 6 lut 2013 (różn. | hist.) . . (+37) . . Loglan'82 (→Dokumentacja)
- 13:47, 6 lut 2013 (różn. | hist.) . . (+1) . . Kompilatory
- 13:46, 6 lut 2013 (różn. | hist.) . . (+54) . . Kompilatory
- 13:45, 6 lut 2013 (różn. | hist.) . . (+67) . . N Kompilator na Windows (Utworzył nową stronę „ Tomasz Reda przeniósł kompilator na platformę Windows w r. 2011”)
- 13:43, 6 lut 2013 (różn. | hist.) . . (+85) . . N Kompilatory na Linuksie (Utworzył nową stronę „Paweł Susicki przeniósł kompilator Loglanu na Unix'a w 1991r. w Universite de Pau.”)
- 13:41, 6 lut 2013 (różn. | hist.) . . (+512) . . N Kompilatory (Utworzył nową stronę „Pierwszy kompilator Loglanu'82 powstał w r. 1981 na minikomputery Mera 400. (Dziekujemy prof. Andrzejowi Janickiemu wtedy dyrektorowi zjednoczenia MERA za grant na ...”)
- 13:32, 6 lut 2013 (różn. | hist.) . . (+25) . . DokumentacjaLoglanu
- 13:31, 6 lut 2013 (różn. | hist.) . . (-6) . . Loglan'82 (→Dokumentacja)
- 13:30, 6 lut 2013 (różn. | hist.) . . (+3) . . Porównanie języków programowania obiektowego (ostatnia)
- 13:29, 6 lut 2013 (różn. | hist.) . . (-23) . . Plik:Quickref.pdf (ostatnia)
- 13:25, 6 lut 2013 (różn. | hist.) . . (+344) . . DokumentacjaLoglanu
- 13:23, 6 lut 2013 (różn. | hist.) . . (+52) . . N Plik:Zaproszenie-do-wspolpracy.pdf (artykuł o Loglanie i LEM Category:Dokumentacja) (ostatnia)
- 13:17, 6 lut 2013 (różn. | hist.) . . (+70) . . N Plik:Seminarium9XII2009.pdf (odczyt w Instytucie Łączności 9 XII 2009 Category:Dokumentacja) (ostatnia)
- 13:10, 6 lut 2013 (różn. | hist.) . . (+273) . . DokumentacjaLoglanu
- 13:08, 6 lut 2013 (różn. | hist.) . . (+63) . . N Plik:SeminariumPoznan.pdf (odczyt wygłoszony w Poznaniu X 2012 Category:Dokumentacja) (ostatnia)
- 12:58, 6 lut 2013 (różn. | hist.) . . (+67) . . DokumentacjaLoglanu
- 12:57, 6 lut 2013 (różn. | hist.) . . (+48) . . N Plik:INSTALL VLP.pdf (jak zainstalować VLP category:Dokumentacja) (ostatnia)
- 12:48, 6 lut 2013 (różn. | hist.) . . (+282) . . N DokumentacjaLoglanu (Utworzył nową stronę „Na dokumentację Loglanu'82 składaja się: * Media:Podręcznik Loglan - Andrzeja Szałasa i Jolanty Warpechowskiej * [[Media:Loglanmi.pdf|mikropodręcznik Anton...”)
- 12:45, 6 lut 2013 (różn. | hist.) . . (+63) . . N Plik:Loglanmi.pdf (mikropodręcznik Antoniego Kreczmara Category:Dokumentacja) (ostatnia)
- 12:42, 6 lut 2013 (różn. | hist.) . . (+51) . . N Plik:Userman2W.pdf (Podręcznik użytkownika Category:Dokumentacja) (ostatnia)
- 12:36, 6 lut 2013 (różn. | hist.) . . (+186) . . Loglan'82
- 12:29, 6 lut 2013 (różn. | hist.) . . (+50) . . N Plik:Report82.pdf (Raport języka Loglan'82 Category:Dokumentacja) (ostatnia)
- 12:27, 6 lut 2013 (różn. | hist.) . . (-324) . . Loglan'82
- 12:21, 6 lut 2013 (różn. | hist.) . . (+166) . . Loglan'82
- 11:13, 6 lut 2013 (różn. | hist.) . . (+23) . . Plik:Quickref.pdf
- 11:11, 6 lut 2013 (różn. | hist.) . . (+25) . . N Plik:Quickref.pdf (Category:Dokumentacja)
- 11:03, 6 lut 2013 (różn. | hist.) . . (-37) . . Loglan'82
- 11:01, 6 lut 2013 (różn. | hist.) . . (+36) . . Loglan'82
- 22:10, 5 lut 2013 (różn. | hist.) . . (-20) . . Loglan'82
- 22:09, 5 lut 2013 (różn. | hist.) . . (+70) . . Porównanie języków programowania obiektowego
- 21:41, 5 lut 2013 (różn. | hist.) . . (+84) . . N Porównanie języków programowania obiektowego (Utworzył nową stronę „ Porównanie języków programowania obiektowego Category:Loglan'82”)
- 21:18, 5 lut 2013 (różn. | hist.) . . (-925) . . Loglan'82
- 19:15, 5 lut 2013 (różn. | hist.) . . (+387) . . N Zadania do zrealizowania (Utworzył nową stronę „Niektóre z zadań jakie trzeba wykonać: * Przyjmijmy, że pierwszy wariant języka LEM jest mocno wzorowany na Loglanie'82. Do stworzenia kompilatora LEM potrzebna...”)
- 19:09, 5 lut 2013 (różn. | hist.) . . (+451) . . Otwarte problemy (ostatnia)
- 18:58, 5 lut 2013 (różn. | hist.) . . (+436) . . N Otwarte problemy (Utworzył nową stronę „Oto problemy jakie warto zbadać: * Czy można objąć modelem znanym z Loglanu dla obliczeń wspólbieżnych i rozproszonych również obliczenia równoległe? ::* ...”)
- 18:49, 5 lut 2013 (różn. | hist.) . . (+147) . . Loglan'82
- 18:34, 5 lut 2013 (różn. | hist.) . . (+2982) . . Loglan'82
- 10:48, 5 lut 2013 (różn. | hist.) . . (+573) . . Loglan'82
- 10:00, 5 lut 2013 (różn. | hist.) . . (0) . . AndrzejSalwicki/piaskownica
- 09:59, 5 lut 2013 (różn. | hist.) . . (+63) . . AndrzejSalwicki/piaskownica
- 09:03, 5 lut 2013 (różn. | hist.) . . (+52) . . N AndrzejSalwicki/piaskownica (Utworzył nową stronę „To jest moja piaskownica. do próbowania rozwiązań”)
- 08:48, 5 lut 2013 (różn. | hist.) . . (+1) . . Loglan'82
- 08:47, 5 lut 2013 (różn. | hist.) . . (+26) . . Loglan'82
- 08:39, 5 lut 2013 (różn. | hist.) . . (+1) . . Loglan'82
- 20:56, 4 lut 2013 (różn. | hist.) . . (+57) . . Loglan'82
- 20:51, 4 lut 2013 (różn. | hist.) . . (-1844) . . Strona główna
- 11:50, 4 lut 2013 (różn. | hist.) . . (+12) . . SpecVer:O projekcie
- 00:57, 4 lut 2013 (różn. | hist.) . . (+134) . . SpecVer:O projekcie
- 22:18, 3 lut 2013 (różn. | hist.) . . (+11) . . SpecVer:O projekcie
- 22:16, 3 lut 2013 (różn. | hist.) . . (+3) . . SpecVer:O projekcie
- 22:08, 3 lut 2013 (różn. | hist.) . . (-12) . . SpecVer:O projekcie
- 22:08, 3 lut 2013 (różn. | hist.) . . (-80) . . SpecVer:O projekcie
- 19:48, 3 lut 2013 (różn. | hist.) . . (+365) . . SpecVer
- 15:40, 3 lut 2013 (różn. | hist.) . . (+207) . . SpecVer
- 15:36, 3 lut 2013 (różn. | hist.) . . (+476) . . SpecVer
- 15:25, 3 lut 2013 (różn. | hist.) . . (+337) . . Strona główna
- 15:09, 3 lut 2013 (różn. | hist.) . . (+746) . . Strona główna
- 15:07, 3 lut 2013 (różn. | hist.) . . (+775) . . Strona główna
- 15:06, 3 lut 2013 (różn. | hist.) . . (+417) . . Strona główna
- 15:04, 3 lut 2013 (różn. | hist.) . . (+19) . . Specyfikacja LEM (→Szkic specyfikacji projektu LEM)
- 14:26, 3 lut 2013 (różn. | hist.) . . (+22) . . SpecVer
- 11:10, 3 lut 2013 (różn. | hist.) . . (+16) . . SpecVer:O projekcie
- 10:59, 3 lut 2013 (różn. | hist.) . . (+417) . . SpecVer:O projekcie
- 10:36, 3 lut 2013 (różn. | hist.) . . (-2) . . SpecVer:O projekcie
- 10:34, 3 lut 2013 (różn. | hist.) . . (+1505) . . SpecVer:O projekcie
- 09:52, 3 lut 2013 (różn. | hist.) . . (+1860) . . SpecVer:O projekcie
- 09:38, 3 lut 2013 (różn. | hist.) . . (-2) . . SpecVer:O projekcie
- 09:38, 3 lut 2013 (różn. | hist.) . . (+189) . . SpecVer:O projekcie
- 02:29, 3 lut 2013 (różn. | hist.) . . (+67) . . Projekt LEM (ostatnia)
- 02:26, 3 lut 2013 (różn. | hist.) . . (+410) . . N Projekt LEM (Utworzył nową stronę „Projekt LEM ma wiele wspólnego z projektem SpecVer. Wyraża sie to między innymi poprzez * włączanie do programu modułów '''specification''', oprócz modułów...”)
- 02:17, 3 lut 2013 (różn. | hist.) . . (+106) . . N Loglan'82 (Utworzył nową stronę „Próba Tu możesz porównać kilka wybranych języków programowania.Plik:ComparinObjectLanguages.pdf”)
- 02:13, 3 lut 2013 (różn. | hist.) . . (+39) . . N Plik:ComparinObjectLanguages.pdf (Comparison of object oriented languages) (ostatnia)
- 01:10, 3 lut 2013 (różn. | hist.) . . (+1361) . . N SpecVer (Utworzył nową stronę „Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej. Dziś chcemy spróbować realizacji projektu w którym będą współistnieć dokumenty co...”)
- 15:06, 2 lut 2013 (różn. | hist.) . . (+25) . . Lem:O Lem (ostatnia)
- 14:56, 2 lut 2013 (różn. | hist.) . . (+47) . . N Plik:SoftDiagram.jpg (Diagram współpracy wytwórców oprogramowania) (ostatnia)
- 13:02, 2 lut 2013 (różn. | hist.) . . (+99) . . Specyfikacja LEM (→Notatki -brulion)
- 12:58, 2 lut 2013 (różn. | hist.) . . (+119) . . Specyfikacja LEM
- 12:52, 2 lut 2013 (różn. | hist.) . . (+2) . . Lem:O Lem
- 12:51, 2 lut 2013 (różn. | hist.) . . (+25) . . Lem:O Lem
- 12:49, 2 lut 2013 (różn. | hist.) . . (+1036) . . Lem:O Lem
- 11:43, 2 lut 2013 (różn. | hist.) . . (+720) . . Lem:O Lem
- 11:18, 2 lut 2013 (różn. | hist.) . . (+580) . . N Specyfikacja LEM (Utworzył nową stronę „ == Szkic specyfikacji projektu LEM == === Notatki -brulion === * zachować tyle ile można z gramatyki Loglanu'82. * wprowadzić moduły interface, specification,...”)
- 11:08, 2 lut 2013 (różn. | hist.) . . (+252) . . Lem:O Lem
- 10:58, 2 lut 2013 (różn. | hist.) . . (+417) . . N Lem:O Lem (Utworzył nową stronę „LEM jest nazwą nowego projektu badawczego. Celem tego projektu jest zbadanie czy można stworzyć język programowania o pewnych określonych cechach (zob. [[specyf...”)
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)