Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (250 nowszych | 250 starszych) (20 | 50 | 100 | 250 | 500)
- 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)
(od najświeższych | od najstarszych) Zobacz (250 nowszych | 250 starszych) (20 | 50 | 100 | 250 | 500)