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