Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 19:29, 10 kwi 2014 (różn. | hist.) . . (+196) . . Algorithmic Logic
- 19:06, 10 kwi 2014 (różn. | hist.) . . (0) . . Algorithmic language
- 19: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...")
- 16:58, 10 kwi 2014 (różn. | hist.) . . (+24) . . Strona główna
- 16:47, 10 kwi 2014 (różn. | hist.) . . (+1) . . Logika Algorytmiczna
- 16: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...")
- 16:39, 10 kwi 2014 (różn. | hist.) . . (+125) . . Strona główna
- 16:23, 10 kwi 2014 (różn. | hist.) . . (+2) . . Main page
- 16:19, 10 kwi 2014 (różn. | hist.) . . (+1) . . DokumentacjaLoglanu
- 16:14, 10 kwi 2014 (różn. | hist.) . . (-1) . . Main page
- 16: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...")
- 16:08, 10 kwi 2014 (różn. | hist.) . . (+114) . . Main page
- 20:07, 9 kwi 2014 (różn. | hist.) . . (-5) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 19:51, 9 kwi 2014 (różn. | hist.) . . (+21) . . Analiza algorytmu Euklidesa
- 19:48, 9 kwi 2014 (różn. | hist.) . . (+2) . . Analiza algorytmu Euklidesa
- 22:41, 5 kwi 2014 (różn. | hist.) . . (+115) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 22:35, 5 kwi 2014 (różn. | hist.) . . (+25) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 22:34, 5 kwi 2014 (różn. | hist.) . . (+287) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:56, 5 kwi 2014 (różn. | hist.) . . (+129) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 06: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)
- 13:16, 30 mar 2014 (różn. | hist.) . . (0) . . Badania podstawowe
- 13:14, 30 mar 2014 (różn. | hist.) . . (+358) . . Badania podstawowe (→Bibliografia)
- 13:09, 30 mar 2014 (różn. | hist.) . . (+344) . . Badania podstawowe
- 14:44, 29 mar 2014 (różn. | hist.) . . (+33) . . Badania podstawowe
- 14:39, 29 mar 2014 (różn. | hist.) . . (+3806) . . Badania podstawowe
- 12:09, 29 mar 2014 (różn. | hist.) . . (+871) . . Badania podstawowe
- 12: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...")
- 13:05, 20 mar 2014 (różn. | hist.) . . (+7) . . SpecVer/IloczynSkalarny (Anulowanie wersji nr 1268 utworzonej przez AndrzejSalwicki (dyskusja))
- 13:01, 20 mar 2014 (różn. | hist.) . . (-7) . . SpecVer/IloczynSkalarny
- 11:52, 20 mar 2014 (różn. | hist.) . . (+19) . . Wybrane przykłady (ostatnia)
- 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
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)