Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)
- 15:56, 20 wrz 2021 (różn. | hist.) . . (+1) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 15:55, 20 wrz 2021 (różn. | hist.) . . (-1) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 15:54, 20 wrz 2021 (różn. | hist.) . . (+18) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 15:53, 20 wrz 2021 (różn. | hist.) . . (-15) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 15:51, 20 wrz 2021 (różn. | hist.) . . (+6) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 15:48, 20 wrz 2021 (różn. | hist.) . . (-41) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 15:46, 20 wrz 2021 (różn. | hist.) . . (+556) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 21:39, 19 wrz 2021 (różn. | hist.) . . (+144) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 21:31, 19 wrz 2021 (różn. | hist.) . . (+268) . . Collatz
- 21:28, 19 wrz 2021 (różn. | hist.) . . (-12) . . Collatz
- 21:27, 19 wrz 2021 (różn. | hist.) . . (+14) . . Collatz
- 21:26, 19 wrz 2021 (różn. | hist.) . . (+266) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 07:10, 9 wrz 2021 (różn. | hist.) . . (+1) . . Collatz
- 21:25, 8 wrz 2021 (różn. | hist.) . . (+266) . . Collatz (→Elementarna teoria dodawania liczb naturalnych)
- 19:01, 8 wrz 2021 (różn. | hist.) . . (+115) . . Collatz (→Algorytmiczna teoria liczb naturalnych)
- 15:51, 8 wrz 2021 (różn. | hist.) . . (+135) . . Collatz (→Spostrzeżenie z r. 2004)
- 15:48, 8 wrz 2021 (różn. | hist.) . . (+79) . . Collatz (→Spostrzeżenie z r. 2004)
- 15:43, 8 wrz 2021 (różn. | hist.) . . (+7) . . Collatz (→Wprowadzenie)
- 15:42, 8 wrz 2021 (różn. | hist.) . . (+106) . . Collatz (→Wprowadzenie)
- 15:37, 8 wrz 2021 (różn. | hist.) . . (-1) . . Collatz (→Wprowadzenie)
- 15:36, 8 wrz 2021 (różn. | hist.) . . (+72) . . Collatz (→Wprowadzenie)
- 14:27, 8 wrz 2021 (różn. | hist.) . . (+632) . . Collatz (→Elementarna teoria dodawania liczb naturalnych)
- 14:17, 8 wrz 2021 (różn. | hist.) . . (+98) . . Collatz (→Formuła stopu)
- 14:11, 8 wrz 2021 (różn. | hist.) . . (+1) . . Collatz (→Formuła stopu)
- 14:10, 8 wrz 2021 (różn. | hist.) . . (+13) . . Collatz (→Formuła stopu)
- 14:09, 8 wrz 2021 (różn. | hist.) . . (+63) . . Collatz (→Formuła stopu)
- 14:03, 8 wrz 2021 (różn. | hist.) . . (+13) . . Collatz (→Formuła stopu)
- 13:50, 8 wrz 2021 (różn. | hist.) . . (+97) . . Collatz (→Formuła stopu)
- 13:46, 8 wrz 2021 (różn. | hist.) . . (+248) . . Collatz (→Formuła stopu)
- 13:43, 8 wrz 2021 (różn. | hist.) . . (+6) . . Collatz (→Formuła stopu)
- 13:42, 8 wrz 2021 (różn. | hist.) . . (-240) . . Collatz (→Formuła stopu)
- 13:41, 8 wrz 2021 (różn. | hist.) . . (+152) . . Collatz (→Formuła stopu)
- 13:40, 8 wrz 2021 (różn. | hist.) . . (-4) . . Collatz (→Formuła stopu)
- 13:39, 8 wrz 2021 (różn. | hist.) . . (+31) . . Collatz (→Formuła stopu)
- 13:38, 8 wrz 2021 (różn. | hist.) . . (+65) . . Collatz (→Formuła stopu)
- 13:36, 8 wrz 2021 (różn. | hist.) . . (+4) . . Collatz (→Formuła stopu)
- 13:33, 8 wrz 2021 (różn. | hist.) . . (+3) . . Collatz (→Formuła stopu)
- 13:31, 8 wrz 2021 (różn. | hist.) . . (-1) . . Collatz (→Formuła stopu)
- 13:30, 8 wrz 2021 (różn. | hist.) . . (+1) . . Collatz (→Formuła stopu)
- 13:27, 8 wrz 2021 (różn. | hist.) . . (+772) . . Collatz
- 11:45, 8 wrz 2021 (różn. | hist.) . . (+28) . . Collatz
- 10:06, 8 wrz 2021 (różn. | hist.) . . (+9) . . Collatz
- 10:03, 8 wrz 2021 (różn. | hist.) . . (+934) . . Collatz
- 08:11, 7 wrz 2021 (różn. | hist.) . . (+10) . . Collatz
- 08:10, 7 wrz 2021 (różn. | hist.) . . (-102) . . Strona główna
- 08:09, 7 wrz 2021 (różn. | hist.) . . (-7) . . Strona główna
- 08:06, 7 wrz 2021 (różn. | hist.) . . (-3) . . Collatz
- 08:04, 7 wrz 2021 (różn. | hist.) . . (+4) . . Collatz
- 08:03, 7 wrz 2021 (różn. | hist.) . . (+241) . . N Collatz (Utworzono nową stronę "Nareszcie!<br /> Praca nad problemem trwała 83 lata.<br /> Udało się zmienić statut z problem na twierdzenie.<br /> Argumenty znajdziesz [https://lem12.uksw.edu.p...")
- 07:52, 7 wrz 2021 (różn. | hist.) . . (+11) . . Strona główna
- 07:51, 7 wrz 2021 (różn. | hist.) . . (+17) . . Strona główna
- 13:36, 4 wrz 2021 (różn. | hist.) . . (-27) . . Strona główna
- 13:29, 4 wrz 2021 (różn. | hist.) . . (0) . . N Plik:On-Collatz-thm-3-09-21.pdf (ostatnia)
- 21:02, 28 lip 2021 (różn. | hist.) . . (+3) . . Strona główna
- 15:20, 27 lip 2021 (różn. | hist.) . . (+115) . . Strona główna
- 15:16, 27 lip 2021 (różn. | hist.) . . (+21) . . N Plik:Na twierdzenie Collatza.pdf (27 lipca 2021 Dowód.) (ostatnia)
- 15:14, 27 lip 2021 (różn. | hist.) . . (+64) . . Strona główna
- 12:10, 8 wrz 2020 (różn. | hist.) . . (+58) . . N Plik:ExamplesPrograms.pdf (Set of programs. Examples from 1983 Zaborow Summer School.) (ostatnia)
- 11:13, 14 cze 2020 (różn. | hist.) . . (+86) . . Loglan'82 (→Bibliografia) (ostatnia)
- 11:10, 14 cze 2020 (różn. | hist.) . . (+30) . . Loglan'82 (→Bibliografia)
- 11:07, 14 cze 2020 (różn. | hist.) . . (0) . . Loglan'82 (→Bibliografia)
- 11:06, 14 cze 2020 (różn. | hist.) . . (+189) . . Loglan'82 (→Bibliografia)
- 10:42, 14 cze 2020 (różn. | hist.) . . (+44) . . Loglan'82 (→Bibliografia)
- 10:41, 14 cze 2020 (różn. | hist.) . . (-42) . . Loglan'82 (→Bibliografia)
- 10:39, 14 cze 2020 (różn. | hist.) . . (+7) . . Loglan'82 (→Bibliografia)
- 10:37, 14 cze 2020 (różn. | hist.) . . (-36) . . Loglan'82 (→Bibliografia)
- 10:35, 14 cze 2020 (różn. | hist.) . . (+2) . . Loglan'82 (→Bibliografia)
- 10:33, 14 cze 2020 (różn. | hist.) . . (-4) . . Loglan'82 (→Bibliografia)
- 10:31, 14 cze 2020 (różn. | hist.) . . (+136) . . Loglan'82 (→Bibliografia)
- 16:35, 13 cze 2020 (różn. | hist.) . . (+259) . . Loglan'82 (→Bibliografia)
- 13:13, 13 cze 2020 (różn. | hist.) . . (+4) . . Loglan'82 (→Bibliografia)
- 13:11, 13 cze 2020 (różn. | hist.) . . (+4) . . Fundamental research (→Bibliography) (ostatnia)
- 17:27, 12 cze 2020 (różn. | hist.) . . (+138) . . Loglan'82 (→Początki)
- 17:17, 12 cze 2020 (różn. | hist.) . . (+2724) . . Loglan'82 (→→ Badania podstawowe)
- 15:14, 29 maj 2020 (różn. | hist.) . . (+83) . . Strona główna
- 13:35, 27 maj 2020 (różn. | hist.) . . (+16) . . Strona główna
- 13:55, 26 maj 2020 (różn. | hist.) . . (+55) . . Strona główna
- 13:53, 26 maj 2020 (różn. | hist.) . . (+22) . . Strona główna (→Mapa)
- 13:51, 26 maj 2020 (różn. | hist.) . . (0) . . N Plik:SlajdyPawel26maj.pdf (ostatnia)
- 13:47, 26 maj 2020 (różn. | hist.) . . (0) . . Plik:SlajdyPawel.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:SlajdyPawel.pdf“) (ostatnia)
- 12:46, 26 maj 2020 (różn. | hist.) . . (0) . . N Plik:SlajdyPawel.pdf
- 15:24, 13 maj 2020 (różn. | hist.) . . (0) . . Plik:NPawel.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:NPawel.pdf“) (ostatnia)
- 10:52, 21 kwi 2020 (różn. | hist.) . . (0) . . N Plik:OdDamianaeuclide.pdf (ostatnia)
- 07:00, 21 kwi 2020 (różn. | hist.) . . (0) . . N Plik:NPawel.pdf
- 11:54, 26 mar 2020 (różn. | hist.) . . (+315) . . Strona główna (→Pytania)
- 12:36, 23 mar 2020 (różn. | hist.) . . (+275) . . PawelG (ostatnia)
- 12:54, 21 mar 2020 (różn. | hist.) . . (+315) . . Strona główna (→Pytania)
- 22:53, 20 mar 2020 (różn. | hist.) . . (+10) . . Strona główna
- 22:51, 20 mar 2020 (różn. | hist.) . . (+192) . . Strona główna (→Pytania)
- 10:42, 20 mar 2020 (różn. | hist.) . . (0) . . Strona główna (→Pytania)
- 10:41, 20 mar 2020 (różn. | hist.) . . (-15) . . Strona główna (→Pytania)
- 10:40, 20 mar 2020 (różn. | hist.) . . (+15) . . Strona główna (→Pytania)
- 10:37, 20 mar 2020 (różn. | hist.) . . (0) . . Strona główna (→Pytania)
- 10:36, 20 mar 2020 (różn. | hist.) . . (0) . . Strona główna (→Pytania)
- 10:35, 20 mar 2020 (różn. | hist.) . . (+1) . . Strona główna (→Pytania)
- 10:34, 20 mar 2020 (różn. | hist.) . . (+738) . . Strona główna
- 13:25, 16 mar 2020 (różn. | hist.) . . (+15) . . PawelG
- 13:21, 16 mar 2020 (różn. | hist.) . . (0) . . PawelG
- 13:19, 16 mar 2020 (różn. | hist.) . . (+60) . . PawelG
- 13:16, 16 mar 2020 (różn. | hist.) . . (+16) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.) (ostatnia)
- 13:12, 16 mar 2020 (różn. | hist.) . . (0) . . PawelG
- 13:10, 16 mar 2020 (różn. | hist.) . . (+2) . . PawelG
- 13:09, 16 mar 2020 (różn. | hist.) . . (+13) . . PawelG
- 13:08, 16 mar 2020 (różn. | hist.) . . (+70) . . PawelG
- 13:05, 16 mar 2020 (różn. | hist.) . . (+9) . . PawelG
- 13:03, 16 mar 2020 (różn. | hist.) . . (-9) . . PawelG
- 13:01, 16 mar 2020 (różn. | hist.) . . (-40) . . PawelG
- 12:54, 16 mar 2020 (różn. | hist.) . . (-428) . . PawelG
- 12:41, 16 mar 2020 (różn. | hist.) . . (+3) . . PawelG
- 12:35, 16 mar 2020 (różn. | hist.) . . (+1473) . . PawelG
- 12:33, 16 mar 2020 (różn. | hist.) . . (+156) . . N PawelG (Utworzono nową stronę "Poniżej znajdziesz niewielki program. # Czy potrafisz odgadnąc co ten program robi i sformułować odpowiednie twierdzenie? # Czy potrafisz je udowodnić?")
- 12:28, 16 mar 2020 (różn. | hist.) . . (+97) . . SpecVer
- 12:32, 6 gru 2019 (różn. | hist.) . . (+458) . . Rachunek programów (→Przykłady reguł wnioskowania) (ostatnia)
- 12:07, 6 gru 2019 (różn. | hist.) . . (+307) . . Strona główna
- 07:58, 10 wrz 2019 (różn. | hist.) . . (+317) . . Logika Algorytmiczna (ostatnia)
- 09:57, 1 cze 2019 (różn. | hist.) . . (-4) . . Strona główna
- 19:48, 31 maj 2019 (różn. | hist.) . . (-7) . . Fundamental research (→Bibliography)
- 09:40, 2 maj 2019 (różn. | hist.) . . (-2) . . Main page
- 09:39, 2 maj 2019 (różn. | hist.) . . (+80) . . Main page
- 09:37, 2 maj 2019 (różn. | hist.) . . (0) . . N Plik:LeafletAlgorithmicLogic.pdf (ostatnia)
- 12:55, 1 maj 2019 (różn. | hist.) . . (+6) . . Logika Algorytmiczna (→Bibliografia)
- 12:52, 1 maj 2019 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Bibliografia)
- 12:50, 1 maj 2019 (różn. | hist.) . . (+148) . . Logika Algorytmiczna (→Bibliografia)
- 12:39, 1 maj 2019 (różn. | hist.) . . (+48) . . N Plik:WDnonprog.pdf (Non programmable function defined by a procedure) (ostatnia)
- 12:20, 26 mar 2019 (różn. | hist.) . . (-167) . . Strona główna
- 09:38, 29 gru 2018 (różn. | hist.) . . (+11) . . N Plik:DowodStopu-29-12-2018.pdf (popr 29 XII) (ostatnia)
- 09:37, 29 gru 2018 (różn. | hist.) . . (0) . . Strona główna
- 09:37, 29 gru 2018 (różn. | hist.) . . (+21) . . N Plik:DowódStopu-29-12-2018.pdf (poprawiono 29 grudnia) (ostatnia)
- 09:31, 29 gru 2018 (różn. | hist.) . . (0) . . Plik:DowodStopu-28-12-2018.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:DowodStopu-28-12-2018.pdf“) (ostatnia)
- 19:38, 28 gru 2018 (różn. | hist.) . . (+10) . . N Plik:DowodStopu-28-12-2018.pdf (28 grudnia)
- 19:36, 28 gru 2018 (różn. | hist.) . . (+21) . . Strona główna
- 21:11, 21 gru 2018 (różn. | hist.) . . (0) . . Strona główna
- 17:57, 21 gru 2018 (różn. | hist.) . . (-68) . . OnEuclid'salgorithm (ostatnia)
- 17:56, 21 gru 2018 (różn. | hist.) . . (+4) . . OnEuclid'salgorithm
- 17:55, 21 gru 2018 (różn. | hist.) . . (+144) . . N OnEuclid'salgorithm (Utworzono nową stronę "As a stub we offer the following article Media:On-Euclids-algorithm-2018 http://lem12.uksw.edu.pl/images/9/96/On-Euclids-algorithm-Black.pdf")
- 09:32, 21 gru 2018 (różn. | hist.) . . (0) . . Strona główna
- 09:31, 21 gru 2018 (różn. | hist.) . . (0) . . N Plik:DowodStopu-21-12-2018.pdf (ostatnia)
- 22:10, 20 gru 2018 (różn. | hist.) . . (+33) . . Strona główna
- 21:59, 20 gru 2018 (różn. | hist.) . . (-19) . . Strona główna
- 21:58, 20 gru 2018 (różn. | hist.) . . (+36) . . Arytmetyka Algorytmiczna (→Na problem Collatza) (ostatnia)
- 16:35, 20 gru 2018 (różn. | hist.) . . (+20) . . Strona główna
- 16:33, 20 gru 2018 (różn. | hist.) . . (-7) . . Strona główna
- 16:30, 20 gru 2018 (różn. | hist.) . . (-6) . . Strona główna
- 16:30, 20 gru 2018 (różn. | hist.) . . (-1) . . Strona główna
- 16:29, 20 gru 2018 (różn. | hist.) . . (+6) . . Strona główna
- 16:27, 20 gru 2018 (różn. | hist.) . . (+31) . . Strona główna
- 16:17, 20 gru 2018 (różn. | hist.) . . (+41) . . Strona główna
- 16:10, 20 gru 2018 (różn. | hist.) . . (+52) . . Strona główna
- 16:08, 20 gru 2018 (różn. | hist.) . . (0) . . N Plik:DowodStopu-20-12-2018.pdf (ostatnia)
- 23:05, 17 gru 2018 (różn. | hist.) . . (0) . . N Plik:DowódStopu-17-12-2018.pdf (ostatnia)
- 22:58, 28 lis 2018 (różn. | hist.) . . (-214) . . Strona główna
- 10:50, 22 lis 2018 (różn. | hist.) . . (-1) . . Strona główna
- 10:50, 22 lis 2018 (różn. | hist.) . . (+38) . . Strona główna
- 10:35, 22 lis 2018 (różn. | hist.) . . (-18) . . Strona główna
- 10:34, 22 lis 2018 (różn. | hist.) . . (-11) . . Strona główna
- 10:33, 22 lis 2018 (różn. | hist.) . . (+27) . . Strona główna
- 10:28, 22 lis 2018 (różn. | hist.) . . (0) . . N Plik:Grzegorczyk4Informatics.pdf (ostatnia)
- 17:11, 21 lis 2018 (różn. | hist.) . . (0) . . Strona główna
- 17:10, 21 lis 2018 (różn. | hist.) . . (0) . . N Plik:Na twierdzenie Collatza 21-11-2018.pdf (ostatnia)
- 14:20, 20 lis 2018 (różn. | hist.) . . (0) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 14:20, 20 lis 2018 (różn. | hist.) . . (+2) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 13:59, 20 lis 2018 (różn. | hist.) . . (0) . . Strona główna
- 13:59, 20 lis 2018 (różn. | hist.) . . (0) . . N Plik:Na twierdzenie Collatza 20-11-2018.pdf (ostatnia)
- 18:34, 18 lis 2018 (różn. | hist.) . . (+12) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 18:32, 18 lis 2018 (różn. | hist.) . . (0) . . Strona główna
- 18:31, 18 lis 2018 (różn. | hist.) . . (0) . . N Plik:Na twierdzenie Collatza 18-11-2018.pdf (ostatnia)
- 11:07, 18 lis 2018 (różn. | hist.) . . (+2) . . Strona główna
- 11:06, 18 lis 2018 (różn. | hist.) . . (+10) . . Strona główna
- 11:05, 18 lis 2018 (różn. | hist.) . . (0) . . N Plik:Na twierdzenie Collatza-18-11-2018.pdf (ostatnia)
- 11:03, 18 lis 2018 (różn. | hist.) . . (+1) . . Strona główna
- 11:02, 18 lis 2018 (różn. | hist.) . . (+7) . . Strona główna
- 11:02, 18 lis 2018 (różn. | hist.) . . (-24) . . Strona główna
- 11:01, 18 lis 2018 (różn. | hist.) . . (+24) . . Strona główna
- 08:01, 18 lis 2018 (różn. | hist.) . . (+2) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 15:39, 17 lis 2018 (różn. | hist.) . . (+2) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 15:38, 17 lis 2018 (różn. | hist.) . . (-2) . . Strona główna
- 15:37, 17 lis 2018 (różn. | hist.) . . (-14) . . Strona główna
- 15:36, 17 lis 2018 (różn. | hist.) . . (0) . . Strona główna
- 15:35, 17 lis 2018 (różn. | hist.) . . (+42) . . Strona główna
- 15:34, 17 lis 2018 (różn. | hist.) . . (0) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 15:33, 17 lis 2018 (różn. | hist.) . . (0) . . N Plik:DowódStopu-17-11-2018.pdf (ostatnia)
- 15:31, 17 lis 2018 (różn. | hist.) . . (+132) . . m Strona główna
- 10:12, 16 lis 2018 (różn. | hist.) . . (+9) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 10:08, 16 lis 2018 (różn. | hist.) . . (+26) . . N Plik:DowódStopu-16-11-18.pdf (raport z 16 listopada 2018) (ostatnia)
- 10:05, 16 lis 2018 (różn. | hist.) . . (0) . . Plik:DowódStopu.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:DowódStopu.pdf“) (ostatnia)
- 10:02, 16 lis 2018 (różn. | hist.) . . (0) . . Plik:DowódStopu.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:DowódStopu.pdf“)
- 09:59, 16 lis 2018 (różn. | hist.) . . (0) . . N Plik:NaTwierdzenieCollatza.pdf (ostatnia)
- 22:24, 15 lis 2018 (różn. | hist.) . . (+1) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 22:22, 15 lis 2018 (różn. | hist.) . . (+32) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 22:17, 15 lis 2018 (różn. | hist.) . . (0) . . N Plik:DowódStopu.pdf
- 22:17, 15 lis 2018 (różn. | hist.) . . (-140) . . m Strona główna
- 22:15, 15 lis 2018 (różn. | hist.) . . (+150) . . Strona główna
- 10:43, 4 lis 2018 (różn. | hist.) . . (+307) . . Main page
- 10:31, 4 lis 2018 (różn. | hist.) . . (-124) . . Strona główna
- 10:28, 4 lis 2018 (różn. | hist.) . . (-19) . . Strona główna
- 10:26, 4 lis 2018 (różn. | hist.) . . (+20) . . Strona główna
- 10:24, 4 lis 2018 (różn. | hist.) . . (+458) . . Strona główna
- 10:06, 4 lis 2018 (różn. | hist.) . . (+49) . . Strona główna
- 09:49, 9 paź 2018 (różn. | hist.) . . (+3) . . Wyrażalność semantycznych własności programów (→Przykłady) (ostatnia)
- 09:35, 9 paź 2018 (różn. | hist.) . . (0) . . Wyrażalność semantycznych własności programów (→Częściowa poprawność programu)
- 09:34, 9 paź 2018 (różn. | hist.) . . (+1) . . Wyrażalność semantycznych własności programów (→Poprawność programu)
- 09:31, 9 paź 2018 (różn. | hist.) . . (+5) . . Wyrażalność semantycznych własności programów (→Najsłabszy warunek wstępny)
- 09:30, 9 paź 2018 (różn. | hist.) . . (-17) . . Wyrażalność semantycznych własności programów
- 09:28, 9 paź 2018 (różn. | hist.) . . (+17) . . Wyrażalność semantycznych własności programów
- 09:24, 9 paź 2018 (różn. | hist.) . . (0) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 09:22, 9 paź 2018 (różn. | hist.) . . (+2) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 09:19, 9 paź 2018 (różn. | hist.) . . (+26) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 08:56, 9 paź 2018 (różn. | hist.) . . (+2) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 19:32, 8 paź 2018 (różn. | hist.) . . (-8) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 19:31, 8 paź 2018 (różn. | hist.) . . (-3) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 19:30, 8 paź 2018 (różn. | hist.) . . (+91) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 12:56, 8 paź 2018 (różn. | hist.) . . (+4) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 12:53, 8 paź 2018 (różn. | hist.) . . (-1) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 12:52, 8 paź 2018 (różn. | hist.) . . (+223) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 12:48, 8 paź 2018 (różn. | hist.) . . (+26) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 10:27, 8 paź 2018 (różn. | hist.) . . (+468) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 16:09, 7 paź 2018 (różn. | hist.) . . (+3) . . Wyrażalność semantycznych własności programów (→Przykłady)
- 09:53, 7 paź 2018 (różn. | hist.) . . (+23) . . Wyrażalność semantycznych własności programów (→Przykłady)
- 09:52, 7 paź 2018 (różn. | hist.) . . (+22) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 09:07, 7 paź 2018 (różn. | hist.) . . (+482) . . Wyrażalność semantycznych własności programów (→Przykłady)
- 08:57, 7 paź 2018 (różn. | hist.) . . (0) . . Wyrażalność semantycznych własności programów (→Przykłady)
- 08:56, 7 paź 2018 (różn. | hist.) . . (+586) . . Wyrażalność semantycznych własności programów (→Przykłady)
- 08:13, 7 paź 2018 (różn. | hist.) . . (+94) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 08:12, 7 paź 2018 (różn. | hist.) . . (-4) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 08:11, 7 paź 2018 (różn. | hist.) . . (+202) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 08:09, 7 paź 2018 (różn. | hist.) . . (+2) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 08:09, 7 paź 2018 (różn. | hist.) . . (+2) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 08:08, 7 paź 2018 (różn. | hist.) . . (+48) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 08:07, 7 paź 2018 (różn. | hist.) . . (+18) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 19:10, 6 paź 2018 (różn. | hist.) . . (+177) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 16:58, 6 paź 2018 (różn. | hist.) . . (0) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 16:58, 6 paź 2018 (różn. | hist.) . . (-5) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 16:57, 6 paź 2018 (różn. | hist.) . . (+599) . . Wyrażalność semantycznych własności programów (→Własności semantyczne algorytmów)
- 16:44, 6 paź 2018 (różn. | hist.) . . (+214) . . Wyrażalność semantycznych własności programów (→Schematy formuł wyrazających własności programów)
- 16:39, 6 paź 2018 (różn. | hist.) . . (+1026) . . N Wyrażalność semantycznych własności programów (Utworzono nową stronę "==Własności semantyczne algorytmów== Prawie wszystkie semantyczne własności programów mogą być wyrażone przez odpowiednio napisane formuły języka rachunku pro...")
- 16:26, 6 paź 2018 (różn. | hist.) . . (+159) . . Logika Algorytmiczna (→Wprowadzenie)
- 10:04, 6 paź 2018 (różn. | hist.) . . (+10) . . Logika Algorytmiczna (→Wprowadzenie)
- 09:59, 6 paź 2018 (różn. | hist.) . . (-1) . . Logika Algorytmiczna (→Wprowadzenie)
- 09:58, 6 paź 2018 (różn. | hist.) . . (-12) . . Logika Algorytmiczna (→Wprowadzenie)
- 10:54, 4 paź 2018 (różn. | hist.) . . (+10) . . Logika Algorytmiczna (→Wprowadzenie)
- 21:04, 2 paź 2018 (różn. | hist.) . . (-31) . . Algorithmic theory of stacks (→Algorithmic theory of stacks) (ostatnia)
- 20:53, 2 paź 2018 (różn. | hist.) . . (-19) . . Algorithmic theory of stacks (→Algorithmic theory of stacks)
- 20:50, 2 paź 2018 (różn. | hist.) . . (+415) . . N Algorithmic theory of stacks (Utworzono nową stronę "==Algorithmic theory of stacks== This is a stub. Consult the paper ({{odn|ref=nie|MSS|2007}}){{cytuj pismo|odn=tak|nazwisko=Mirkowska|imię=Grażyna|nazwisko2=Salwicki|i...")
- 15:04, 2 paź 2018 (różn. | hist.) . . (0) . . SpecVer (→Bibliografia)
- 13:12, 2 paź 2018 (różn. | hist.) . . (-5) . . Algorithmic theory of rational numbers (ostatnia)
- 13:10, 2 paź 2018 (różn. | hist.) . . (+296) . . Algorithmic theory of rational numbers
- 13:02, 2 paź 2018 (różn. | hist.) . . (+13) . . Algorithmic theory of integers (ostatnia)
- 12:59, 2 paź 2018 (różn. | hist.) . . (+49) . . Algorithmic theory of integers
- 12:49, 2 paź 2018 (różn. | hist.) . . (+32) . . Algorithmic theory of natural numbers (ostatnia)
- 12:48, 2 paź 2018 (różn. | hist.) . . (-1) . . Algorithmic theory of natural numbers
- 12:46, 2 paź 2018 (różn. | hist.) . . (+143) . . Algorithmic theory of natural numbers
- 12:42, 2 paź 2018 (różn. | hist.) . . (+87) . . Algorithmic theory of integers
- 12:29, 2 paź 2018 (różn. | hist.) . . (+5) . . Algorithmic theory of integers
- 12:19, 2 paź 2018 (różn. | hist.) . . (+20) . . Algorithmic theory of integers
- 18:47, 22 wrz 2018 (różn. | hist.) . . (+682) . . Logika Algorytmiczna (→Wprowadzenie)
- 07:54, 22 wrz 2018 (różn. | hist.) . . (+102) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 16:43, 14 wrz 2018 (różn. | hist.) . . (+21) . . Arytmetyka Algorytmiczna (→Na problem Collatza)
- 16:42, 14 wrz 2018 (różn. | hist.) . . (0) . . N Plik:OnCollatzTheorem14Sep2018.pdf (ostatnia)
- 16:41, 14 wrz 2018 (różn. | hist.) . . (+63) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 07:52, 13 wrz 2018 (różn. | hist.) . . (0) . . N Plik:OnCollatzTheorem.pdf (ostatnia)
- 07:33, 13 wrz 2018 (różn. | hist.) . . (0) . . N Plik:OnCollatzTheorem13Sep2018.pdf (ostatnia)
- 07:33, 13 wrz 2018 (różn. | hist.) . . (+7) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 07:32, 13 wrz 2018 (różn. | hist.) . . (+40) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 16:48, 12 wrz 2018 (różn. | hist.) . . (+1) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 16:46, 12 wrz 2018 (różn. | hist.) . . (0) . . N Plik:OnCollatzTheorem--12Sep2018.pdf (ostatnia)
- 16:44, 12 wrz 2018 (różn. | hist.) . . (+41) . . Arytmetyka Algorytmiczna (→Przyczynki do problemu Collatza)
- 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
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)