Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (250 nowszych | 250 starszych) (20 | 50 | 100 | 250 | 500)
- 16:42, 12 wrz 2018 (różn. | hist.) . . (+1) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 16:41, 12 wrz 2018 (różn. | hist.) . . (+9) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:12, 12 wrz 2018 (różn. | hist.) . . (0) . . N Plik:OnCollatzTheorem12Sep2018.pdf (ostatnia)
- 10:17, 12 wrz 2018 (różn. | hist.) . . (-1) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 09:29, 12 wrz 2018 (różn. | hist.) . . (+2) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 09:28, 12 wrz 2018 (różn. | hist.) . . (-5500) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 18:39, 27 sie 2018 (różn. | hist.) . . (0) . . N Plik:NaTwierdzenieCollatzaN.pdf (ostatnia)
- 21:56, 4 sie 2018 (różn. | hist.) . . (0) . . Arytmetyka Algorytmiczna
- 13:39, 31 lip 2018 (różn. | hist.) . . (+7) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:37, 31 lip 2018 (różn. | hist.) . . (-1) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:27, 31 lip 2018 (różn. | hist.) . . (-17) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:24, 31 lip 2018 (różn. | hist.) . . (+273) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:15, 31 lip 2018 (różn. | hist.) . . (+1375) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 12:55, 31 lip 2018 (różn. | hist.) . . (-1) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 12:52, 31 lip 2018 (różn. | hist.) . . (+4) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 12:50, 31 lip 2018 (różn. | hist.) . . (+4) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 12:48, 31 lip 2018 (różn. | hist.) . . (-16) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 12:47, 31 lip 2018 (różn. | hist.) . . (+46) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 12:45, 31 lip 2018 (różn. | hist.) . . (-8) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 12:42, 31 lip 2018 (różn. | hist.) . . (-2) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 12:38, 31 lip 2018 (różn. | hist.) . . (+1147) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 12:23, 31 lip 2018 (różn. | hist.) . . (+4) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 17:06, 30 lip 2018 (różn. | hist.) . . (+676) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 14:44, 30 lip 2018 (różn. | hist.) . . (+235) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 14:29, 30 lip 2018 (różn. | hist.) . . (+18) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 14:24, 30 lip 2018 (różn. | hist.) . . (+63) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:41, 30 lip 2018 (różn. | hist.) . . (+303) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:32, 30 lip 2018 (różn. | hist.) . . (+289) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:24, 30 lip 2018 (różn. | hist.) . . (+143) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:12, 30 lip 2018 (różn. | hist.) . . (-7) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 13:10, 30 lip 2018 (różn. | hist.) . . (-1107) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 12:59, 30 lip 2018 (różn. | hist.) . . (-4) . . Arytmetyka Algorytmiczna (→Algorytm Euklidesa)
- 12:58, 30 lip 2018 (różn. | hist.) . . (-233) . . Arytmetyka Algorytmiczna (→Algorytm Euklidesa)
- 12:54, 30 lip 2018 (różn. | hist.) . . (-36) . . Arytmetyka Algorytmiczna (→Algorytm Euklidesa)
- 12:52, 30 lip 2018 (różn. | hist.) . . (+37) . . Arytmetyka Algorytmiczna (→Algorytm Euklidesa)
- 12:51, 30 lip 2018 (różn. | hist.) . . (+10) . . Arytmetyka Algorytmiczna (→Algorytm Euklidesa)
- 12:44, 30 lip 2018 (różn. | hist.) . . (+256) . . Arytmetyka Algorytmiczna (→Algorytm Euklidesa)
- 20:39, 7 lip 2018 (różn. | hist.) . . (+80) . . Strona główna
- 11:25, 7 lip 2018 (różn. | hist.) . . (+2) . . Strona główna
- 11:23, 7 lip 2018 (różn. | hist.) . . (+23) . . Strona główna
- 11:22, 7 lip 2018 (różn. | hist.) . . (-14) . . Strona główna
- 11:21, 7 lip 2018 (różn. | hist.) . . (+15) . . Strona główna
- 11:19, 7 lip 2018 (różn. | hist.) . . (+8) . . Strona główna
- 12:38, 21 cze 2018 (różn. | hist.) . . (+108) . . LEM (ostatnia)
- 19:14, 31 maj 2018 (różn. | hist.) . . (-4) . . Logika Algorytmiczna (→Pytania otwarte)
- 19:13, 31 maj 2018 (różn. | hist.) . . (+22) . . Logika Algorytmiczna (→Pytania otwarte)
- 19:12, 31 maj 2018 (różn. | hist.) . . (+4) . . Logika Algorytmiczna (→Pytania otwarte)
- 19:11, 31 maj 2018 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Pytania otwarte)
- 19:10, 31 maj 2018 (różn. | hist.) . . (-12) . . Logika Algorytmiczna (→Pytania otwarte)
- 19:09, 31 maj 2018 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Pytania otwarte)
- 19:07, 31 maj 2018 (różn. | hist.) . . (-18) . . Logika Algorytmiczna (→Pytania otwarte)
- 11:35, 31 maj 2018 (różn. | hist.) . . (+60) . . Logika Algorytmiczna (→Pytania otwarte)
- 11:31, 31 maj 2018 (różn. | hist.) . . (+22) . . Logika Algorytmiczna (→Pytania otwarte)
- 10:22, 31 maj 2018 (różn. | hist.) . . (+196) . . Logika Algorytmiczna (→Pytania otwarte)
- 16:34, 30 maj 2018 (różn. | hist.) . . (+54) . . Logika Algorytmiczna (→Protokół rozbieżności)
- 16:31, 30 maj 2018 (różn. | hist.) . . (+33) . . Logika Algorytmiczna (→Protokół rozbieżności)
- 16:28, 30 maj 2018 (różn. | hist.) . . (+164) . . Logika Algorytmiczna (→Protokół rozbieżności)
- 16:24, 30 maj 2018 (różn. | hist.) . . (0) . . N Plik:1pierwszaRec.pdf (ostatnia)
- 16:18, 30 maj 2018 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Protokół rozbieżności)
- 16:16, 30 maj 2018 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Protokół rozbieżności)
- 16:15, 30 maj 2018 (różn. | hist.) . . (+89) . . Logika Algorytmiczna (→Protokół rozbieżności)
- 16:11, 30 maj 2018 (różn. | hist.) . . (0) . . N Plik:Second-report-08.pdf (ostatnia)
- 16:09, 30 maj 2018 (różn. | hist.) . . (0) . . N Plik:DiscrepancyReport.pdf (ostatnia)
- 16:03, 30 maj 2018 (różn. | hist.) . . (+358) . . Logika Algorytmiczna (→Protokół rozbieżności)
- 15:36, 30 maj 2018 (różn. | hist.) . . (+12) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:34, 30 maj 2018 (różn. | hist.) . . (+239) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:33, 30 maj 2018 (różn. | hist.) . . (+21) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:31, 30 maj 2018 (różn. | hist.) . . (0) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:30, 30 maj 2018 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:29, 30 maj 2018 (różn. | hist.) . . (+9) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:28, 30 maj 2018 (różn. | hist.) . . (-2) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:27, 30 maj 2018 (różn. | hist.) . . (-1) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:26, 30 maj 2018 (różn. | hist.) . . (+15) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:25, 30 maj 2018 (różn. | hist.) . . (+75) . . Logika Algorytmiczna (→Pytania otwarte)
- 15:20, 30 maj 2018 (różn. | hist.) . . (+18) . . Logika Algorytmiczna (→Pytania otwarte)
- 13:58, 30 maj 2018 (różn. | hist.) . . (+590) . . Logika Algorytmiczna (→Protokół rozbieżności)
- 20:13, 18 maj 2018 (różn. | hist.) . . (-333) . . Logika Algorytmiczna (→Protokół rozbieżności)
- 20:12, 18 maj 2018 (różn. | hist.) . . (+9) . . Logika Algorytmiczna (→Dziwne zachowanie)
- 13:29, 17 maj 2018 (różn. | hist.) . . (+357) . . Logika Algorytmiczna (→Bibliografia)
- 20:33, 2 maj 2018 (różn. | hist.) . . (+5) . . Logika Algorytmiczna (→Bibliografia)
- 20:27, 2 maj 2018 (różn. | hist.) . . (0) . . N Plik:On-Euclids-algorithm-2018.pdf (ostatnia)
- 20:20, 2 maj 2018 (różn. | hist.) . . (-3) . . Logika Algorytmiczna (→Bibliografia)
- 20:15, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“) (ostatnia)
- 16:22, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 16:15, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 16:12, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 16:10, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 13:32, 2 maj 2018 (różn. | hist.) . . (-4) . . Logika Algorytmiczna (→Bibliografia)
- 12:10, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 14:01, 14 mar 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 14:22, 8 lut 2018 (różn. | hist.) . . (-3) . . Fundamental research (→Bibliography)
- 14:21, 8 lut 2018 (różn. | hist.) . . (0) . . Fundamental research (→Bibliography)
- 14:15, 8 lut 2018 (różn. | hist.) . . (-2) . . Fundamental research (→Bibliography)
- 14:14, 8 lut 2018 (różn. | hist.) . . (+103) . . Fundamental research (→Bibliography)
- 19:11, 7 lut 2018 (różn. | hist.) . . (+112) . . Fundamental research (→Bibliography)
- 19:04, 7 lut 2018 (różn. | hist.) . . (+156) . . Fundamental research (→Bibliography)
- 18:59, 7 lut 2018 (różn. | hist.) . . (0) . . N Plik:WarpechowskiTezaDokt.pdf (ostatnia)
- 11:00, 3 lut 2018 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Introduction) (ostatnia)
- 12:09, 31 sty 2018 (różn. | hist.) . . (+725) . . Specyfikacja LEM (→Szkic specyfikacji projektu LEM) (ostatnia)
- 11:57, 31 sty 2018 (różn. | hist.) . . (+95) . . Specyfikacja LEM (→Szkic specyfikacji projektu LEM)
- 14:10, 28 sty 2018 (różn. | hist.) . . (-50) . . SpecVer (→Bibliografia)
- 14:06, 28 sty 2018 (różn. | hist.) . . (+114) . . LEM
- 11:09, 16 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“) (ostatnia)
- 12:46, 14 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 20:00, 11 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 09:17, 11 sty 2018 (różn. | hist.) . . (+331) . . LEM
- 19:46, 10 sty 2018 (różn. | hist.) . . (+462) . . LEM
- 19:39, 10 sty 2018 (różn. | hist.) . . (+3) . . LEM
- 19:31, 10 sty 2018 (różn. | hist.) . . (+870) . . N LEM (Utworzono nową stronę " Lem - robocza nazwa języka programowania, następcy Loglanu. * Nowy język nie musi być bardzo różny od Loglanu. Nie widać powodów, które by uzasadniały rewolu...")
- 16:34, 8 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 12:54, 8 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 20:13, 7 sty 2018 (różn. | hist.) . . (+51) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
- 09:05, 6 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 08:53, 6 sty 2018 (różn. | hist.) . . (+1) . . SpecVer (→Bibliografia)
- 08:47, 6 sty 2018 (różn. | hist.) . . (-8) . . SpecVer (→Bibliografia)
- 08:46, 6 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 08:45, 6 sty 2018 (różn. | hist.) . . (+252) . . SpecVer (→Bibliografia)
- 09:13, 2 sty 2018 (różn. | hist.) . . (+170) . . Historia projektu Loglan (→Początki) (ostatnia)
- 09:10, 2 sty 2018 (różn. | hist.) . . (+13) . . Historia projektu Loglan
- 16:53, 25 gru 2017 (różn. | hist.) . . (+1005) . . N Historia projektu Loglan (Utworzono nową stronę "== Początki== W roku 1977 w Instytucie Maszyn Matematycznych "MERA" pozpoczęliśmy prace nad Zespół: Andrzej Salwicki, Tomasz Mueldner, Wiesława M. Bartol, Hanna O...")
- 16:23, 25 gru 2017 (różn. | hist.) . . (+506) . . Loglan'82 (→→ Badania podstawowe)
- 12:29, 30 lis 2017 (różn. | hist.) . . (0) . . Algorithmic theory of natural numbers
- 12:26, 30 lis 2017 (różn. | hist.) . . (+4) . . Algorithmic theory of natural numbers
- 12:23, 30 lis 2017 (różn. | hist.) . . (+409) . . Algorithmic theory of natural numbers
- 08:09, 29 lis 2017 (różn. | hist.) . . (+8) . . Main page
- 08:03, 29 lis 2017 (różn. | hist.) . . (+5) . . Algorytm Euklidesa (ostatnia)
- 09:58, 11 sie 2017 (różn. | hist.) . . (+9) . . Logika Algorytmiczna (→Bibliografia)
- 13:24, 9 sie 2017 (różn. | hist.) . . (0) . . N Plik:LoglanMan.pdf
- 20:32, 8 sie 2017 (różn. | hist.) . . (+3162) . . N Dynamic logic (Utworzono nową stronę "=== ''Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy''.=== :1. Autorzy książki Dynamic Logic uważają, ż...") (ostatnia)
- 20:32, 8 sie 2017 (różn. | hist.) . . (-3164) . . Logika Algorytmiczna (→Inne logiki programów)
- 20:30, 8 sie 2017 (różn. | hist.) . . (+3653) . . Logic of Hoare (ostatnia)
- 20:29, 8 sie 2017 (różn. | hist.) . . (+23) . . Logika Algorytmiczna (→Inne logiki programów)
- 20:28, 8 sie 2017 (różn. | hist.) . . (-3625) . . Logika Algorytmiczna (→Inne logiki programów)
- 20:26, 8 sie 2017 (różn. | hist.) . . (+354) . . Logika Algorytmiczna
- 20:14, 8 sie 2017 (różn. | hist.) . . (+36) . . Calculus of Floyd (ostatnia)
- 20:12, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:AssigningMeanings1967.pdf (ostatnia)
- 19:09, 8 sie 2017 (różn. | hist.) . . (+260) . . N Calculus of Floyd (Utworzono nową stronę "In 1967 Robert Floyd published article Assigning meanings to programs. It was an important step toward definition of semantics. Programs considered by Floyd were finite...")
- 18:50, 8 sie 2017 (różn. | hist.) . . (+774) . . N Logic of Hoare (Utworzono nową stronę "Paper of R.W. Floyd brought some light on proving programs correct. Later C.A.R. Hoare proposed another formalization based on the ideas of Floyd. S. Cook addressed the...")
- 18:49, 8 sie 2017 (różn. | hist.) . . (+7) . . Algorithmic Logic (→Other logics of programs)
- 18:48, 8 sie 2017 (różn. | hist.) . . (-520) . . Algorithmic Logic (→Floyd-Hoare logic)
- 18:35, 8 sie 2017 (różn. | hist.) . . (-53) . . Algorithmic Logic (→Algorithmic theories)
- 18:30, 8 sie 2017 (różn. | hist.) . . (+105) . . N Algorithmic theory of rational numbers (Utworzono nową stronę "Axioms of ordered field and algorithmic formula saying for all n and m the Euclid's algorithm terminates.")
- 18:30, 8 sie 2017 (różn. | hist.) . . (+260) . . Algorithmic Logic (→Algorithmic theories)
- 18:24, 8 sie 2017 (różn. | hist.) . . (+1870) . . N Algorithmic theory of integers (Utworzono nową stronę "Liczby całkowite tworzą zbiór oznaczany '''integer''' (lub <math>Z</math>), razem z niepustym podzbiorem <math>N</math> (liczb całkowitych nieujemnych) i z dwoma ope...")
- 18:24, 8 sie 2017 (różn. | hist.) . . (-3441) . . Algorithmic Logic (→Algorithmic theories)
- 18:21, 8 sie 2017 (różn. | hist.) . . (+6) . . Algorithmic theory of natural numbers
- 18:20, 8 sie 2017 (różn. | hist.) . . (+1579) . . N Algorithmic theory of natural numbers (Utworzono nową stronę "The theory of one constant 0, one one-argument functor <math>s</math> and predicate of equality =.<br /> Axioms <br /> <math>\begin{align*} &\tag{I} \forall_n s(n) \neq...")
- 18:19, 8 sie 2017 (różn. | hist.) . . (+42) . . Algorithmic Logic (→Algorithmic theories)
- 18:17, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithmic theories)
- 18:15, 8 sie 2017 (różn. | hist.) . . (+2) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 18:14, 8 sie 2017 (różn. | hist.) . . (+822) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 18:10, 8 sie 2017 (różn. | hist.) . . (+418) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 18:03, 8 sie 2017 (różn. | hist.) . . (+9) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 14:36, 8 sie 2017 (różn. | hist.) . . (+143) . . Algorithmic Logic (→Algorithmic theory of integers)
- 14:31, 8 sie 2017 (różn. | hist.) . . (+3) . . Algorithmic Logic (→Algorithmic theory of integers)
- 14:29, 8 sie 2017 (różn. | hist.) . . (-1) . . Algorithmic Logic (→Algorithmic theory of integers)
- 14:24, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:Loglan.log (ostatnia)
- 14:23, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:Gen.log (ostatnia)
- 14:16, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:Int.log (ostatnia)
- 14:00, 8 sie 2017 (różn. | hist.) . . (+114) . . Algorithmic Logic (→Algorithmic theory of integers)
- 13:57, 8 sie 2017 (różn. | hist.) . . (0) . . Algorithmic Logic (→Algorithic theory of integers)
- 13:56, 8 sie 2017 (różn. | hist.) . . (-2) . . Algorithmic Logic (→Algorithic theory of integers)
- 13:55, 8 sie 2017 (różn. | hist.) . . (-9) . . Algorithmic Logic (→Algorithic theory of integers)
- 13:54, 8 sie 2017 (różn. | hist.) . . (-3) . . Algorithmic Logic (→Algorithic theory of integers)
- 13:53, 8 sie 2017 (różn. | hist.) . . (-35) . . Algorithmic Logic (→Algorithic theory of integers)
- 13:51, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithic theory of integers)
- 13:50, 8 sie 2017 (różn. | hist.) . . (-162) . . Algorithmic Logic (→Algorithic theory of integers)
- 13:41, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithic theory of integers)
- 13:39, 8 sie 2017 (różn. | hist.) . . (+52) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 13:34, 8 sie 2017 (różn. | hist.) . . (+1960) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 13:23, 8 sie 2017 (różn. | hist.) . . (+8) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 13:21, 8 sie 2017 (różn. | hist.) . . (+20) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 13:20, 8 sie 2017 (różn. | hist.) . . (+105) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 13:18, 8 sie 2017 (różn. | hist.) . . (+488) . . Algorithmic Logic (→History)
- 21:13, 7 sie 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“) (ostatnia)
- 10:19, 7 sie 2017 (różn. | hist.) . . (-97) . . Main page
- 10:15, 7 sie 2017 (różn. | hist.) . . (+23) . . Main page
- 10:13, 7 sie 2017 (różn. | hist.) . . (-1) . . Strona główna
- 10:15, 5 sie 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 10:03, 5 sie 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:07, 5 sie 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 13:55, 4 sie 2017 (różn. | hist.) . . (+19) . . Algorithmic Logic (→Introduction)
- 09:41, 4 sie 2017 (różn. | hist.) . . (+32) . . Algorithmic Logic (→Introduction)
- 09:35, 4 sie 2017 (różn. | hist.) . . (+35) . . Algorithmic Logic (→Introduction)
- 07:16, 3 sie 2017 (różn. | hist.) . . (+53) . . Algorithmic Logic (→Structure of AL)
- 07:11, 3 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Bibliography)
- 07:10, 3 sie 2017 (różn. | hist.) . . (-1) . . Algorithmic Logic (→Bibliography)
- 07:03, 3 sie 2017 (różn. | hist.) . . (+3397) . . Algorithmic Logic (→Bibliography)
- 06:57, 3 sie 2017 (różn. | hist.) . . (-24) . . Algorithmic Logic (→Introduction)
- 06:27, 3 sie 2017 (różn. | hist.) . . (0) . . Main page
- 14:07, 2 sie 2017 (różn. | hist.) . . (-5) . . Algorithmic Logic (→Introduction)
- 14:04, 2 sie 2017 (różn. | hist.) . . (+4738) . . Algorithmic Logic
- 15:17, 30 lip 2017 (różn. | hist.) . . (+8) . . Compilers (→Installing on Windows) (ostatnia)
- 15:16, 30 lip 2017 (różn. | hist.) . . (-1) . . Compilers (→Przypisy)
- 14:02, 30 lip 2017 (różn. | hist.) . . (+16) . . Compilers (→Call for volunteers)
- 14:02, 30 lip 2017 (różn. | hist.) . . (+41) . . Compilers (→Loglan bez środowiska sieciowego)
- 13:54, 30 lip 2017 (różn. | hist.) . . (+1) . . Compilers (→History)
- 13:53, 30 lip 2017 (różn. | hist.) . . (-89) . . Compilers (→Historia)
- 13:45, 30 lip 2017 (różn. | hist.) . . (+40) . . Compilers (→Linux)
- 13:34, 30 lip 2017 (różn. | hist.) . . (+11) . . Compilers (→Installing Loglan compiler)
- 13:33, 30 lip 2017 (różn. | hist.) . . (+28) . . Compilers (→Installing Loglan compiler)
- 13:32, 30 lip 2017 (różn. | hist.) . . (+4648) . . Compilers
- 11:17, 30 lip 2017 (różn. | hist.) . . (+2) . . Kompilatory (→Historia) (ostatnia)
- 11:14, 30 lip 2017 (różn. | hist.) . . (+622) . . N Compilers (Utworzono nową stronę "At present (2017) there are compilers working on plate-forms: Linux and Windows. === Repository of sources and compilers === The sourceforge site is <br /> http://sourc...")
- 11:07, 30 lip 2017 (różn. | hist.) . . (-7) . . Loglan'82 project (→Kompilatory) (ostatnia)
- 17:15, 29 lip 2017 (różn. | hist.) . . (-4) . . Logika Algorytmiczna (→Wprowadzenie)
- 14:05, 29 lip 2017 (różn. | hist.) . . (+74) . . Logika Algorytmiczna (→Wprowadzenie)
- 14:00, 29 lip 2017 (różn. | hist.) . . (+15) . . Logika Algorytmiczna (→Wprowadzenie)
- 13:44, 29 lip 2017 (różn. | hist.) . . (+69) . . Logika Algorytmiczna (→Wprowadzenie)
- 09:38, 29 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 08:37, 29 lip 2017 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Bibliografia)
- 08:31, 29 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 08:27, 29 lip 2017 (różn. | hist.) . . (-1) . . Logika Algorytmiczna (→Bibliografia)
- 08:26, 29 lip 2017 (różn. | hist.) . . (0) . . Logika Algorytmiczna (→Bibliografia)
- 08:25, 29 lip 2017 (różn. | hist.) . . (0) . . Logika Algorytmiczna (→Bibliografia)
- 08:08, 29 lip 2017 (różn. | hist.) . . (0) . . N Plik:FI-On-Euclids-algorithm.pdf
- 07:17, 29 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:20, 28 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:18, 28 lip 2017 (różn. | hist.) . . (+14) . . Logika Algorytmiczna (→Bibliografia)
- 09:17, 28 lip 2017 (różn. | hist.) . . (-36) . . Logika Algorytmiczna (→Bibliografia)
- 09:15, 28 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:11, 28 lip 2017 (różn. | hist.) . . (+66) . . Logika Algorytmiczna (→Bibliografia)
- 09:06, 28 lip 2017 (różn. | hist.) . . (+129) . . m Logika Algorytmiczna (→Bibliografia)
- 08:25, 28 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:12, 20 lip 2017 (różn. | hist.) . . (0) . . N Plik:On-Euclids-algorithm-Black.pdf
- 10:26, 8 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“) (ostatnia)
- 07:13, 4 lip 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“)
- 07:51, 7 kwi 2017 (różn. | hist.) . . (-179) . . Strona główna
- 10:41, 12 mar 2017 (różn. | hist.) . . (+687) . . Stosy - struktura algebraiczna (ostatnia)
- 10:23, 12 mar 2017 (różn. | hist.) . . (+4) . . Stosy - struktura algebraiczna
- 10:22, 12 mar 2017 (różn. | hist.) . . (+22) . . Stosy - struktura algebraiczna
- 10:20, 12 mar 2017 (różn. | hist.) . . (+423) . . Stosy - struktura algebraiczna
- 10:07, 12 mar 2017 (różn. | hist.) . . (+17) . . Stosy - struktura algebraiczna
- 10:04, 12 mar 2017 (różn. | hist.) . . (+77) . . Stosy - struktura algebraiczna
- 09:59, 12 mar 2017 (różn. | hist.) . . (+185) . . Stosy - struktura algebraiczna
- 09:10, 12 mar 2017 (różn. | hist.) . . (+442) . . N Stosy - struktura algebraiczna (Utworzono nową stronę "Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.<br /> '''Definicja'''<br /> Struktura algebraiczna <math>A = \langle E \cup S; w, u, p, e, =...")
- 09:10, 4 gru 2016 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“)
- 09:01, 4 gru 2016 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“)
- 20:32, 21 lis 2016 (różn. | hist.) . . (+2) . . Euklides (ostatnia)
- 20:31, 21 lis 2016 (różn. | hist.) . . (+25) . . Euklides
- 20:29, 21 lis 2016 (różn. | hist.) . . (+109) . . Euklides
- 20:27, 21 lis 2016 (różn. | hist.) . . (0) . . N Plik:On-Euclids-algorithm.pdf
- 20:27, 21 lis 2016 (różn. | hist.) . . (-1134) . . Euklides (UWAGA! Zastąpienie treści hasła bardzo krótkim tekstem: „Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak można udowodnić jego poprawność.”)
- 11:22, 13 lis 2016 (różn. | hist.) . . (0) . . Plik:Safe and effective object management system-Sal-Zadr.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:Safe and effective object management system-Sal-Zadr.pdf“) (ostatnia)
- 17:22, 12 paź 2016 (różn. | hist.) . . (+39) . . Logika Algorytmiczna
- 17:21, 12 paź 2016 (różn. | hist.) . . (0) . . Logika Algorytmiczna
- 15:36, 12 paź 2016 (różn. | hist.) . . (-39) . . Logika Algorytmiczna
- 15:35, 12 paź 2016 (różn. | hist.) . . (-20) . . Logika Algorytmiczna
- 15:33, 12 paź 2016 (różn. | hist.) . . (+148) . . Logika Algorytmiczna
- 15:30, 12 paź 2016 (różn. | hist.) . . (0) . . N Plik:InferenceRules.jpg (ostatnia)
(od najświeższych | od najstarszych) Zobacz (250 nowszych | 250 starszych) (20 | 50 | 100 | 250 | 500)