Wkład użytkownika

(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)

• 20:12, 28 paź 2021 (różn. | hist.) . . (+73)‎ . . Collatz ‎ (ostatnia)
• 20:12, 28 paź 2021 (różn. | hist.) . . (0)‎ . . N Plik:Collatz-algorithms- and -friends.pdf ‎ (ostatnia)
• 20:10, 28 paź 2021 (różn. | hist.) . . (+81)‎ . . Collatz ‎
• 15:53, 11 paź 2021 (różn. | hist.) . . (+2)‎ . . Collatz ‎
• 15:50, 11 paź 2021 (różn. | hist.) . . (0)‎ . . N Plik:On-Collatz-thm-11-10-21.pdf ‎ (ostatnia)
• 13:28, 10 paź 2021 (różn. | hist.) . . (+67)‎ . . Collatz ‎
• 20:52, 7 paź 2021 (różn. | hist.) . . (0)‎ . . Collatz ‎ (→‎Archiwum kolejnych wersji pracy)
• 20:51, 7 paź 2021 (różn. | hist.) . . (0)‎ . . Collatz ‎ (→‎Archiwum kolejnych wersji pracy)
• 20:50, 7 paź 2021 (różn. | hist.) . . (+2)‎ . . Collatz ‎ (→‎Archiwum kolejnych wersji pracy)
• 20:49, 7 paź 2021 (różn. | hist.) . . (+39)‎ . . Collatz ‎ (→‎Własności obliczeń na trójkach)
• 20:47, 7 paź 2021 (różn. | hist.) . . (+97)‎ . . Collatz ‎ (→‎Własności obliczeń na trójkach)
• 20:46, 7 paź 2021 (różn. | hist.) . . (0)‎ . . N Plik:On-Collatz-thm-7-10-21.pdf ‎ (ostatnia)
• 12:51, 27 wrz 2021 (różn. | hist.) . . (+96)‎ . . Collatz ‎ (→‎Własności obliczeń na trójkach)
• 12:49, 27 wrz 2021 (różn. | hist.) . . (0)‎ . . N Plik:On-Collatz-thm-27-09-21.pdf ‎ (ostatnia)
• 18:40, 26 wrz 2021 (różn. | hist.) . . (+102)‎ . . Collatz ‎ (→‎Własności obliczeń na trójkach)
• 18:39, 26 wrz 2021 (różn. | hist.) . . (0)‎ . . N Plik:Algorytmy-bliskie-Collatzowi.pdf ‎ (ostatnia)
• 08:34, 23 wrz 2021 (różn. | hist.) . . (+3)‎ . . Collatz ‎
• 08:32, 23 wrz 2021 (różn. | hist.) . . (0)‎ . . N Plik:On-Collatz-thm23-09-21.pdf ‎ (ostatnia)
• 17:34, 21 wrz 2021 (różn. | hist.) . . (0)‎ . . Collatz ‎
• 17:32, 21 wrz 2021 (różn. | hist.) . . (+92)‎ . . Collatz ‎
• 15:31, 21 wrz 2021 (różn. | hist.) . . (0)‎ . . N Plik:On-Collatz-thm17-09-21.pdf ‎ (ostatnia)
• 17:50, 20 wrz 2021 (różn. | hist.) . . (+4)‎ . . Collatz ‎ (→‎Trójki)
• 17:49, 20 wrz 2021 (różn. | hist.) . . (+4)‎ . . Collatz ‎
• 17:47, 20 wrz 2021 (różn. | hist.) . . (+126)‎ . . Collatz ‎
• 15:13, 20 wrz 2021 (różn. | hist.) . . (+11)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 15:11, 20 wrz 2021 (różn. | hist.) . . (+288)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 15:07, 20 wrz 2021 (różn. | hist.) . . (+7)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 15:06, 20 wrz 2021 (różn. | hist.) . . (+180)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 15:01, 20 wrz 2021 (różn. | hist.) . . (-2)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 15:00, 20 wrz 2021 (różn. | hist.) . . (+8)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 14:56, 20 wrz 2021 (różn. | hist.) . . (+1)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 14:55, 20 wrz 2021 (różn. | hist.) . . (-1)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 14:54, 20 wrz 2021 (różn. | hist.) . . (+18)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 14:53, 20 wrz 2021 (różn. | hist.) . . (-15)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 14:51, 20 wrz 2021 (różn. | hist.) . . (+6)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 14:48, 20 wrz 2021 (różn. | hist.) . . (-41)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 14:46, 20 wrz 2021 (różn. | hist.) . . (+556)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 20:39, 19 wrz 2021 (różn. | hist.) . . (+144)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 20:31, 19 wrz 2021 (różn. | hist.) . . (+268)‎ . . Collatz ‎
• 20:28, 19 wrz 2021 (różn. | hist.) . . (-12)‎ . . Collatz ‎
• 20:27, 19 wrz 2021 (różn. | hist.) . . (+14)‎ . . Collatz ‎
• 20:26, 19 wrz 2021 (różn. | hist.) . . (+266)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 06:10, 9 wrz 2021 (różn. | hist.) . . (+1)‎ . . Collatz ‎
• 20:25, 8 wrz 2021 (różn. | hist.) . . (+266)‎ . . Collatz ‎ (→‎Elementarna teoria dodawania liczb naturalnych)
• 18:01, 8 wrz 2021 (różn. | hist.) . . (+115)‎ . . Collatz ‎ (→‎Algorytmiczna teoria liczb naturalnych)
• 14:51, 8 wrz 2021 (różn. | hist.) . . (+135)‎ . . Collatz ‎ (→‎Spostrzeżenie z r. 2004)
• 14:48, 8 wrz 2021 (różn. | hist.) . . (+79)‎ . . Collatz ‎ (→‎Spostrzeżenie z r. 2004)
• 14:43, 8 wrz 2021 (różn. | hist.) . . (+7)‎ . . Collatz ‎ (→‎Wprowadzenie)
• 14:42, 8 wrz 2021 (różn. | hist.) . . (+106)‎ . . Collatz ‎ (→‎Wprowadzenie)
• 14:37, 8 wrz 2021 (różn. | hist.) . . (-1)‎ . . Collatz ‎ (→‎Wprowadzenie)
• 14:36, 8 wrz 2021 (różn. | hist.) . . (+72)‎ . . Collatz ‎ (→‎Wprowadzenie)
• 13:27, 8 wrz 2021 (różn. | hist.) . . (+632)‎ . . Collatz ‎ (→‎Elementarna teoria dodawania liczb naturalnych)
• 13:17, 8 wrz 2021 (różn. | hist.) . . (+98)‎ . . Collatz ‎ (→‎Formuła stopu)
• 13:11, 8 wrz 2021 (różn. | hist.) . . (+1)‎ . . Collatz ‎ (→‎Formuła stopu)
• 13:10, 8 wrz 2021 (różn. | hist.) . . (+13)‎ . . Collatz ‎ (→‎Formuła stopu)
• 13:09, 8 wrz 2021 (różn. | hist.) . . (+63)‎ . . Collatz ‎ (→‎Formuła stopu)
• 13:03, 8 wrz 2021 (różn. | hist.) . . (+13)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:50, 8 wrz 2021 (różn. | hist.) . . (+97)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:46, 8 wrz 2021 (różn. | hist.) . . (+248)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:43, 8 wrz 2021 (różn. | hist.) . . (+6)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:42, 8 wrz 2021 (różn. | hist.) . . (-240)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:41, 8 wrz 2021 (różn. | hist.) . . (+152)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:40, 8 wrz 2021 (różn. | hist.) . . (-4)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:39, 8 wrz 2021 (różn. | hist.) . . (+31)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:38, 8 wrz 2021 (różn. | hist.) . . (+65)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:36, 8 wrz 2021 (różn. | hist.) . . (+4)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:33, 8 wrz 2021 (różn. | hist.) . . (+3)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:31, 8 wrz 2021 (różn. | hist.) . . (-1)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:30, 8 wrz 2021 (różn. | hist.) . . (+1)‎ . . Collatz ‎ (→‎Formuła stopu)
• 12:27, 8 wrz 2021 (różn. | hist.) . . (+772)‎ . . Collatz ‎
• 10:45, 8 wrz 2021 (różn. | hist.) . . (+28)‎ . . Collatz ‎
• 09:06, 8 wrz 2021 (różn. | hist.) . . (+9)‎ . . Collatz ‎
• 09:03, 8 wrz 2021 (różn. | hist.) . . (+934)‎ . . Collatz ‎
• 07:11, 7 wrz 2021 (różn. | hist.) . . (+10)‎ . . Collatz ‎
• 07:10, 7 wrz 2021 (różn. | hist.) . . (-102)‎ . . Strona główna ‎ (ostatnia)
• 07:09, 7 wrz 2021 (różn. | hist.) . . (-7)‎ . . Strona główna ‎
• 07:06, 7 wrz 2021 (różn. | hist.) . . (-3)‎ . . Collatz ‎
• 07:04, 7 wrz 2021 (różn. | hist.) . . (+4)‎ . . Collatz ‎
• 07: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...")
• 06:52, 7 wrz 2021 (różn. | hist.) . . (+11)‎ . . Strona główna ‎
• 06:51, 7 wrz 2021 (różn. | hist.) . . (+17)‎ . . Strona główna ‎
• 12:36, 4 wrz 2021 (różn. | hist.) . . (-27)‎ . . Strona główna ‎
• 12:29, 4 wrz 2021 (różn. | hist.) . . (0)‎ . . N Plik:On-Collatz-thm-3-09-21.pdf ‎ (ostatnia)
• 20:02, 28 lip 2021 (różn. | hist.) . . (+3)‎ . . Strona główna ‎
• 14:20, 27 lip 2021 (różn. | hist.) . . (+115)‎ . . Strona główna ‎
• 14:16, 27 lip 2021 (różn. | hist.) . . (+21)‎ . . N Plik:Na twierdzenie Collatza.pdf ‎ (27 lipca 2021 Dowód.) (ostatnia)
• 14:14, 27 lip 2021 (różn. | hist.) . . (+64)‎ . . Strona główna ‎
• 11:10, 8 wrz 2020 (różn. | hist.) . . (+58)‎ . . N Plik:ExamplesPrograms.pdf ‎ (Set of programs. Examples from 1983 Zaborow Summer School.) (ostatnia)
• 10:13, 14 cze 2020 (różn. | hist.) . . (+86)‎ . . Loglan'82 ‎ (→‎Bibliografia) (ostatnia)
• 10:10, 14 cze 2020 (różn. | hist.) . . (+30)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 10:07, 14 cze 2020 (różn. | hist.) . . (0)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 10:06, 14 cze 2020 (różn. | hist.) . . (+189)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 09:42, 14 cze 2020 (różn. | hist.) . . (+44)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 09:41, 14 cze 2020 (różn. | hist.) . . (-42)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 09:39, 14 cze 2020 (różn. | hist.) . . (+7)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 09:37, 14 cze 2020 (różn. | hist.) . . (-36)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 09:35, 14 cze 2020 (różn. | hist.) . . (+2)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 09:33, 14 cze 2020 (różn. | hist.) . . (-4)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 09:31, 14 cze 2020 (różn. | hist.) . . (+136)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 15:35, 13 cze 2020 (różn. | hist.) . . (+259)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 12:13, 13 cze 2020 (różn. | hist.) . . (+4)‎ . . Loglan'82 ‎ (→‎Bibliografia)
• 12:11, 13 cze 2020 (różn. | hist.) . . (+4)‎ . . Fundamental research ‎ (→‎Bibliography) (ostatnia)
• 16:27, 12 cze 2020 (różn. | hist.) . . (+138)‎ . . Loglan'82 ‎ (→‎Początki)
• 16:17, 12 cze 2020 (różn. | hist.) . . (+2724)‎ . . Loglan'82 ‎ (→‎→ Badania podstawowe)
• 14:14, 29 maj 2020 (różn. | hist.) . . (+83)‎ . . Strona główna ‎
• 12:35, 27 maj 2020 (różn. | hist.) . . (+16)‎ . . Strona główna ‎
• 12:55, 26 maj 2020 (różn. | hist.) . . (+55)‎ . . Strona główna ‎
• 12:53, 26 maj 2020 (różn. | hist.) . . (+22)‎ . . Strona główna ‎ (→‎Mapa)
• 12:51, 26 maj 2020 (różn. | hist.) . . (0)‎ . . N Plik:SlajdyPawel26maj.pdf ‎ (ostatnia)
• 12:47, 26 maj 2020 (różn. | hist.) . . (0)‎ . . Plik:SlajdyPawel.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:SlajdyPawel.pdf“) (ostatnia)
• 11:46, 26 maj 2020 (różn. | hist.) . . (0)‎ . . N Plik:SlajdyPawel.pdf ‎
• 14:24, 13 maj 2020 (różn. | hist.) . . (0)‎ . . Plik:NPawel.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:NPawel.pdf“) (ostatnia)
• 09:52, 21 kwi 2020 (różn. | hist.) . . (0)‎ . . N Plik:OdDamianaeuclide.pdf ‎ (ostatnia)
• 06:00, 21 kwi 2020 (różn. | hist.) . . (0)‎ . . N Plik:NPawel.pdf ‎
• 10:54, 26 mar 2020 (różn. | hist.) . . (+315)‎ . . Strona główna ‎ (→‎Pytania)
• 11:36, 23 mar 2020 (różn. | hist.) . . (+275)‎ . . PawelG ‎ (ostatnia)
• 11:54, 21 mar 2020 (różn. | hist.) . . (+315)‎ . . Strona główna ‎ (→‎Pytania)
• 21:53, 20 mar 2020 (różn. | hist.) . . (+10)‎ . . Strona główna ‎
• 21:51, 20 mar 2020 (różn. | hist.) . . (+192)‎ . . Strona główna ‎ (→‎Pytania)
• 09:42, 20 mar 2020 (różn. | hist.) . . (0)‎ . . Strona główna ‎ (→‎Pytania)
• 09:41, 20 mar 2020 (różn. | hist.) . . (-15)‎ . . Strona główna ‎ (→‎Pytania)
• 09:40, 20 mar 2020 (różn. | hist.) . . (+15)‎ . . Strona główna ‎ (→‎Pytania)
• 09:37, 20 mar 2020 (różn. | hist.) . . (0)‎ . . Strona główna ‎ (→‎Pytania)
• 09:36, 20 mar 2020 (różn. | hist.) . . (0)‎ . . Strona główna ‎ (→‎Pytania)
• 09:35, 20 mar 2020 (różn. | hist.) . . (+1)‎ . . Strona główna ‎ (→‎Pytania)
• 09:34, 20 mar 2020 (różn. | hist.) . . (+738)‎ . . Strona główna ‎
• 12:25, 16 mar 2020 (różn. | hist.) . . (+15)‎ . . PawelG ‎
• 12:21, 16 mar 2020 (różn. | hist.) . . (0)‎ . . PawelG ‎
• 12:19, 16 mar 2020 (różn. | hist.) . . (+60)‎ . . PawelG ‎
• 12:16, 16 mar 2020 (różn. | hist.) . . (+16)‎ . . SpecVer ‎ (→‎Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.) (ostatnia)
• 12:12, 16 mar 2020 (różn. | hist.) . . (0)‎ . . PawelG ‎
• 12:10, 16 mar 2020 (różn. | hist.) . . (+2)‎ . . PawelG ‎
• 12:09, 16 mar 2020 (różn. | hist.) . . (+13)‎ . . PawelG ‎
• 12:08, 16 mar 2020 (różn. | hist.) . . (+70)‎ . . PawelG ‎
• 12:05, 16 mar 2020 (różn. | hist.) . . (+9)‎ . . PawelG ‎
• 12:03, 16 mar 2020 (różn. | hist.) . . (-9)‎ . . PawelG ‎
• 12:01, 16 mar 2020 (różn. | hist.) . . (-40)‎ . . PawelG ‎
• 11:54, 16 mar 2020 (różn. | hist.) . . (-428)‎ . . PawelG ‎
• 11:41, 16 mar 2020 (różn. | hist.) . . (+3)‎ . . PawelG ‎
• 11:35, 16 mar 2020 (różn. | hist.) . . (+1473)‎ . . PawelG ‎
• 11: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ć?")
• 11:28, 16 mar 2020 (różn. | hist.) . . (+97)‎ . . SpecVer ‎
• 11:32, 6 gru 2019 (różn. | hist.) . . (+458)‎ . . Rachunek programów ‎ (→‎Przykłady reguł wnioskowania) (ostatnia)
• 11:07, 6 gru 2019 (różn. | hist.) . . (+307)‎ . . Strona główna ‎
• 06:58, 10 wrz 2019 (różn. | hist.) . . (+317)‎ . . Logika Algorytmiczna ‎ (ostatnia)
• 08:57, 1 cze 2019 (różn. | hist.) . . (-4)‎ . . Strona główna ‎
• 18:48, 31 maj 2019 (różn. | hist.) . . (-7)‎ . . Fundamental research ‎ (→‎Bibliography)
• 08:40, 2 maj 2019 (różn. | hist.) . . (-2)‎ . . Main page ‎ (ostatnia)
• 08:39, 2 maj 2019 (różn. | hist.) . . (+80)‎ . . Main page ‎
• 08:37, 2 maj 2019 (różn. | hist.) . . (0)‎ . . N Plik:LeafletAlgorithmicLogic.pdf ‎ (ostatnia)
• 11:55, 1 maj 2019 (różn. | hist.) . . (+6)‎ . . Logika Algorytmiczna ‎ (→‎Bibliografia)
• 11:52, 1 maj 2019 (różn. | hist.) . . (+1)‎ . . Logika Algorytmiczna ‎ (→‎Bibliografia)
• 11:50, 1 maj 2019 (różn. | hist.) . . (+148)‎ . . Logika Algorytmiczna ‎ (→‎Bibliografia)
• 11:39, 1 maj 2019 (różn. | hist.) . . (+48)‎ . . N Plik:WDnonprog.pdf ‎ (Non programmable function defined by a procedure) (ostatnia)
• 11:20, 26 mar 2019 (różn. | hist.) . . (-167)‎ . . Strona główna ‎
• 08:38, 29 gru 2018 (różn. | hist.) . . (+11)‎ . . N Plik:DowodStopu-29-12-2018.pdf ‎ (popr 29 XII) (ostatnia)
• 08:37, 29 gru 2018 (różn. | hist.) . . (0)‎ . . Strona główna ‎
• 08:37, 29 gru 2018 (różn. | hist.) . . (+21)‎ . . N Plik:DowódStopu-29-12-2018.pdf ‎ (poprawiono 29 grudnia) (ostatnia)
• 08: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)
• 18:38, 28 gru 2018 (różn. | hist.) . . (+10)‎ . . N Plik:DowodStopu-28-12-2018.pdf ‎ (28 grudnia)
• 18:36, 28 gru 2018 (różn. | hist.) . . (+21)‎ . . Strona główna ‎
• 20:11, 21 gru 2018 (różn. | hist.) . . (0)‎ . . Strona główna ‎
• 16:57, 21 gru 2018 (różn. | hist.) . . (-68)‎ . . OnEuclid'salgorithm ‎ (ostatnia)
• 16:56, 21 gru 2018 (różn. | hist.) . . (+4)‎ . . OnEuclid'salgorithm ‎
• 16: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")
• 08:32, 21 gru 2018 (różn. | hist.) . . (0)‎ . . Strona główna ‎
• 08:31, 21 gru 2018 (różn. | hist.) . . (0)‎ . . N Plik:DowodStopu-21-12-2018.pdf ‎ (ostatnia)
• 21:10, 20 gru 2018 (różn. | hist.) . . (+33)‎ . . Strona główna ‎
• 20:59, 20 gru 2018 (różn. | hist.) . . (-19)‎ . . Strona główna ‎
• 20:58, 20 gru 2018 (różn. | hist.) . . (+36)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza) (ostatnia)
• 15:35, 20 gru 2018 (różn. | hist.) . . (+20)‎ . . Strona główna ‎
• 15:33, 20 gru 2018 (różn. | hist.) . . (-7)‎ . . Strona główna ‎
• 15:30, 20 gru 2018 (różn. | hist.) . . (-6)‎ . . Strona główna ‎
• 15:30, 20 gru 2018 (różn. | hist.) . . (-1)‎ . . Strona główna ‎
• 15:29, 20 gru 2018 (różn. | hist.) . . (+6)‎ . . Strona główna ‎
• 15:27, 20 gru 2018 (różn. | hist.) . . (+31)‎ . . Strona główna ‎
• 15:17, 20 gru 2018 (różn. | hist.) . . (+41)‎ . . Strona główna ‎
• 15:10, 20 gru 2018 (różn. | hist.) . . (+52)‎ . . Strona główna ‎
• 15:08, 20 gru 2018 (różn. | hist.) . . (0)‎ . . N Plik:DowodStopu-20-12-2018.pdf ‎ (ostatnia)
• 22:05, 17 gru 2018 (różn. | hist.) . . (0)‎ . . N Plik:DowódStopu-17-12-2018.pdf ‎ (ostatnia)
• 21:58, 28 lis 2018 (różn. | hist.) . . (-214)‎ . . Strona główna ‎
• 09:50, 22 lis 2018 (różn. | hist.) . . (-1)‎ . . Strona główna ‎
• 09:50, 22 lis 2018 (różn. | hist.) . . (+38)‎ . . Strona główna ‎
• 09:35, 22 lis 2018 (różn. | hist.) . . (-18)‎ . . Strona główna ‎
• 09:34, 22 lis 2018 (różn. | hist.) . . (-11)‎ . . Strona główna ‎
• 09:33, 22 lis 2018 (różn. | hist.) . . (+27)‎ . . Strona główna ‎
• 09:28, 22 lis 2018 (różn. | hist.) . . (0)‎ . . N Plik:Grzegorczyk4Informatics.pdf ‎ (ostatnia)
• 16:11, 21 lis 2018 (różn. | hist.) . . (0)‎ . . Strona główna ‎
• 16:10, 21 lis 2018 (różn. | hist.) . . (0)‎ . . N Plik:Na twierdzenie Collatza 21-11-2018.pdf ‎ (ostatnia)
• 13:20, 20 lis 2018 (różn. | hist.) . . (0)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 13:20, 20 lis 2018 (różn. | hist.) . . (+2)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 12:59, 20 lis 2018 (różn. | hist.) . . (0)‎ . . Strona główna ‎
• 12:59, 20 lis 2018 (różn. | hist.) . . (0)‎ . . N Plik:Na twierdzenie Collatza 20-11-2018.pdf ‎ (ostatnia)
• 17:34, 18 lis 2018 (różn. | hist.) . . (+12)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 17:32, 18 lis 2018 (różn. | hist.) . . (0)‎ . . Strona główna ‎
• 17:31, 18 lis 2018 (różn. | hist.) . . (0)‎ . . N Plik:Na twierdzenie Collatza 18-11-2018.pdf ‎ (ostatnia)
• 10:07, 18 lis 2018 (różn. | hist.) . . (+2)‎ . . Strona główna ‎
• 10:06, 18 lis 2018 (różn. | hist.) . . (+10)‎ . . Strona główna ‎
• 10:05, 18 lis 2018 (różn. | hist.) . . (0)‎ . . N Plik:Na twierdzenie Collatza-18-11-2018.pdf ‎ (ostatnia)
• 10:03, 18 lis 2018 (różn. | hist.) . . (+1)‎ . . Strona główna ‎
• 10:02, 18 lis 2018 (różn. | hist.) . . (+7)‎ . . Strona główna ‎
• 10:02, 18 lis 2018 (różn. | hist.) . . (-24)‎ . . Strona główna ‎
• 10:01, 18 lis 2018 (różn. | hist.) . . (+24)‎ . . Strona główna ‎
• 07:01, 18 lis 2018 (różn. | hist.) . . (+2)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 14:39, 17 lis 2018 (różn. | hist.) . . (+2)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 14:38, 17 lis 2018 (różn. | hist.) . . (-2)‎ . . Strona główna ‎
• 14:37, 17 lis 2018 (różn. | hist.) . . (-14)‎ . . Strona główna ‎
• 14:36, 17 lis 2018 (różn. | hist.) . . (0)‎ . . Strona główna ‎
• 14:35, 17 lis 2018 (różn. | hist.) . . (+42)‎ . . Strona główna ‎
• 14:34, 17 lis 2018 (różn. | hist.) . . (0)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 14:33, 17 lis 2018 (różn. | hist.) . . (0)‎ . . N Plik:DowódStopu-17-11-2018.pdf ‎ (ostatnia)
• 14:31, 17 lis 2018 (różn. | hist.) . . (+132)‎ . . m Strona główna ‎
• 09:12, 16 lis 2018 (różn. | hist.) . . (+9)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 09:08, 16 lis 2018 (różn. | hist.) . . (+26)‎ . . N Plik:DowódStopu-16-11-18.pdf ‎ (raport z 16 listopada 2018) (ostatnia)
• 09:05, 16 lis 2018 (różn. | hist.) . . (0)‎ . . Plik:DowódStopu.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:DowódStopu.pdf“) (ostatnia)
• 09:02, 16 lis 2018 (różn. | hist.) . . (0)‎ . . Plik:DowódStopu.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:DowódStopu.pdf“)
• 08:59, 16 lis 2018 (różn. | hist.) . . (0)‎ . . N Plik:NaTwierdzenieCollatza.pdf ‎ (ostatnia)
• 21:24, 15 lis 2018 (różn. | hist.) . . (+1)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 21:22, 15 lis 2018 (różn. | hist.) . . (+32)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 21:17, 15 lis 2018 (różn. | hist.) . . (0)‎ . . N Plik:DowódStopu.pdf ‎
• 21:17, 15 lis 2018 (różn. | hist.) . . (-140)‎ . . m Strona główna ‎
• 21:15, 15 lis 2018 (różn. | hist.) . . (+150)‎ . . Strona główna ‎
• 09:43, 4 lis 2018 (różn. | hist.) . . (+307)‎ . . Main page ‎
• 09:31, 4 lis 2018 (różn. | hist.) . . (-124)‎ . . Strona główna ‎
• 09:28, 4 lis 2018 (różn. | hist.) . . (-19)‎ . . Strona główna ‎
• 09:26, 4 lis 2018 (różn. | hist.) . . (+20)‎ . . Strona główna ‎
• 09:24, 4 lis 2018 (różn. | hist.) . . (+458)‎ . . Strona główna ‎
• 09:06, 4 lis 2018 (różn. | hist.) . . (+49)‎ . . Strona główna ‎
• 08:49, 9 paź 2018 (różn. | hist.) . . (+3)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Przykłady) (ostatnia)
• 08:35, 9 paź 2018 (różn. | hist.) . . (0)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Częściowa poprawność programu)
• 08:34, 9 paź 2018 (różn. | hist.) . . (+1)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Poprawność programu)
• 08:31, 9 paź 2018 (różn. | hist.) . . (+5)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Najsłabszy warunek wstępny)
• 08:30, 9 paź 2018 (różn. | hist.) . . (-17)‎ . . Wyrażalność semantycznych własności programów ‎
• 08:28, 9 paź 2018 (różn. | hist.) . . (+17)‎ . . Wyrażalność semantycznych własności programów ‎
• 08: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)
• 08: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)
• 08:19, 9 paź 2018 (różn. | hist.) . . (+26)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 07:56, 9 paź 2018 (różn. | hist.) . . (+2)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 18:32, 8 paź 2018 (różn. | hist.) . . (-8)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 18:31, 8 paź 2018 (różn. | hist.) . . (-3)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 18:30, 8 paź 2018 (różn. | hist.) . . (+91)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 11:56, 8 paź 2018 (różn. | hist.) . . (+4)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 11:53, 8 paź 2018 (różn. | hist.) . . (-1)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 11:52, 8 paź 2018 (różn. | hist.) . . (+223)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 11:48, 8 paź 2018 (różn. | hist.) . . (+26)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 09: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)
• 15:09, 7 paź 2018 (różn. | hist.) . . (+3)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Przykłady)
• 08:53, 7 paź 2018 (różn. | hist.) . . (+23)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Przykłady)
• 08: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)
• 08:07, 7 paź 2018 (różn. | hist.) . . (+482)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Przykłady)
• 07:57, 7 paź 2018 (różn. | hist.) . . (0)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Przykłady)
• 07:56, 7 paź 2018 (różn. | hist.) . . (+586)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Przykłady)
• 07: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)
• 07: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)
• 07: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)
• 07: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)
• 07: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)
• 07: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)
• 07: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)
• 18:10, 6 paź 2018 (różn. | hist.) . . (+177)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 15:58, 6 paź 2018 (różn. | hist.) . . (0)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 15:58, 6 paź 2018 (różn. | hist.) . . (-5)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 15:57, 6 paź 2018 (różn. | hist.) . . (+599)‎ . . Wyrażalność semantycznych własności programów ‎ (→‎Własności semantyczne algorytmów)
• 15: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)
• 15: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...")
• 15:26, 6 paź 2018 (różn. | hist.) . . (+159)‎ . . Logika Algorytmiczna ‎ (→‎Wprowadzenie)
• 09:04, 6 paź 2018 (różn. | hist.) . . (+10)‎ . . Logika Algorytmiczna ‎ (→‎Wprowadzenie)
• 08:59, 6 paź 2018 (różn. | hist.) . . (-1)‎ . . Logika Algorytmiczna ‎ (→‎Wprowadzenie)
• 08:58, 6 paź 2018 (różn. | hist.) . . (-12)‎ . . Logika Algorytmiczna ‎ (→‎Wprowadzenie)
• 09:54, 4 paź 2018 (różn. | hist.) . . (+10)‎ . . Logika Algorytmiczna ‎ (→‎Wprowadzenie)
• 20:04, 2 paź 2018 (różn. | hist.) . . (-31)‎ . . Algorithmic theory of stacks ‎ (→‎Algorithmic theory of stacks) (ostatnia)
• 19:53, 2 paź 2018 (różn. | hist.) . . (-19)‎ . . Algorithmic theory of stacks ‎ (→‎Algorithmic theory of stacks)
• 19: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...")
• 14:04, 2 paź 2018 (różn. | hist.) . . (0)‎ . . SpecVer ‎ (→‎Bibliografia)
• 12:12, 2 paź 2018 (różn. | hist.) . . (-5)‎ . . Algorithmic theory of rational numbers ‎ (ostatnia)
• 12:10, 2 paź 2018 (różn. | hist.) . . (+296)‎ . . Algorithmic theory of rational numbers ‎
• 12:02, 2 paź 2018 (różn. | hist.) . . (+13)‎ . . Algorithmic theory of integers ‎ (ostatnia)
• 11:59, 2 paź 2018 (różn. | hist.) . . (+49)‎ . . Algorithmic theory of integers ‎
• 11:49, 2 paź 2018 (różn. | hist.) . . (+32)‎ . . Algorithmic theory of natural numbers ‎ (ostatnia)
• 11:48, 2 paź 2018 (różn. | hist.) . . (-1)‎ . . Algorithmic theory of natural numbers ‎
• 11:46, 2 paź 2018 (różn. | hist.) . . (+143)‎ . . Algorithmic theory of natural numbers ‎
• 11:42, 2 paź 2018 (różn. | hist.) . . (+87)‎ . . Algorithmic theory of integers ‎
• 11:29, 2 paź 2018 (różn. | hist.) . . (+5)‎ . . Algorithmic theory of integers ‎
• 11:19, 2 paź 2018 (różn. | hist.) . . (+20)‎ . . Algorithmic theory of integers ‎
• 17:47, 22 wrz 2018 (różn. | hist.) . . (+682)‎ . . Logika Algorytmiczna ‎ (→‎Wprowadzenie)
• 06:54, 22 wrz 2018 (różn. | hist.) . . (+102)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 15:43, 14 wrz 2018 (różn. | hist.) . . (+21)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Na problem Collatza)
• 15:42, 14 wrz 2018 (różn. | hist.) . . (0)‎ . . N Plik:OnCollatzTheorem14Sep2018.pdf ‎ (ostatnia)
• 15:41, 14 wrz 2018 (różn. | hist.) . . (+63)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 06:52, 13 wrz 2018 (różn. | hist.) . . (0)‎ . . N Plik:OnCollatzTheorem.pdf ‎ (ostatnia)
• 06:33, 13 wrz 2018 (różn. | hist.) . . (0)‎ . . N Plik:OnCollatzTheorem13Sep2018.pdf ‎ (ostatnia)
• 06:33, 13 wrz 2018 (różn. | hist.) . . (+7)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 06:32, 13 wrz 2018 (różn. | hist.) . . (+40)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 15:48, 12 wrz 2018 (różn. | hist.) . . (+1)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 15:46, 12 wrz 2018 (różn. | hist.) . . (0)‎ . . N Plik:OnCollatzTheorem--12Sep2018.pdf ‎ (ostatnia)
• 15:44, 12 wrz 2018 (różn. | hist.) . . (+41)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 15:42, 12 wrz 2018 (różn. | hist.) . . (+1)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 15:41, 12 wrz 2018 (różn. | hist.) . . (+9)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:12, 12 wrz 2018 (różn. | hist.) . . (0)‎ . . N Plik:OnCollatzTheorem12Sep2018.pdf ‎ (ostatnia)
• 09:17, 12 wrz 2018 (różn. | hist.) . . (-1)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 08:29, 12 wrz 2018 (różn. | hist.) . . (+2)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 08:28, 12 wrz 2018 (różn. | hist.) . . (-5500)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 17:39, 27 sie 2018 (różn. | hist.) . . (0)‎ . . N Plik:NaTwierdzenieCollatzaN.pdf ‎ (ostatnia)
• 20:56, 4 sie 2018 (różn. | hist.) . . (0)‎ . . Arytmetyka Algorytmiczna ‎
• 12:39, 31 lip 2018 (różn. | hist.) . . (+7)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:37, 31 lip 2018 (różn. | hist.) . . (-1)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:27, 31 lip 2018 (różn. | hist.) . . (-17)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:24, 31 lip 2018 (różn. | hist.) . . (+273)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:15, 31 lip 2018 (różn. | hist.) . . (+1375)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 11:55, 31 lip 2018 (różn. | hist.) . . (-1)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 11:52, 31 lip 2018 (różn. | hist.) . . (+4)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 11:50, 31 lip 2018 (różn. | hist.) . . (+4)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 11:48, 31 lip 2018 (różn. | hist.) . . (-16)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 11:47, 31 lip 2018 (różn. | hist.) . . (+46)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 11:45, 31 lip 2018 (różn. | hist.) . . (-8)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 11:42, 31 lip 2018 (różn. | hist.) . . (-2)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 11:38, 31 lip 2018 (różn. | hist.) . . (+1147)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 11:23, 31 lip 2018 (różn. | hist.) . . (+4)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 16:06, 30 lip 2018 (różn. | hist.) . . (+676)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 13:44, 30 lip 2018 (różn. | hist.) . . (+235)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 13:29, 30 lip 2018 (różn. | hist.) . . (+18)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 13:24, 30 lip 2018 (różn. | hist.) . . (+63)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:41, 30 lip 2018 (różn. | hist.) . . (+303)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:32, 30 lip 2018 (różn. | hist.) . . (+289)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:24, 30 lip 2018 (różn. | hist.) . . (+143)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:12, 30 lip 2018 (różn. | hist.) . . (-7)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Przyczynki do problemu Collatza)
• 12:10, 30 lip 2018 (różn. | hist.) . . (-1107)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Problem Collatza)
• 11:59, 30 lip 2018 (różn. | hist.) . . (-4)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Algorytm Euklidesa)
• 11:58, 30 lip 2018 (różn. | hist.) . . (-233)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Algorytm Euklidesa)
• 11:54, 30 lip 2018 (różn. | hist.) . . (-36)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Algorytm Euklidesa)
• 11:52, 30 lip 2018 (różn. | hist.) . . (+37)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Algorytm Euklidesa)
• 11:51, 30 lip 2018 (różn. | hist.) . . (+10)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Algorytm Euklidesa)
• 11:44, 30 lip 2018 (różn. | hist.) . . (+256)‎ . . Arytmetyka Algorytmiczna ‎ (→‎Algorytm Euklidesa)
• 19:39, 7 lip 2018 (różn. | hist.) . . (+80)‎ . . Strona główna ‎
• 10:25, 7 lip 2018 (różn. | hist.) . . (+2)‎ . . Strona główna ‎
• 10:23, 7 lip 2018 (różn. | hist.) . . (+23)‎ . . Strona główna ‎
• 10:22, 7 lip 2018 (różn. | hist.) . . (-14)‎ . . Strona główna ‎
• 10:21, 7 lip 2018 (różn. | hist.) . . (+15)‎ . . Strona główna ‎
• 10:19, 7 lip 2018 (różn. | hist.) . . (+8)‎ . . Strona główna ‎
• 11:38, 21 cze 2018 (różn. | hist.) . . (+108)‎ . . LEM ‎ (ostatnia)
• 18:14, 31 maj 2018 (różn. | hist.) . . (-4)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 18:13, 31 maj 2018 (różn. | hist.) . . (+22)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 18:12, 31 maj 2018 (różn. | hist.) . . (+4)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 18:11, 31 maj 2018 (różn. | hist.) . . (+1)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 18:10, 31 maj 2018 (różn. | hist.) . . (-12)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 18:09, 31 maj 2018 (różn. | hist.) . . (+1)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 18:07, 31 maj 2018 (różn. | hist.) . . (-18)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 10:35, 31 maj 2018 (różn. | hist.) . . (+60)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 10:31, 31 maj 2018 (różn. | hist.) . . (+22)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 09:22, 31 maj 2018 (różn. | hist.) . . (+196)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 15:34, 30 maj 2018 (różn. | hist.) . . (+54)‎ . . Logika Algorytmiczna ‎ (→‎Protokół rozbieżności)
• 15:31, 30 maj 2018 (różn. | hist.) . . (+33)‎ . . Logika Algorytmiczna ‎ (→‎Protokół rozbieżności)
• 15:28, 30 maj 2018 (różn. | hist.) . . (+164)‎ . . Logika Algorytmiczna ‎ (→‎Protokół rozbieżności)
• 15:24, 30 maj 2018 (różn. | hist.) . . (0)‎ . . N Plik:1pierwszaRec.pdf ‎ (ostatnia)
• 15:18, 30 maj 2018 (różn. | hist.) . . (+1)‎ . . Logika Algorytmiczna ‎ (→‎Protokół rozbieżności)
• 15:16, 30 maj 2018 (różn. | hist.) . . (+2)‎ . . Logika Algorytmiczna ‎ (→‎Protokół rozbieżności)
• 15:15, 30 maj 2018 (różn. | hist.) . . (+89)‎ . . Logika Algorytmiczna ‎ (→‎Protokół rozbieżności)
• 15:11, 30 maj 2018 (różn. | hist.) . . (0)‎ . . N Plik:Second-report-08.pdf ‎ (ostatnia)
• 15:09, 30 maj 2018 (różn. | hist.) . . (0)‎ . . N Plik:DiscrepancyReport.pdf ‎ (ostatnia)
• 15:03, 30 maj 2018 (różn. | hist.) . . (+358)‎ . . Logika Algorytmiczna ‎ (→‎Protokół rozbieżności)
• 14:36, 30 maj 2018 (różn. | hist.) . . (+12)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:34, 30 maj 2018 (różn. | hist.) . . (+239)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:33, 30 maj 2018 (różn. | hist.) . . (+21)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:31, 30 maj 2018 (różn. | hist.) . . (0)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:30, 30 maj 2018 (różn. | hist.) . . (+1)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:29, 30 maj 2018 (różn. | hist.) . . (+9)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:28, 30 maj 2018 (różn. | hist.) . . (-2)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:27, 30 maj 2018 (różn. | hist.) . . (-1)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:26, 30 maj 2018 (różn. | hist.) . . (+15)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:25, 30 maj 2018 (różn. | hist.) . . (+75)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 14:20, 30 maj 2018 (różn. | hist.) . . (+18)‎ . . Logika Algorytmiczna ‎ (→‎Pytania otwarte)
• 12:58, 30 maj 2018 (różn. | hist.) . . (+590)‎ . . Logika Algorytmiczna ‎ (→‎Protokół rozbieżności)
• 19:13, 18 maj 2018 (różn. | hist.) . . (-333)‎ . . Logika Algorytmiczna ‎ (→‎Protokół rozbieżności)
• 19:12, 18 maj 2018 (różn. | hist.) . . (+9)‎ . . Logika Algorytmiczna ‎ (→‎Dziwne zachowanie)
• 12:29, 17 maj 2018 (różn. | hist.) . . (+357)‎ . . Logika Algorytmiczna ‎ (→‎Bibliografia)
• 19:33, 2 maj 2018 (różn. | hist.) . . (+5)‎ . . Logika Algorytmiczna ‎ (→‎Bibliografia)
• 19:27, 2 maj 2018 (różn. | hist.) . . (0)‎ . . N Plik:On-Euclids-algorithm-2018.pdf ‎ (ostatnia)
• 19:20, 2 maj 2018 (różn. | hist.) . . (-3)‎ . . Logika Algorytmiczna ‎ (→‎Bibliografia)
• 19: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)
• 15: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“)
• 15: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“)
• 15: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“)
• 15: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“)
• 12:32, 2 maj 2018 (różn. | hist.) . . (-4)‎ . . Logika Algorytmiczna ‎ (→‎Bibliografia)
• 11: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: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“)
• 13:22, 8 lut 2018 (różn. | hist.) . . (-3)‎ . . Fundamental research ‎ (→‎Bibliography)
• 13:21, 8 lut 2018 (różn. | hist.) . . (0)‎ . . Fundamental research ‎ (→‎Bibliography)
• 13:15, 8 lut 2018 (różn. | hist.) . . (-2)‎ . . Fundamental research ‎ (→‎Bibliography)
• 13:14, 8 lut 2018 (różn. | hist.) . . (+103)‎ . . Fundamental research ‎ (→‎Bibliography)
• 18:11, 7 lut 2018 (różn. | hist.) . . (+112)‎ . . Fundamental research ‎ (→‎Bibliography)
• 18:04, 7 lut 2018 (różn. | hist.) . . (+156)‎ . . Fundamental research ‎ (→‎Bibliography)
• 17:59, 7 lut 2018 (różn. | hist.) . . (0)‎ . . N Plik:WarpechowskiTezaDokt.pdf ‎ (ostatnia)
• 10:00, 3 lut 2018 (różn. | hist.) . . (+1)‎ . . Algorithmic Logic ‎ (→‎Introduction) (ostatnia)
• 11:09, 31 sty 2018 (różn. | hist.) . . (+725)‎ . . Specyfikacja LEM ‎ (→‎Szkic specyfikacji projektu LEM) (ostatnia)
• 10:57, 31 sty 2018 (różn. | hist.) . . (+95)‎ . . Specyfikacja LEM ‎ (→‎Szkic specyfikacji projektu LEM)
• 13:10, 28 sty 2018 (różn. | hist.) . . (-50)‎ . . SpecVer ‎ (→‎Bibliografia)
• 13:06, 28 sty 2018 (różn. | hist.) . . (+114)‎ . . LEM ‎
• 10:09, 16 sty 2018 (różn. | hist.) . . (0)‎ . . Plik:LoglanMan.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“) (ostatnia)
• 11:46, 14 sty 2018 (różn. | hist.) . . (0)‎ . . Plik:LoglanMan.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
• 19:00, 11 sty 2018 (różn. | hist.) . . (0)‎ . . Plik:LoglanMan.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
• 08:17, 11 sty 2018 (różn. | hist.) . . (+331)‎ . . LEM ‎
• 18:46, 10 sty 2018 (różn. | hist.) . . (+462)‎ . . LEM ‎
• 18:39, 10 sty 2018 (różn. | hist.) . . (+3)‎ . . LEM ‎
• 18: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...")
• 15:34, 8 sty 2018 (różn. | hist.) . . (0)‎ . . Plik:LoglanMan.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
• 11:54, 8 sty 2018 (różn. | hist.) . . (0)‎ . . Plik:LoglanMan.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
• 19:13, 7 sty 2018 (różn. | hist.) . . (+51)‎ . . SpecVer ‎ (→‎Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
• 08:05, 6 sty 2018 (różn. | hist.) . . (0)‎ . . Plik:LoglanMan.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
• 07:53, 6 sty 2018 (różn. | hist.) . . (+1)‎ . . SpecVer ‎ (→‎Bibliografia)
• 07:47, 6 sty 2018 (różn. | hist.) . . (-8)‎ . . SpecVer ‎ (→‎Bibliografia)
• 07:46, 6 sty 2018 (różn. | hist.) . . (0)‎ . . Plik:LoglanMan.pdf ‎ (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
• 07:45, 6 sty 2018 (różn. | hist.) . . (+252)‎ . . SpecVer ‎ (→‎Bibliografia)
• 08:13, 2 sty 2018 (różn. | hist.) . . (+170)‎ . . Historia projektu Loglan ‎ (→‎Początki) (ostatnia)
• 08:10, 2 sty 2018 (różn. | hist.) . . (+13)‎ . . Historia projektu Loglan ‎
• 15: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...")
• 15:23, 25 gru 2017 (różn. | hist.) . . (+506)‎ . . Loglan'82 ‎ (→‎→ Badania podstawowe)
• 11:29, 30 lis 2017 (różn. | hist.) . . (0)‎ . . Algorithmic theory of natural numbers ‎
• 11:26, 30 lis 2017 (różn. | hist.) . . (+4)‎ . . Algorithmic theory of natural numbers ‎
• 11:23, 30 lis 2017 (różn. | hist.) . . (+409)‎ . . Algorithmic theory of natural numbers ‎
• 07:09, 29 lis 2017 (różn. | hist.) . . (+8)‎ . . Main page ‎
• 07:03, 29 lis 2017 (różn. | hist.) . . (+5)‎ . . Algorytm Euklidesa ‎ (ostatnia)
• 08:58, 11 sie 2017 (różn. | hist.) . . (+9)‎ . . Logika Algorytmiczna ‎ (→‎Bibliografia)
• 12:24, 9 sie 2017 (różn. | hist.) . . (0)‎ . . N Plik:LoglanMan.pdf ‎
• 19: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)
• 19:32, 8 sie 2017 (różn. | hist.) . . (-3164)‎ . . Logika Algorytmiczna ‎ (→‎Inne logiki programów)
• 19:30, 8 sie 2017 (różn. | hist.) . . (+3653)‎ . . Logic of Hoare ‎ (ostatnia)
• 19:29, 8 sie 2017 (różn. | hist.) . . (+23)‎ . . Logika Algorytmiczna ‎ (→‎Inne logiki programów)
• 19:28, 8 sie 2017 (różn. | hist.) . . (-3625)‎ . . Logika Algorytmiczna ‎ (→‎Inne logiki programów)
• 19:26, 8 sie 2017 (różn. | hist.) . . (+354)‎ . . Logika Algorytmiczna ‎
• 19:14, 8 sie 2017 (różn. | hist.) . . (+36)‎ . . Calculus of Floyd ‎ (ostatnia)
• 19:12, 8 sie 2017 (różn. | hist.) . . (0)‎ . . N Plik:AssigningMeanings1967.pdf ‎ (ostatnia)
• 18: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...")
• 17: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...")
• 17:49, 8 sie 2017 (różn. | hist.) . . (+7)‎ . . Algorithmic Logic ‎ (→‎Other logics of programs)
• 17:48, 8 sie 2017 (różn. | hist.) . . (-520)‎ . . Algorithmic Logic ‎ (→‎Floyd-Hoare logic)
• 17:35, 8 sie 2017 (różn. | hist.) . . (-53)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theories)
• 17: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.")
• 17:30, 8 sie 2017 (różn. | hist.) . . (+260)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theories)
• 17: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...")
• 17:24, 8 sie 2017 (różn. | hist.) . . (-3441)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theories)
• 17:21, 8 sie 2017 (różn. | hist.) . . (+6)‎ . . Algorithmic theory of natural numbers ‎
• 17: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...")
• 17:19, 8 sie 2017 (różn. | hist.) . . (+42)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theories)
• 17:17, 8 sie 2017 (różn. | hist.) . . (+1)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theories)
• 17:15, 8 sie 2017 (różn. | hist.) . . (+2)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of natural numbers)
• 17:14, 8 sie 2017 (różn. | hist.) . . (+822)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of natural numbers)
• 17:10, 8 sie 2017 (różn. | hist.) . . (+418)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of natural numbers)
• 17:03, 8 sie 2017 (różn. | hist.) . . (+9)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of natural numbers)
• 13:36, 8 sie 2017 (różn. | hist.) . . (+143)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of integers)
• 13:31, 8 sie 2017 (różn. | hist.) . . (+3)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of integers)
• 13:29, 8 sie 2017 (różn. | hist.) . . (-1)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of integers)
• 13:24, 8 sie 2017 (różn. | hist.) . . (0)‎ . . N Plik:Loglan.log ‎ (ostatnia)
• 13:23, 8 sie 2017 (różn. | hist.) . . (0)‎ . . N Plik:Gen.log ‎ (ostatnia)
• 13:16, 8 sie 2017 (różn. | hist.) . . (0)‎ . . N Plik:Int.log ‎ (ostatnia)
• 13:00, 8 sie 2017 (różn. | hist.) . . (+114)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of integers)
• 12:57, 8 sie 2017 (różn. | hist.) . . (0)‎ . . Algorithmic Logic ‎ (→‎Algorithic theory of integers)
• 12:56, 8 sie 2017 (różn. | hist.) . . (-2)‎ . . Algorithmic Logic ‎ (→‎Algorithic theory of integers)
• 12:55, 8 sie 2017 (różn. | hist.) . . (-9)‎ . . Algorithmic Logic ‎ (→‎Algorithic theory of integers)
• 12:54, 8 sie 2017 (różn. | hist.) . . (-3)‎ . . Algorithmic Logic ‎ (→‎Algorithic theory of integers)
• 12:53, 8 sie 2017 (różn. | hist.) . . (-35)‎ . . Algorithmic Logic ‎ (→‎Algorithic theory of integers)
• 12:51, 8 sie 2017 (różn. | hist.) . . (+1)‎ . . Algorithmic Logic ‎ (→‎Algorithic theory of integers)
• 12:50, 8 sie 2017 (różn. | hist.) . . (-162)‎ . . Algorithmic Logic ‎ (→‎Algorithic theory of integers)
• 12:41, 8 sie 2017 (różn. | hist.) . . (+1)‎ . . Algorithmic Logic ‎ (→‎Algorithic theory of integers)
• 12:39, 8 sie 2017 (różn. | hist.) . . (+52)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of natural numbers)
• 12:34, 8 sie 2017 (różn. | hist.) . . (+1960)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of natural numbers)
• 12:23, 8 sie 2017 (różn. | hist.) . . (+8)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of natural numbers)
• 12:21, 8 sie 2017 (różn. | hist.) . . (+20)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of natural numbers)
• 12:20, 8 sie 2017 (różn. | hist.) . . (+105)‎ . . Algorithmic Logic ‎ (→‎Algorithmic theory of natural numbers)
• 12:18, 8 sie 2017 (różn. | hist.) . . (+488)‎ . . Algorithmic Logic ‎ (→‎History)
• 20: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)
• 09:19, 7 sie 2017 (różn. | hist.) . . (-97)‎ . . Main page ‎
• 09:15, 7 sie 2017 (różn. | hist.) . . (+23)‎ . . Main page ‎
• 09:13, 7 sie 2017 (różn. | hist.) . . (-1)‎ . . Strona główna ‎
• 09: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“)
• 09: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“)
• 08: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“)
• 12:55, 4 sie 2017 (różn. | hist.) . . (+19)‎ . . Algorithmic Logic ‎ (→‎Introduction)
• 08:41, 4 sie 2017 (różn. | hist.) . . (+32)‎ . . Algorithmic Logic ‎ (→‎Introduction)
• 08:35, 4 sie 2017 (różn. | hist.) . . (+35)‎ . . Algorithmic Logic ‎ (→‎Introduction)
• 06:16, 3 sie 2017 (różn. | hist.) . . (+53)‎ . . Algorithmic Logic ‎ (→‎Structure of AL)
• 06:11, 3 sie 2017 (różn. | hist.) . . (+1)‎ . . Algorithmic Logic ‎ (→‎Bibliography)
• 06:10, 3 sie 2017 (różn. | hist.) . . (-1)‎ . . Algorithmic Logic ‎ (→‎Bibliography)
• 06:03, 3 sie 2017 (różn. | hist.) . . (+3397)‎ . . Algorithmic Logic ‎ (→‎Bibliography)
• 05:57, 3 sie 2017 (różn. | hist.) . . (-24)‎ . . Algorithmic Logic ‎ (→‎Introduction)
• 05:27, 3 sie 2017 (różn. | hist.) . . (0)‎ . . Main page ‎
• 13:07, 2 sie 2017 (różn. | hist.) . . (-5)‎ . . Algorithmic Logic ‎ (→‎Introduction)
• 13:04, 2 sie 2017 (różn. | hist.) . . (+4738)‎ . . Algorithmic Logic ‎
• 14:17, 30 lip 2017 (różn. | hist.) . . (+8)‎ . . Compilers ‎ (→‎Installing on Windows) (ostatnia)
• 14:16, 30 lip 2017 (różn. | hist.) . . (-1)‎ . . Compilers ‎ (→‎Przypisy)
• 13:02, 30 lip 2017 (różn. | hist.) . . (+16)‎ . . Compilers ‎ (→‎Call for volunteers)
• 13:02, 30 lip 2017 (różn. | hist.) . . (+41)‎ . . Compilers ‎ (→‎Loglan bez środowiska sieciowego)
• 12:54, 30 lip 2017 (różn. | hist.) . . (+1)‎ . . Compilers ‎ (→‎History)
• 12:53, 30 lip 2017 (różn. | hist.) . . (-89)‎ . . Compilers ‎ (→‎Historia)
• 12:45, 30 lip 2017 (różn. | hist.) . . (+40)‎ . . Compilers ‎ (→‎Linux)
• 12:34, 30 lip 2017 (różn. | hist.) . . (+11)‎ . . Compilers ‎ (→‎Installing Loglan compiler)
• 12:33, 30 lip 2017 (różn. | hist.) . . (+28)‎ . . Compilers ‎ (→‎Installing Loglan compiler)
• 12:32, 30 lip 2017 (różn. | hist.) . . (+4648)‎ . . Compilers ‎
• 10:17, 30 lip 2017 (różn. | hist.) . . (+2)‎ . . Kompilatory ‎ (→‎Historia) (ostatnia)
• 10: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...")

(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)