Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 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
- 13:45, 14 mar 2014 (różn. | hist.) . . (+145) . . Loglan'82
- 11:31, 14 mar 2014 (różn. | hist.) . . (+136) . . Loglan'82
- 10:21, 13 mar 2014 (różn. | hist.) . . (-5) . . Kompilator na Windows
- 10:20, 13 mar 2014 (różn. | hist.) . . (+46) . . Kompilator na Windows
- 10:18, 13 mar 2014 (różn. | hist.) . . (+98) . . Kompilator na Windows
- 12:50, 9 mar 2014 (różn. | hist.) . . (-44) . . Arytmetyka Algorytmiczna
- 12:38, 9 mar 2014 (różn. | hist.) . . (+18) . . Arytmetyka Algorytmiczna
- 12:33, 9 mar 2014 (różn. | hist.) . . (+331) . . Arytmetyka Algorytmiczna
- 11:55, 9 mar 2014 (różn. | hist.) . . (+1) . . DokumentacjaLoglanu
- 11:51, 9 mar 2014 (różn. | hist.) . . (+292) . . DokumentacjaLoglanu
- 11: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)
- 06:57, 9 mar 2014 (różn. | hist.) . . (-18) . . m Kompilatory
- 08:07, 22 lut 2014 (różn. | hist.) . . (+2) . . m SpecVer
- 12:04, 18 cze 2013 (różn. | hist.) . . (+24) . . Zadania do zrealizowania (ostatnia)
- 11: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)
- 09:38, 11 cze 2013 (różn. | hist.) . . (0) . . Przykłady
- 09:37, 11 cze 2013 (różn. | hist.) . . (+12) . . Przykłady
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
