Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)
- 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
- 09:59, 12 mar 2017 (różn. | hist.) . . (+185) . . Stosy - struktura algebraiczna
- 09:10, 12 mar 2017 (różn. | hist.) . . (+442) . . N Stosy - struktura algebraiczna (Utworzono nową stronę "Stosy to struktura algebraiczna znajdująca wiele zastosowań w informatyce.<br /> '''Definicja'''<br /> Struktura algebraiczna <math>A = \langle E \cup S; w, u, p, e, =...")
- 09:10, 4 gru 2016 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“)
- 09:01, 4 gru 2016 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm.pdf“)
- 20:32, 21 lis 2016 (różn. | hist.) . . (+2) . . Euklides (ostatnia)
- 20:31, 21 lis 2016 (różn. | hist.) . . (+25) . . Euklides
- 20:29, 21 lis 2016 (różn. | hist.) . . (+109) . . Euklides
- 20:27, 21 lis 2016 (różn. | hist.) . . (0) . . N Plik:On-Euclids-algorithm.pdf
- 20:27, 21 lis 2016 (różn. | hist.) . . (-1134) . . Euklides (UWAGA! Zastąpienie treści hasła bardzo krótkim tekstem: „Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak można udowodnić jego poprawność.”)
- 11:22, 13 lis 2016 (różn. | hist.) . . (0) . . Plik:Safe and effective object management system-Sal-Zadr.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:Safe and effective object management system-Sal-Zadr.pdf“) (ostatnia)
- 17:22, 12 paź 2016 (różn. | hist.) . . (+39) . . Logika Algorytmiczna
- 17:21, 12 paź 2016 (różn. | hist.) . . (0) . . Logika Algorytmiczna
- 15:36, 12 paź 2016 (różn. | hist.) . . (-39) . . Logika Algorytmiczna
- 15:35, 12 paź 2016 (różn. | hist.) . . (-20) . . Logika Algorytmiczna
- 15:33, 12 paź 2016 (różn. | hist.) . . (+148) . . Logika Algorytmiczna
- 15:30, 12 paź 2016 (różn. | hist.) . . (0) . . N Plik:InferenceRules.jpg (ostatnia)
- 15:29, 12 paź 2016 (różn. | hist.) . . (0) . . N Plik:AxiomsFOL-AL.jpg (ostatnia)
- 15:29, 12 paź 2016 (różn. | hist.) . . (0) . . N Plik:AxiomPL.jpg (ostatnia)
- 14:35, 12 paź 2016 (różn. | hist.) . . (-12) . . Logika Algorytmiczna
- 14:32, 12 paź 2016 (różn. | hist.) . . (0) . . Logika Algorytmiczna (→Wprowadzenie)
- 14:31, 12 paź 2016 (różn. | hist.) . . (0) . . N Plik:4logiki.jpg (ostatnia)
- 18:10, 22 kwi 2016 (różn. | hist.) . . (+10) . . Fundamental research (→Bibliography)
- 18:33, 12 mar 2016 (różn. | hist.) . . (-4) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
- 23:36, 6 mar 2016 (różn. | hist.) . . (+7) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 20:45, 6 mar 2016 (różn. | hist.) . . (+112) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 20:43, 6 mar 2016 (różn. | hist.) . . (+6) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 15:42, 6 mar 2016 (różn. | hist.) . . (+4) . . SpecVer (→Przykład analizy przeprowadzonej z wykorzystaniem rachunku programów)
- 15:24, 6 mar 2016 (różn. | hist.) . . (+423) . . SpecVer (→Przykład analizy przeprowadzonej z wykorzystaniem rachunku programów)
- 14:36, 6 mar 2016 (różn. | hist.) . . (0) . . N Plik:Prezentacja27-01-2009ExperimProve.pdf (ostatnia)
- 14:23, 6 mar 2016 (różn. | hist.) . . (-112) . . SpecVer (→Przykład analizy przeprowadzonej z wykorzystaniem rachunku programów)
- 14:21, 6 mar 2016 (różn. | hist.) . . (-37) . . SpecVer (→Przykład analizy przeprowadzonej z wykorzystaniem rachunku programów)
- 14:17, 6 mar 2016 (różn. | hist.) . . (+459) . . SpecVer (→Przykład analizy)
- 14:06, 6 mar 2016 (różn. | hist.) . . (+690) . . SpecVer (→Algorytmiczna teoria stosów)
- 13:56, 6 mar 2016 (różn. | hist.) . . (0) . . N Plik:SymulacjaBanku.pdf (ostatnia)
- 04:22, 6 mar 2016 (różn. | hist.) . . (+7) . . Inference rules (→Some auxiliary (secondary) inference rules) (ostatnia)
- 04:21, 6 mar 2016 (różn. | hist.) . . (0) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 04:20, 6 mar 2016 (różn. | hist.) . . (0) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 04:19, 6 mar 2016 (różn. | hist.) . . (+64) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 23:14, 29 lut 2016 (różn. | hist.) . . (0) . . N Plik:Swidaarticle.pdf (ostatnia)
- 20:28, 27 lut 2016 (różn. | hist.) . . (0) . . N Plik:Safe and effective object management system-Sal-Zadr.pdf
- 11:21, 17 lut 2016 (różn. | hist.) . . (0) . . N Plik:DziedzictwoLoglanu2016wyk1.pdf (ostatnia)
- 22:44, 16 lut 2016 (różn. | hist.) . . (+31) . . Strona główna
- 22:43, 16 lut 2016 (różn. | hist.) . . (0) . . N Plik:DziedzictwoLoglanu.pdf (ostatnia)
- 19:39, 13 lut 2016 (różn. | hist.) . . (+56) . . Fundamental research (→Bibliography)
- 19:37, 13 lut 2016 (różn. | hist.) . . (+12) . . Fundamental research (→Bibliography)
- 19:35, 13 lut 2016 (różn. | hist.) . . (-96) . . Fundamental research (→Bibliography)
- 19:32, 13 lut 2016 (różn. | hist.) . . (+6) . . DokumentacjaLoglanu (→Instrukcje instalowania Loglanu) (ostatnia)
- 19:31, 13 lut 2016 (różn. | hist.) . . (+61) . . DokumentacjaLoglanu (→Instrukcje instalowania Loglanu)
- 14:13, 11 lut 2016 (różn. | hist.) . . (+2) . . Dziedzictwo Loglanu (→Wykład) (ostatnia)
- 14:13, 11 lut 2016 (różn. | hist.) . . (0) . . Dziedzictwo Loglanu (→Wykład)
- 13:32, 11 lut 2016 (różn. | hist.) . . (0) . . Dziedzictwo Loglanu (→Zajęcia praktyczne)
- 13:30, 11 lut 2016 (różn. | hist.) . . (+35) . . Dziedzictwo Loglanu
- 11:16, 10 lut 2016 (różn. | hist.) . . (+142) . . Dziedzictwo Loglanu
- 11:07, 10 lut 2016 (różn. | hist.) . . (+62) . . Dziedzictwo Loglanu
- 10:58, 10 lut 2016 (różn. | hist.) . . (+1223) . . N Dziedzictwo Loglanu (Utworzono nową stronę "Andrzej Salwicki zaprasza na Wykład monograficzny <center>Dziedzictwo projektu badawczego Loglan</center> termin i miejsce: środy g. 15 , sala <do wyjaśnienia>...")
- 10:25, 10 lut 2016 (różn. | hist.) . . (+61) . . Strona główna
- 13:04, 8 sty 2016 (różn. | hist.) . . (+160) . . SpecVer (→Algorytmiczna teoria stosów)
- 21:00, 5 sty 2016 (różn. | hist.) . . (0) . . Plik:LeafletLoglan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LeafletLoglan.pdf“) (ostatnia)
- 11:46, 5 sty 2016 (różn. | hist.) . . (+85) . . Strona główna
- 11:45, 5 sty 2016 (różn. | hist.) . . (0) . . N Plik:UlotkaLogikaAlgorytmiczna.pdf
- 11:36, 5 sty 2016 (różn. | hist.) . . (+1) . . Main page
- 11:35, 5 sty 2016 (różn. | hist.) . . (0) . . N Plik:LeafletLoglan.pdf
- 11:35, 5 sty 2016 (różn. | hist.) . . (+66) . . Main page
- 11:32, 5 sty 2016 (różn. | hist.) . . (+23) . . Strona główna
- 11:30, 5 sty 2016 (różn. | hist.) . . (0) . . N Plik:UlotkaLoglan.pdf
- 11:16, 5 sty 2016 (różn. | hist.) . . (+6) . . Strona główna
- 11:15, 5 sty 2016 (różn. | hist.) . . (+31) . . Strona główna
- 13:49, 17 gru 2015 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy.)
- 20:55, 16 gru 2015 (różn. | hist.) . . (+351) . . N What happened (Utworzono nową stronę "The report was submitted to the Information Processing Letter.<br /> :See the decision of IPL. Next, we submitted it to the A.P. Ershov conference. :See the reviews...") (ostatnia)
- 20:50, 16 gru 2015 (różn. | hist.) . . (-10) . . Fundamental research (→Is it possible to deallocate objects in a safe and efficient way?)
- 20:11, 16 gru 2015 (różn. | hist.) . . (+50) . . Fundamental research (→Problems)
- 15:38, 10 gru 2015 (różn. | hist.) . . (-61) . . m Fundamental research
- 12:08, 29 lis 2015 (różn. | hist.) . . (+48) . . Logika Algorytmiczna (→Wprowadzenie)
- 19:18, 27 lis 2015 (różn. | hist.) . . (+66) . . SpecVer/Winograd (→Uwagi końcowe) (ostatnia)
- 15:57, 26 lis 2015 (różn. | hist.) . . (+52) . . Loglan'82 (→→ Badania podstawowe)
- 14:58, 26 lis 2015 (różn. | hist.) . . (+2) . . SpecVer/IloczynSkalarny (→Dowód poprawności) (ostatnia)
- 14:55, 26 lis 2015 (różn. | hist.) . . (+84) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 14:04, 26 lis 2015 (różn. | hist.) . . (+6) . . SpecVer/IloczynSkalarny (→Algorytm)
- 14:02, 26 lis 2015 (różn. | hist.) . . (+102) . . SpecVer/IloczynSkalarny (→Algorytm)
- 13:40, 26 lis 2015 (różn. | hist.) . . (+13) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 13:39, 26 lis 2015 (różn. | hist.) . . (-24) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 13:38, 26 lis 2015 (różn. | hist.) . . (+203) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 13:30, 26 lis 2015 (różn. | hist.) . . (+57) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 13:25, 26 lis 2015 (różn. | hist.) . . (+156) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 21:21, 25 lis 2015 (różn. | hist.) . . (0) . . N Plik:Swap.pdf (ostatnia)
- 21:12, 25 lis 2015 (różn. | hist.) . . (+42) . . Loglan'82 (→Dlaczego warto obejrzeć te strony?)
- 21:10, 25 lis 2015 (różn. | hist.) . . (+280) . . Loglan'82
- 21:02, 25 lis 2015 (różn. | hist.) . . (+63) . . Loglan'82
- 20:59, 25 lis 2015 (różn. | hist.) . . (+25) . . Loglan'82
- 08:00, 25 lis 2015 (różn. | hist.) . . (+217) . . Loglan'82
- 07:51, 25 lis 2015 (różn. | hist.) . . (+387) . . Logika Algorytmiczna (→Wprowadzenie)
- 19:31, 24 lis 2015 (różn. | hist.) . . (+1) . . Euklides (→Wprowadzenie)
- 19:30, 24 lis 2015 (różn. | hist.) . . (+1230) . . N Euklides (Utworzono nową stronę "Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak mozna udowodnić jego poprawność. == Wprowadzenie == W wielu książkach możesz przeczytać dowód popraw...")
- 17:52, 24 lis 2015 (różn. | hist.) . . (-15) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 15:54, 24 lis 2015 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 15:53, 24 lis 2015 (różn. | hist.) . . (+64) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 15:47, 24 lis 2015 (różn. | hist.) . . (-4) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 15:46, 24 lis 2015 (różn. | hist.) . . (-29) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 14:41, 24 lis 2015 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Wprowadzenie)
- 14:38, 24 lis 2015 (różn. | hist.) . . (+582) . . Logika Algorytmiczna (→Wprowadzenie)
- 14:31, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:Kalfa.jpg (ostatnia)
- 14:30, 24 lis 2015 (różn. | hist.) . . (+19) . . Logika Algorytmiczna
- 13:26, 24 lis 2015 (różn. | hist.) . . (+106) . . Logika Algorytmiczna
- 13:23, 24 lis 2015 (różn. | hist.) . . (+690) . . Logika Algorytmiczna
- 13:14, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:4lanlogics.jpg (ostatnia)
- 13:11, 24 lis 2015 (różn. | hist.) . . (+6) . . Logika Algorytmiczna
- 13:10, 24 lis 2015 (różn. | hist.) . . (0) . . Logika Algorytmiczna
- 13:09, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:4logics.jpg (ostatnia)
- 13:07, 24 lis 2015 (różn. | hist.) . . (-7) . . Logika Algorytmiczna
- 13:04, 24 lis 2015 (różn. | hist.) . . (+81) . . Logika Algorytmiczna
- 12:01, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:4lanlogics.pdf (ostatnia)
- 12:00, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:4logics.pdf (ostatnia)
- 23:00, 23 lis 2015 (różn. | hist.) . . (+64) . . Logika Algorytmiczna (→Bibliografia)
- 19:58, 23 lis 2015 (różn. | hist.) . . (+97) . . Strona główna
- 18:54, 23 lis 2015 (różn. | hist.) . . (0) . . N Plik:On certain-PAL-property.pdf (ostatnia)
- 18:47, 23 lis 2015 (różn. | hist.) . . (0) . . N Plik:On Formalized-Mirk.pdf (ostatnia)
- 18:41, 23 lis 2015 (różn. | hist.) . . (0) . . N Plik:Concatenation.pdf (ostatnia)
- 21:59, 21 lis 2015 (różn. | hist.) . . (+583) . . Logika Algorytmiczna (→Uwagi historyczne)
- 19:44, 21 lis 2015 (różn. | hist.) . . (+254) . . Loglan'82 (→Alien call)
- 19:38, 21 lis 2015 (różn. | hist.) . . (+983) . . Loglan'82 (→Moduły procesów i obiekty aktywne)
- 19:22, 21 lis 2015 (różn. | hist.) . . (+1279) . . Loglan'82 (→Moduły procesów i obiekty aktywne)
- 00:53, 21 lis 2015 (różn. | hist.) . . (+595) . . Logika Algorytmiczna (→Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy.)
- 20:38, 20 lis 2015 (różn. | hist.) . . (+58) . . SpecVer (→Bibliografia)
- 20:36, 20 lis 2015 (różn. | hist.) . . (0) . . Plik:ProvingSimulation.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:ProvingSimulation.pdf“) (ostatnia)
- 20:23, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:ProvingSimulation.pdf
- 18:29, 20 lis 2015 (różn. | hist.) . . (+2) . . SpecVer (→Bibliografia)
- 18:28, 20 lis 2015 (różn. | hist.) . . (+189) . . SpecVer (→Bibliografia)
- 18:25, 20 lis 2015 (różn. | hist.) . . (-217) . . SpecVer (→Bibliografia)
- 17:58, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja10.pdf (ostatnia)
- 17:58, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja9.pdf (ostatnia)
- 17:57, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja8.pdf (ostatnia)
- 17:57, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja7.pdf (ostatnia)
- 17:56, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja6.pdf (ostatnia)
- 17:56, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja5.pdf (ostatnia)
- 17:55, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja4.pdf (ostatnia)
- 17:55, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja3.pdf (ostatnia)
- 17:54, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja2.pdf (ostatnia)
- 17:53, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja1.pdf (ostatnia)
- 17:43, 20 lis 2015 (różn. | hist.) . . (+360) . . SpecVer (→Bibliografia)
- 17:42, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:AL+SpecVer.pdf (ostatnia)
- 17:22, 20 lis 2015 (różn. | hist.) . . (+2) . . SpecVer (→Bibliografia)
- 17:21, 20 lis 2015 (różn. | hist.) . . (+317) . . SpecVer (→Bibliografia)
- 17:09, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:Experimenting Proving.pdf (ostatnia)
- 13:15, 20 lis 2015 (różn. | hist.) . . (+1202) . . N Analiza przykładu (Utworzono nową stronę "Przykład dotyczy programu symulacji banku. W przykładzie omówimy sposób podzielenia zadania na moduły. Spisanie wymagań dla każdego modułu. Analizę wymagań cz...") (ostatnia)
- 12:58, 20 lis 2015 (różn. | hist.) . . (+22) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
- 12:32, 20 lis 2015 (różn. | hist.) . . (0) . . Plik:ProgramdDeallocatn-II.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:ProgramdDeallocatn-II.pdf“) (ostatnia)
- 12:08, 20 lis 2015 (różn. | hist.) . . (-4) . . Fundamental research (→Is it possible to deallocate objects in a safe and efficient way?)
- 10:43, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:ProgramdDeallocatn-II.pdf
- 19:08, 19 lis 2015 (różn. | hist.) . . (+2) . . Axioms of algorithmic logic (→Axioms of algorithmic logic) (ostatnia)
- 19:06, 19 lis 2015 (różn. | hist.) . . (+6) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 19:04, 19 lis 2015 (różn. | hist.) . . (-2) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 19:04, 19 lis 2015 (różn. | hist.) . . (-27) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 19:03, 19 lis 2015 (różn. | hist.) . . (+2) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 19:02, 19 lis 2015 (różn. | hist.) . . (+15) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 18:58, 19 lis 2015 (różn. | hist.) . . (+28) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 18:51, 19 lis 2015 (różn. | hist.) . . (+308) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 18:44, 19 lis 2015 (różn. | hist.) . . (+164) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 18:42, 19 lis 2015 (różn. | hist.) . . (+1) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 18:41, 19 lis 2015 (różn. | hist.) . . (-23) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 18:40, 19 lis 2015 (różn. | hist.) . . (+4) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 18:39, 19 lis 2015 (różn. | hist.) . . (+21) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 18:35, 19 lis 2015 (różn. | hist.) . . (+110) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 18:31, 19 lis 2015 (różn. | hist.) . . (+6) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 18:28, 19 lis 2015 (różn. | hist.) . . (+1) . . Axioms of algorithmic logic (→Axioms of propositional logic)
- 18:28, 19 lis 2015 (różn. | hist.) . . (-5) . . Axioms of algorithmic logic (→Axioms of propositional logic)
- 18:26, 19 lis 2015 (różn. | hist.) . . (+185) . . Axioms of algorithmic logic (→Axioms of propositional logic)
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)