Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 11:28, 3 maj 2014 (różn. | hist.) . . (-58) . . Bezpieczna dealokacja obiektów
- 11:00, 3 maj 2014 (różn. | hist.) . . (+24) . . Bezpieczna dealokacja obiektów
- 10:59, 3 maj 2014 (różn. | hist.) . . (+19 837) . . N Bezpieczna dealokacja obiektów (Utworzono nową stronę "This paper appears 30 years after the article by G.Cioni and A. Kreczmar under the same title . We 1 explain the problems of managing objects, 2 compare with existing (p...")
- 10:56, 3 maj 2014 (różn. | hist.) . . (+36) . . Loglan'82 (→Badania podstawowe)
- 11:11, 1 maj 2014 (różn. | hist.) . . (0) . . Logika Algorytmiczna
- 11:10, 1 maj 2014 (różn. | hist.) . . (+2) . . Logika Algorytmiczna
- 16:05, 28 kwi 2014 (różn. | hist.) . . (+51) . . Logika Algorytmiczna
- 16:03, 28 kwi 2014 (różn. | hist.) . . (+341) . . Logika Algorytmiczna
- 09:36, 27 kwi 2014 (różn. | hist.) . . (+206) . . Logika Algorytmiczna
- 15:21, 13 kwi 2014 (różn. | hist.) . . (+462) . . Main page
- 18:10, 12 kwi 2014 (różn. | hist.) . . (-16) . . Algorithmic Logic (→Bibliography)
- 18:08, 12 kwi 2014 (różn. | hist.) . . (+15) . . Algorithmic Logic (→Bibliography)
- 18:05, 12 kwi 2014 (różn. | hist.) . . (-5513) . . Algorithmic Logic (→Bibliography)
- 18:03, 12 kwi 2014 (różn. | hist.) . . (+7006) . . Algorithmic Logic (→History)
- 09:14, 12 kwi 2014 (różn. | hist.) . . (+360) . . Algorithmic Logic (→Structure of AL)
- 09:07, 12 kwi 2014 (różn. | hist.) . . (+156) . . Algorithmic Logic
- 09:02, 12 kwi 2014 (różn. | hist.) . . (+196) . . Algorithmic Logic
- 22:41, 11 kwi 2014 (różn. | hist.) . . (+7) . . Strona główna
- 22:37, 11 kwi 2014 (różn. | hist.) . . (+15) . . Specyfikacja LEM
- 18:29, 10 kwi 2014 (różn. | hist.) . . (+196) . . Algorithmic Logic
- 18:06, 10 kwi 2014 (różn. | hist.) . . (0) . . Algorithmic language
- 18:05, 10 kwi 2014 (różn. | hist.) . . (+822) . . N Algorithmic language (Utworzono nową stronę "Language of algorithmic logic or, briefly, algorithmic language is an extension of the language of first-order logic. As usual, in order to define an algirithmic langua...")
- 15:58, 10 kwi 2014 (różn. | hist.) . . (+24) . . Strona główna
- 15:47, 10 kwi 2014 (różn. | hist.) . . (+1) . . Logika Algorytmiczna
- 15:46, 10 kwi 2014 (różn. | hist.) . . (+432) . . N Logika Algorytmiczna (Utworzono nową stronę "Logika algorytmiczna jest rachunkiem logicznym. Język logiki algorytmicznej zawiera programy i formuły algorytmiczne. Zbiór formuł algorytmicznych zawiera w sobie z...")
- 15:39, 10 kwi 2014 (różn. | hist.) . . (+125) . . Strona główna
- 15:23, 10 kwi 2014 (różn. | hist.) . . (+2) . . Main page
- 15:19, 10 kwi 2014 (różn. | hist.) . . (+1) . . DokumentacjaLoglanu
- 15:14, 10 kwi 2014 (różn. | hist.) . . (-1) . . Main page
- 15:13, 10 kwi 2014 (różn. | hist.) . . (+288) . . N Algorithmic Logic (Utworzono nową stronę "Algorithmic logic is a calculus in which one can express the semantical properties of programs and it allows to construct proofs of the formulas. In this way one can pro...")
- 15:08, 10 kwi 2014 (różn. | hist.) . . (+114) . . Main page
- 19:07, 9 kwi 2014 (różn. | hist.) . . (-5) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 18:51, 9 kwi 2014 (różn. | hist.) . . (+21) . . Analiza algorytmu Euklidesa
- 18:48, 9 kwi 2014 (różn. | hist.) . . (+2) . . Analiza algorytmu Euklidesa
- 21:41, 5 kwi 2014 (różn. | hist.) . . (+115) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 21:35, 5 kwi 2014 (różn. | hist.) . . (+25) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 21:34, 5 kwi 2014 (różn. | hist.) . . (+287) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 19:56, 5 kwi 2014 (różn. | hist.) . . (+129) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 05:16, 4 kwi 2014 (różn. | hist.) . . (+114) . . N Plik:Loglan82-white-book.pdf (projekt książki przedstawiającej badania podstawowe, które wykonano w związki z projektem badawczym Loglan'82) (ostatnia)
- 12:16, 30 mar 2014 (różn. | hist.) . . (0) . . Badania podstawowe
- 12:14, 30 mar 2014 (różn. | hist.) . . (+358) . . Badania podstawowe (→Bibliografia)
- 12:09, 30 mar 2014 (różn. | hist.) . . (+344) . . Badania podstawowe
- 13:44, 29 mar 2014 (różn. | hist.) . . (+33) . . Badania podstawowe
- 13:39, 29 mar 2014 (różn. | hist.) . . (+3806) . . Badania podstawowe
- 11:09, 29 mar 2014 (różn. | hist.) . . (+871) . . Badania podstawowe
- 11:37, 28 mar 2014 (różn. | hist.) . . (+479) . . N Badania podstawowe (Utworzono nową stronę "Podczas prac w projekcie Loglan'82 napotkano wiele problemów. Zanim podjęto decyzję w konkretnej sprawie, formulowalismy problem dbając o precyzję i staraliśmy si...")
- 12:05, 20 mar 2014 (różn. | hist.) . . (+7) . . SpecVer/IloczynSkalarny (Anulowanie wersji nr 1268 utworzonej przez AndrzejSalwicki (dyskusja))
- 12:01, 20 mar 2014 (różn. | hist.) . . (-7) . . SpecVer/IloczynSkalarny
- 10:52, 20 mar 2014 (różn. | hist.) . . (+19) . . Wybrane przykłady (ostatnia)
- 14:42, 14 mar 2014 (różn. | hist.) . . (+700) . . Loglan'82
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
