Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 14:58, 10 kwi 2014 (różn. | hist.) . . (+24) . . Strona główna
- 14:47, 10 kwi 2014 (różn. | hist.) . . (+1) . . Logika Algorytmiczna
- 14: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...")
- 14:39, 10 kwi 2014 (różn. | hist.) . . (+125) . . Strona główna
- 14:23, 10 kwi 2014 (różn. | hist.) . . (+2) . . Main page
- 14:19, 10 kwi 2014 (różn. | hist.) . . (+1) . . DokumentacjaLoglanu
- 14:14, 10 kwi 2014 (różn. | hist.) . . (-1) . . Main page
- 14: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...")
- 14:08, 10 kwi 2014 (różn. | hist.) . . (+114) . . Main page
- 18:07, 9 kwi 2014 (różn. | hist.) . . (-5) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 17:51, 9 kwi 2014 (różn. | hist.) . . (+21) . . Analiza algorytmu Euklidesa
- 17:48, 9 kwi 2014 (różn. | hist.) . . (+2) . . Analiza algorytmu Euklidesa
- 20:41, 5 kwi 2014 (różn. | hist.) . . (+115) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:35, 5 kwi 2014 (różn. | hist.) . . (+25) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:34, 5 kwi 2014 (różn. | hist.) . . (+287) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 18:56, 5 kwi 2014 (różn. | hist.) . . (+129) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 04: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)
- 11:16, 30 mar 2014 (różn. | hist.) . . (0) . . Badania podstawowe
- 11:14, 30 mar 2014 (różn. | hist.) . . (+358) . . Badania podstawowe (→Bibliografia)
- 11:09, 30 mar 2014 (różn. | hist.) . . (+344) . . Badania podstawowe
- 12:44, 29 mar 2014 (różn. | hist.) . . (+33) . . Badania podstawowe
- 12:39, 29 mar 2014 (różn. | hist.) . . (+3806) . . Badania podstawowe
- 10:09, 29 mar 2014 (różn. | hist.) . . (+871) . . Badania podstawowe
- 10: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...")
- 11:05, 20 mar 2014 (różn. | hist.) . . (+7) . . SpecVer/IloczynSkalarny (Anulowanie wersji nr 1268 utworzonej przez AndrzejSalwicki (dyskusja))
- 11:01, 20 mar 2014 (różn. | hist.) . . (-7) . . SpecVer/IloczynSkalarny
- 09:52, 20 mar 2014 (różn. | hist.) . . (+19) . . Wybrane przykłady (ostatnia)
- 13:42, 14 mar 2014 (różn. | hist.) . . (+700) . . Loglan'82
- 12:45, 14 mar 2014 (różn. | hist.) . . (+145) . . Loglan'82
- 10:31, 14 mar 2014 (różn. | hist.) . . (+136) . . Loglan'82
- 09:21, 13 mar 2014 (różn. | hist.) . . (-5) . . Kompilator na Windows
- 09:20, 13 mar 2014 (różn. | hist.) . . (+46) . . Kompilator na Windows
- 09:18, 13 mar 2014 (różn. | hist.) . . (+98) . . Kompilator na Windows
- 11:50, 9 mar 2014 (różn. | hist.) . . (-44) . . Arytmetyka Algorytmiczna
- 11:38, 9 mar 2014 (różn. | hist.) . . (+18) . . Arytmetyka Algorytmiczna
- 11:33, 9 mar 2014 (różn. | hist.) . . (+331) . . Arytmetyka Algorytmiczna
- 10:55, 9 mar 2014 (różn. | hist.) . . (+1) . . DokumentacjaLoglanu
- 10:51, 9 mar 2014 (różn. | hist.) . . (+292) . . DokumentacjaLoglanu
- 10: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)
- 05:57, 9 mar 2014 (różn. | hist.) . . (-18) . . m Kompilatory
- 07:07, 22 lut 2014 (różn. | hist.) . . (+2) . . m SpecVer
- 11:04, 18 cze 2013 (różn. | hist.) . . (+24) . . Zadania do zrealizowania (ostatnia)
- 10: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)
- 08:38, 11 cze 2013 (różn. | hist.) . . (0) . . Przykłady
- 08:37, 11 cze 2013 (różn. | hist.) . . (+12) . . Przykłady
- 08:35, 11 cze 2013 (różn. | hist.) . . (+3) . . Przykłady
- 08:28, 11 cze 2013 (różn. | hist.) . . (+54) . . Przykłady
- 08: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")
- 08:21, 11 cze 2013 (różn. | hist.) . . (+16) . . DokumentacjaLoglanu (→Zobacz też)
- 18:10, 4 kwi 2013 (różn. | hist.) . . (0) . . Kompilatory na Linuksie (→Źródła) (ostatnia)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
