Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)
- 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)
- 18:19, 19 lis 2015 (różn. | hist.) . . (+113) . . Axioms of algorithmic logic (→Axioms of propositional logic)
- 18:14, 19 lis 2015 (różn. | hist.) . . (+5) . . Axioms of algorithmic logic (→Axioms of propositional logic)
- 18:11, 19 lis 2015 (różn. | hist.) . . (+383) . . Axioms of algorithmic logic (→Axioms of AL)
- 18:04, 19 lis 2015 (różn. | hist.) . . (-7) . . Axioms of algorithmic logic (→Axioms of AL)
- 18:02, 19 lis 2015 (różn. | hist.) . . (+2498) . . N Axioms of algorithmic logic (Utworzono nową stronę "== Axioms of AL == <span color="Blue"><math>Ax_1 \qquad ((\alpha\Longrightarrow\beta )\Longrightarrow((\beta\Longrightarrow\delta)\Longrightarrow(\alpha \Longrightarrow\...")
- 17:40, 19 lis 2015 (różn. | hist.) . . (+46) . . Rachunek programów (→Przykłady praw rachunku programów)
- 15:20, 19 lis 2015 (różn. | hist.) . . (+750) . . Logika Algorytmiczna (→Program logiki algorytmicznej)
- 11:56, 19 lis 2015 (różn. | hist.) . . (+636) . . Inference rules (→Some secondary inference rules)
- 11:42, 19 lis 2015 (różn. | hist.) . . (+262) . . Inference rules (→Some secondary inference rules)
- 11:22, 19 lis 2015 (różn. | hist.) . . (+8) . . Inference rules
- 11:20, 19 lis 2015 (różn. | hist.) . . (+395) . . Inference rules
- 11:08, 19 lis 2015 (różn. | hist.) . . (+306) . . Inference rules
- 10:59, 19 lis 2015 (różn. | hist.) . . (+6) . . Inference rules
- 10:58, 19 lis 2015 (różn. | hist.) . . (+33) . . Inference rules
- 10:52, 19 lis 2015 (różn. | hist.) . . (0) . . Inference rules
- 10:49, 19 lis 2015 (różn. | hist.) . . (+226) . . Inference rules (→Inference rules of algorithmic logic)
- 10:41, 19 lis 2015 (różn. | hist.) . . (-39) . . Inference rules
- 10:32, 19 lis 2015 (różn. | hist.) . . (+2005) . . N Inference rules (Utworzono nową stronę "Inference rules of algorithmic logic \textsc{Inference rules IR} : \begin{trivlist} \item[$R_1$]\qquad $\dfrac{\alpha ,(\alpha \Rightarrow \beta )}{\beta }$ \item[$R_{...")
- 10:24, 19 lis 2015 (różn. | hist.) . . (+83) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 11:06, 17 lis 2015 (różn. | hist.) . . (+46) . . Rachunek programów (→Nieformalne wprowadzenie)
- 11:05, 17 lis 2015 (różn. | hist.) . . (+65) . . Rachunek programów (→Nieformalne wprowadzenie)
- 11:02, 17 lis 2015 (różn. | hist.) . . (+34) . . Rachunek programów
- 10:59, 17 lis 2015 (różn. | hist.) . . (+34) . . Rachunek programów (→Przykłady praw rachunku programów)
- 10:57, 17 lis 2015 (różn. | hist.) . . (+67) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 10:56, 17 lis 2015 (różn. | hist.) . . (+165) . . Rachunek programów (→Przykłady praw rachunku programów)
- 10:53, 17 lis 2015 (różn. | hist.) . . (+33) . . Rachunek programów (→Przykłady praw rachunku programów)
- 10:39, 17 lis 2015 (różn. | hist.) . . (0) . . Rachunek programów (→Nieformalne wprowadzenie)
- 10:37, 17 lis 2015 (różn. | hist.) . . (-185) . . Rachunek programów (→Przykłady praw rachunku programów)
- 10:35, 17 lis 2015 (różn. | hist.) . . (0) . . Rachunek programów (→Przykłady praw rachunku programów)
- 10:29, 17 lis 2015 (różn. | hist.) . . (+200) . . Rachunek programów (→Przykłady praw rachunku programów)
- 21:31, 16 lis 2015 (różn. | hist.) . . (+418) . . Fundamental research (→How to define semantics of coroutines?)
- 21:22, 16 lis 2015 (różn. | hist.) . . (+797) . . Fundamental research (→How to define semantics of Coroutines?)
- 19:04, 16 lis 2015 (różn. | hist.) . . (+921) . . Rachunek programów (→Jakie własności programów można wyrazić w języku logiki algorytmicznej?)
- 21:01, 9 lis 2015 (różn. | hist.) . . (-473) . . Logika Algorytmiczna (→Bibliografia)
- 19:34, 9 lis 2015 (różn. | hist.) . . (+55) . . Logika Algorytmiczna (→Bibliografia)
- 19:33, 9 lis 2015 (różn. | hist.) . . (0) . . N Plik:A-Biela.pdf (ostatnia)
- 23:13, 6 lis 2015 (różn. | hist.) . . (+778) . . Rachunek programów
- 22:15, 5 lis 2015 (różn. | hist.) . . (+153) . . Winograda mnożenie macierzy (→Dowód lematu 1) (ostatnia)
- 21:22, 4 lis 2015 (różn. | hist.) . . (+176) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 18:19, 4 lis 2015 (różn. | hist.) . . (+73) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 18:11, 4 lis 2015 (różn. | hist.) . . (+52) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 18:09, 4 lis 2015 (różn. | hist.) . . (+116) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 18:04, 4 lis 2015 (różn. | hist.) . . (-1) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 18:01, 4 lis 2015 (różn. | hist.) . . (0) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 18:00, 4 lis 2015 (różn. | hist.) . . (-27) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 17:50, 4 lis 2015 (różn. | hist.) . . (+13) . . Winograda mnożenie macierzy
- 16:31, 4 lis 2015 (różn. | hist.) . . (-31) . . Loglan'82 (→Proste programy)
- 16:28, 4 lis 2015 (różn. | hist.) . . (+18 284) . . N Winograda mnożenie macierzy (Utworzono nową stronę "Przedstawiamy algorytm Winograda i dowód jego poprawności. Wprowadzenie ============ Algorytm Winograda może być stosowany do obliczania iloczynu macierzy kwadrato...")
- 16:24, 4 lis 2015 (różn. | hist.) . . (+32) . . Loglan'82 (→Proste programy)
- 22:58, 2 lis 2015 (różn. | hist.) . . (0) . . Rachunek programów
- 21:36, 2 lis 2015 (różn. | hist.) . . (+18) . . Rachunek programów
- 21:34, 2 lis 2015 (różn. | hist.) . . (+3) . . Rachunek programów
- 21:33, 2 lis 2015 (różn. | hist.) . . (+8) . . Rachunek programów
- 21:28, 2 lis 2015 (różn. | hist.) . . (+141) . . Rachunek programów
- 09:25, 2 lis 2015 (różn. | hist.) . . (+6) . . Rachunek programów
- 09:25, 2 lis 2015 (różn. | hist.) . . (+6) . . Rachunek programów
- 09:24, 2 lis 2015 (różn. | hist.) . . (+377) . . Rachunek programów
- 08:44, 2 lis 2015 (różn. | hist.) . . (+9) . . Rachunek programów
- 08:43, 2 lis 2015 (różn. | hist.) . . (+8) . . Rachunek programów
- 08:36, 2 lis 2015 (różn. | hist.) . . (+7) . . Rachunek programów
- 08:35, 2 lis 2015 (różn. | hist.) . . (+441) . . Rachunek programów
- 08:26, 2 lis 2015 (różn. | hist.) . . (+621) . . Rachunek programów
- 23:50, 29 paź 2015 (różn. | hist.) . . (+207) . . Logika Algorytmiczna (→Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy.)
- 23:42, 29 paź 2015 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Bibliografia)
- 23:41, 29 paź 2015 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Bibliografia)
- 23:39, 29 paź 2015 (różn. | hist.) . . (-6) . . Logika Algorytmiczna (→Bibliografia)
- 23:38, 29 paź 2015 (różn. | hist.) . . (+299) . . Logika Algorytmiczna (→Bibliografia)
- 16:53, 29 paź 2015 (różn. | hist.) . . (+18) . . Kompilatory (→Instrukcje instalowania Loglanu)
- 16:51, 29 paź 2015 (różn. | hist.) . . (0) . . Kompilatory (→Repozytorium żródeł i kompilatorów Loglanu)
- 16:50, 29 paź 2015 (różn. | hist.) . . (+9) . . Kompilatory (→Repozytorium żródeł i kompilatorów Loglanu)
- 16:50, 29 paź 2015 (różn. | hist.) . . (-2) . . Kompilatory (→Repozytorium żródeł i kompilatorów Loglanu)
- 16:48, 29 paź 2015 (różn. | hist.) . . (+286) . . Kompilatory
- 14:05, 29 paź 2015 (różn. | hist.) . . (+231) . . Logika Algorytmiczna (→Bibliografia)
- 13:58, 29 paź 2015 (różn. | hist.) . . (0) . . N Plik:Verifying-a-class.pdf (ostatnia)
- 19:58, 28 paź 2015 (różn. | hist.) . . (+169) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 12:12, 28 paź 2015 (różn. | hist.) . . (+55) . . DokumentacjaLoglanu (→Bibliografia)
- 12:06, 28 paź 2015 (różn. | hist.) . . (+57) . . DokumentacjaLoglanu (→Bibliografia)
- 21:55, 27 paź 2015 (różn. | hist.) . . (+1) . . Rachunek programów
- 21:53, 27 paź 2015 (różn. | hist.) . . (+38) . . Rachunek programów
- 21:51, 27 paź 2015 (różn. | hist.) . . (+50) . . Rachunek programów
- 21:47, 27 paź 2015 (różn. | hist.) . . (+14) . . Rachunek programów
- 21:45, 27 paź 2015 (różn. | hist.) . . (+48) . . Rachunek programów
- 21:43, 27 paź 2015 (różn. | hist.) . . (+518) . . Rachunek programów
- 21:30, 27 paź 2015 (różn. | hist.) . . (+6) . . Rachunek programów
- 21:28, 27 paź 2015 (różn. | hist.) . . (-13) . . Rachunek programów
- 21:28, 27 paź 2015 (różn. | hist.) . . (+12) . . Rachunek programów
- 21:26, 27 paź 2015 (różn. | hist.) . . (+3) . . Rachunek programów
- 21:25, 27 paź 2015 (różn. | hist.) . . (+20) . . Rachunek programów
- 21:22, 27 paź 2015 (różn. | hist.) . . (+13) . . Rachunek programów
- 21:21, 27 paź 2015 (różn. | hist.) . . (+54) . . Rachunek programów
- 21:19, 27 paź 2015 (różn. | hist.) . . (+2) . . Rachunek programów
- 21:18, 27 paź 2015 (różn. | hist.) . . (+35) . . Rachunek programów
- 21:17, 27 paź 2015 (różn. | hist.) . . (+4) . . Rachunek programów
- 21:17, 27 paź 2015 (różn. | hist.) . . (+25) . . Rachunek programów
- 21:15, 27 paź 2015 (różn. | hist.) . . (+16) . . Rachunek programów
- 21:13, 27 paź 2015 (różn. | hist.) . . (-43) . . Rachunek programów
- 21:12, 27 paź 2015 (różn. | hist.) . . (-9) . . Rachunek programów
- 21:10, 27 paź 2015 (różn. | hist.) . . (+55) . . Rachunek programów
- 18:19, 27 paź 2015 (różn. | hist.) . . (-1) . . Strona główna
- 18:17, 27 paź 2015 (różn. | hist.) . . (+3) . . Strona główna
- 18:16, 27 paź 2015 (różn. | hist.) . . (+23) . . Strona główna
- 18:04, 27 paź 2015 (różn. | hist.) . . (+190) . . Fundamental research (→Bibliography)
- 17:57, 27 paź 2015 (różn. | hist.) . . (+2) . . Fundamental research (→Bibliography)
- 17:57, 27 paź 2015 (różn. | hist.) . . (+243) . . Fundamental research (→Bibliography)
- 15:56, 27 paź 2015 (różn. | hist.) . . (+98) . . Fundamental research (→Bibliography)
- 15:46, 27 paź 2015 (różn. | hist.) . . (+811) . . Fundamental research (→Bibliography)
- 22:39, 26 paź 2015 (różn. | hist.) . . (-6) . . Rachunek programów
- 22:38, 26 paź 2015 (różn. | hist.) . . (+27) . . Rachunek programów
- 22:36, 26 paź 2015 (różn. | hist.) . . (-3) . . Rachunek programów
- 22:36, 26 paź 2015 (różn. | hist.) . . (+3) . . Rachunek programów
- 22:35, 26 paź 2015 (różn. | hist.) . . (+7) . . Rachunek programów
- 22:26, 26 paź 2015 (różn. | hist.) . . (0) . . Strona główna
- 22:25, 26 paź 2015 (różn. | hist.) . . (+73) . . Strona główna
- 22:22, 26 paź 2015 (różn. | hist.) . . (+204) . . Strona główna
- 22:18, 26 paź 2015 (różn. | hist.) . . (-4) . . Rachunek programów
- 22:15, 26 paź 2015 (różn. | hist.) . . (+329) . . m Rachunek programów
- 22:06, 26 paź 2015 (różn. | hist.) . . (+12) . . Rachunek programów
- 22:03, 26 paź 2015 (różn. | hist.) . . (+91) . . Rachunek programów
- 22:00, 26 paź 2015 (różn. | hist.) . . (+436) . . N Rachunek programów (Utworzono nową stronę "Termin rachunek programów wydaje się lepiej pasować do znanych pojęć: ''rachunek zdań'' i ''rachunek predykatów''. Rachunek programów zawiera w sobie oba rachunk...")
- 19:32, 26 paź 2015 (różn. | hist.) . . (+218) . . DokumentacjaLoglanu (→Instrukcje instalowania Loglanu)
- 23:29, 25 paź 2015 (różn. | hist.) . . (+1117) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{4} Iteration instructions) (ostatnia)
- 23:01, 25 paź 2015 (różn. | hist.) . . (+75) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 19:55, 25 paź 2015 (różn. | hist.) . . (+2) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 07:27, 25 paź 2015 (różn. | hist.) . . (+70) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 14:11, 24 paź 2015 (różn. | hist.) . . (+27) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 14:08, 24 paź 2015 (różn. | hist.) . . (+6) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 14:06, 24 paź 2015 (różn. | hist.) . . (+227) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 14:02, 24 paź 2015 (różn. | hist.) . . (+39) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 13:58, 24 paź 2015 (różn. | hist.) . . (+159) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 13:52, 24 paź 2015 (różn. | hist.) . . (+8) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 08:14, 24 paź 2015 (różn. | hist.) . . (+20) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 08:11, 24 paź 2015 (różn. | hist.) . . (+194) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 08:04, 24 paź 2015 (różn. | hist.) . . (+1) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 08:03, 24 paź 2015 (różn. | hist.) . . (+38) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 08:01, 24 paź 2015 (różn. | hist.) . . (+13) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 07:57, 24 paź 2015 (różn. | hist.) . . (+605) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 00:02, 24 paź 2015 (różn. | hist.) . . (-34) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 16:37, 23 paź 2015 (różn. | hist.) . . (+235) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 16:18, 23 paź 2015 (różn. | hist.) . . (+39) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 16:14, 23 paź 2015 (różn. | hist.) . . (+348) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 15:59, 23 paź 2015 (różn. | hist.) . . (+288) . . Fundamental research
- 15:42, 23 paź 2015 (różn. | hist.) . . (+422) . . Fundamental research (→Bibliography)
- 15:33, 23 paź 2015 (różn. | hist.) . . (+1) . . Fundamental research (→Bibliography)
- 22:25, 22 paź 2015 (różn. | hist.) . . (+192) . . Fundamental research (→How to determine the direct superclass?)
- 22:10, 22 paź 2015 (różn. | hist.) . . (+340) . . Loglan'82 (→→ Badania podstawowe)
- 22:03, 22 paź 2015 (różn. | hist.) . . (+14) . . Loglan'82 (→→ Badania podstawowe)
- 21:39, 22 paź 2015 (różn. | hist.) . . (-92) . . Bezpieczna dealokacja obiektów (→Bibliografia) (ostatnia)
- 21:37, 22 paź 2015 (różn. | hist.) . . (+93) . . Bezpieczna dealokacja obiektów (→Bibliografia)
- 21:30, 22 paź 2015 (różn. | hist.) . . (-88) . . Bezpieczna dealokacja obiektów (→Bibliografia)
- 21:25, 22 paź 2015 (różn. | hist.) . . (+5) . . Bezpieczna dealokacja obiektów (→Bibliografia)
- 20:38, 22 paź 2015 (różn. | hist.) . . (+606) . . Loglan'82 (→→ Badania podstawowe)
- 19:08, 22 paź 2015 (różn. | hist.) . . (+4) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 19:06, 22 paź 2015 (różn. | hist.) . . (+63) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 19:01, 22 paź 2015 (różn. | hist.) . . (-7) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 18:58, 22 paź 2015 (różn. | hist.) . . (+9) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 18:56, 22 paź 2015 (różn. | hist.) . . (+56) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 18:54, 22 paź 2015 (różn. | hist.) . . (+222) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 07:54, 22 paź 2015 (różn. | hist.) . . (+13) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 07:53, 22 paź 2015 (różn. | hist.) . . (+15) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 21:14, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:Bericht8410.pdf (ostatnia)
- 20:56, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:AxMAX.pdf (ostatnia)
- 20:46, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:4autorow.pdf (ostatnia)
- 20:33, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:Burkhard.pdf (ostatnia)
- 20:27, 21 paź 2015 (różn. | hist.) . . (0) . . N Plik:LBan1980.pdf (ostatnia)
- 18:29, 21 paź 2015 (różn. | hist.) . . (-140) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 18:25, 21 paź 2015 (różn. | hist.) . . (+145) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 18:20, 21 paź 2015 (różn. | hist.) . . (+28) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:43, 21 paź 2015 (różn. | hist.) . . (+10) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:41, 21 paź 2015 (różn. | hist.) . . (+48) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:32, 21 paź 2015 (różn. | hist.) . . (+11) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:31, 21 paź 2015 (różn. | hist.) . . (+21) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:29, 21 paź 2015 (różn. | hist.) . . (+433) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 11:47, 21 paź 2015 (różn. | hist.) . . (+165) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 11:42, 21 paź 2015 (różn. | hist.) . . (+3) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:15, 21 paź 2015 (różn. | hist.) . . (-4) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:14, 21 paź 2015 (różn. | hist.) . . (-1) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:13, 21 paź 2015 (różn. | hist.) . . (+1) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:12, 21 paź 2015 (różn. | hist.) . . (+35) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:11, 21 paź 2015 (różn. | hist.) . . (-2) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:09, 21 paź 2015 (różn. | hist.) . . (-349) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:07, 21 paź 2015 (różn. | hist.) . . (+21) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:06, 21 paź 2015 (różn. | hist.) . . (+547) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{0,1})
- 11:00, 21 paź 2015 (różn. | hist.) . . (+579) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 22:22, 20 paź 2015 (różn. | hist.) . . (+1330) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:42, 20 paź 2015 (różn. | hist.) . . (0) . . Plik:ProgrammedDeallocation-II.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:ProgrammedDeallocation-II.pdf“) (ostatnia)
- 09:36, 17 paź 2015 (różn. | hist.) . . (+473) . . Axiomatic definition of Loglan'82 (→Language \mathcal{L}_{1,c})
- 21:30, 16 paź 2015 (różn. | hist.) . . (+50) . . m Loglan'82 project (→Fundamental research)
- 21:19, 16 paź 2015 (różn. | hist.) . . (0) . . m Algorithmic logic (ostatnia)
- 17:11, 16 paź 2015 (różn. | hist.) . . (-2) . . Axiomatic definition of Loglan'82
- 17:08, 16 paź 2015 (różn. | hist.) . . (+194) . . Axiomatic definition of Loglan'82 (→\mathcal{L}_{1} Declarations of variables. Assignment instructions)
- 17:04, 16 paź 2015 (różn. | hist.) . . (+29) . . Axiomatic definition of Loglan'82 (→Declarations of variables. Assignment instructions)
- 16:57, 16 paź 2015 (różn. | hist.) . . (-8) . . Axiomatic definition of Loglan'82 (→Declarations of variables. Assignment instructions)
- 16:56, 16 paź 2015 (różn. | hist.) . . (+206) . . Axiomatic definition of Loglan'82 (→Declarations of variables. Assignment instructions)
- 15:37, 16 paź 2015 (różn. | hist.) . . (+307) . . Axiomatic definition of Loglan'82 (→Declarations of variables. Assignment instructions)
- 15:30, 16 paź 2015 (różn. | hist.) . . (+58) . . Axiomatic definition of Loglan'82 (→Program)
- 15:28, 16 paź 2015 (różn. | hist.) . . (+52) . . Axiomatic definition of Loglan'82 (→Program)
- 12:07, 16 paź 2015 (różn. | hist.) . . (+90) . . Axiomatic definition of Loglan'82 (→Program)
- 12:04, 16 paź 2015 (różn. | hist.) . . (-7) . . Axiomatic definition of Loglan'82 (→Part II Axiomatic definitions of sublanguages of Loglan'82)
- 12:03, 16 paź 2015 (różn. | hist.) . . (+2488) . . N Axiomatic definition of Loglan'82 (Utworzono nową stronę "On these pages we are sketching, in an incremental way, an axiomatic semantics of Loglan'82. == Part II Axiomatic definitions of sublanguages of Loglan'82 == Here we sha...")
- 12:03, 16 paź 2015 (różn. | hist.) . . (-2397) . . Fundamental research (→Part II Axiomatic definitions of sublanguages of Loglan'82)
- 12:00, 16 paź 2015 (różn. | hist.) . . (+123) . . Fundamental research
- 09:57, 16 paź 2015 (różn. | hist.) . . (+11) . . Fundamental research (→Bibliography)
- 09:56, 16 paź 2015 (różn. | hist.) . . (-2774) . . Fundamental research (→Bibliography)
- 08:56, 16 paź 2015 (różn. | hist.) . . (+3378) . . Fundamental research (→Mathematical model of concurrent computations)
- 16:36, 14 paź 2015 (różn. | hist.) . . (0) . . Plik:IPET-09-2Nov.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:IPET-09-2Nov.pdf“) (ostatnia)
- 21:10, 13 paź 2015 (różn. | hist.) . . (-4) . . Fundamental research (→How to determine the direct superclass?)
- 21:06, 13 paź 2015 (różn. | hist.) . . (+139) . . Fundamental research (→How to determine the direct superclass?)
- 21:01, 13 paź 2015 (różn. | hist.) . . (-3) . . Fundamental research (→How to determine the direct superclass?)
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)