Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)
- 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?)
- 20:59, 13 paź 2015 (różn. | hist.) . . (+375) . . Fundamental research (→How to determine the direct superclass?)
- 10:23, 13 paź 2015 (różn. | hist.) . . (+8) . . Fundamental research (→Safe dealocation of objects)
- 09:59, 13 paź 2015 (różn. | hist.) . . (+72) . . Fundamental research (→Safe dealocation of objects)
- 09:55, 13 paź 2015 (różn. | hist.) . . (0) . . Plik:ProgrammedDeallocation-II.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:ProgrammedDeallocation-II.pdf“)
- 21:17, 9 paź 2015 (różn. | hist.) . . (-7) . . Fundamental research
- 22:23, 5 paź 2015 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Uwagi historyczne)
- 22:04, 5 paź 2015 (różn. | hist.) . . (+292) . . Logika Algorytmiczna (→Uwagi historyczne)
- 21:56, 5 paź 2015 (różn. | hist.) . . (+25) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 21:54, 5 paź 2015 (różn. | hist.) . . (+23) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 21:47, 5 paź 2015 (różn. | hist.) . . (-15) . . Strona główna
- 15:53, 5 paź 2015 (różn. | hist.) . . (+866) . . Logika Algorytmiczna (→Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy.)
- 15:41, 5 paź 2015 (różn. | hist.) . . (+1811) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 15:17, 5 paź 2015 (różn. | hist.) . . (+8) . . Logika Algorytmiczna (→Bibliografia)
- 13:57, 5 paź 2015 (różn. | hist.) . . (-1) . . Logika Algorytmiczna (→Bibliografia)
- 13:56, 5 paź 2015 (różn. | hist.) . . (-5) . . Logika Algorytmiczna (→Bibliografia)
- 13:55, 5 paź 2015 (różn. | hist.) . . (-6) . . Logika Algorytmiczna (→Bibliografia)
- 13:54, 5 paź 2015 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Bibliografia)
- 13:53, 5 paź 2015 (różn. | hist.) . . (+479) . . Logika Algorytmiczna (→Bibliografia)
- 13:42, 5 paź 2015 (różn. | hist.) . . (+5) . . Logika Algorytmiczna (→Uwagi historyczne)
- 11:11, 4 paź 2015 (różn. | hist.) . . (+322) . . Strona główna
- 14:57, 3 paź 2015 (różn. | hist.) . . (-1) . . DokumentacjaLoglanu (→Bibliografia)
- 14:56, 3 paź 2015 (różn. | hist.) . . (+120) . . DokumentacjaLoglanu (→Bibliografia)
- 14:54, 3 paź 2015 (różn. | hist.) . . (+120) . . DokumentacjaLoglanu (→Prezentacje i artykuły)
- 10:31, 3 paź 2015 (różn. | hist.) . . (+4) . . DokumentacjaLoglanu (→Prezentacje i artykuły)
- 10:31, 3 paź 2015 (różn. | hist.) . . (+110) . . DokumentacjaLoglanu (→Prezentacje i artykuły)
- 10:28, 3 paź 2015 (różn. | hist.) . . (+2) . . DokumentacjaLoglanu (→Bibliografia)
- 10:27, 3 paź 2015 (różn. | hist.) . . (+247) . . DokumentacjaLoglanu (→Bibliografia)
- 10:21, 3 paź 2015 (różn. | hist.) . . (0) . . N Plik:ArtBolkaCiesielskiego1988.pdf (ostatnia)
- 07:04, 22 wrz 2015 (różn. | hist.) . . (+841) . . Strona główna
- 15:48, 7 wrz 2015 (różn. | hist.) . . (-1) . . Documentation of Loglan'82 (→How to install Loglan'82) (ostatnia)
- 15:47, 7 wrz 2015 (różn. | hist.) . . (+48) . . Documentation of Loglan'82 (→How to install Loglan'82)
- 15:40, 7 wrz 2015 (różn. | hist.) . . (+52) . . Documentation of Loglan'82 (→How to install Loglan'82)
- 15:30, 7 wrz 2015 (różn. | hist.) . . (-8) . . Documentation of Loglan'82 (→Instrukcje instalowania Loglanu)
- 12:20, 7 wrz 2015 (różn. | hist.) . . (0) . . Documentation of Loglan'82 (→Manuals)
- 12:19, 7 wrz 2015 (różn. | hist.) . . (-23) . . Documentation of Loglan'82 (→Podręczniki)
- 12:16, 7 wrz 2015 (różn. | hist.) . . (+5300) . . N Documentation of Loglan'82 (Utworzono nową stronę "Na dokumentację Loglanu'82 składają się == Podręczniki == * Podręcznik Loglan cz.1/3 - Andrzeja Szałasa i Jolanty Warpechowskiej [{{odn|ref...")
- 12:12, 7 wrz 2015 (różn. | hist.) . . (+1) . . Loglan'82 project (→Wybrane Przykłady)
- 12:08, 7 wrz 2015 (różn. | hist.) . . (-87) . . Loglan'82 project (→Documentation)
- 11:37, 7 wrz 2015 (różn. | hist.) . . (+2) . . Loglan'82 project (→Dokumentacja)
- 11:36, 7 wrz 2015 (różn. | hist.) . . (-35) . . Loglan'82 project
- 20:31, 5 wrz 2015 (różn. | hist.) . . (+13) . . Logika Algorytmiczna (→Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy.)
- 20:28, 5 wrz 2015 (różn. | hist.) . . (+154) . . Logika Algorytmiczna (→Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy.)
- 21:05, 23 sie 2015 (różn. | hist.) . . (+1) . . Analiza algorytmu Euklidesa (ostatnia)
- 21:04, 23 sie 2015 (różn. | hist.) . . (+2) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 21:03, 23 sie 2015 (różn. | hist.) . . (+1) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 21:01, 23 sie 2015 (różn. | hist.) . . (+17) . . Analiza algorytmu Euklidesa
- 16:10, 20 sie 2015 (różn. | hist.) . . (-13) . . Arytmetyka Algorytmiczna
- 13:00, 20 sie 2015 (różn. | hist.) . . (+1) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 13:00, 20 sie 2015 (różn. | hist.) . . (+1) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 12:50, 20 sie 2015 (różn. | hist.) . . (+389) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 21:00, 16 sie 2015 (różn. | hist.) . . (+972) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 11:20, 16 sie 2015 (różn. | hist.) . . (+53) . . Kompilatory
- 10:18, 16 sie 2015 (różn. | hist.) . . (+161) . . Kompilatory (→Historia)
- 21:04, 15 sie 2015 (różn. | hist.) . . (+161) . . Kompilatory
- 18:48, 15 sie 2015 (różn. | hist.) . . (+499) . . Kompilatory (→Historia)
- 18:39, 15 sie 2015 (różn. | hist.) . . (+1141) . . Kompilatory (→Historia)
- 15:09, 15 sie 2015 (różn. | hist.) . . (+3) . . Kompilatory (→Historia)
- 15:08, 15 sie 2015 (różn. | hist.) . . (+158) . . Kompilatory (→Historia)
- 15:03, 15 sie 2015 (różn. | hist.) . . (+5) . . Kompilatory (→Historia)
- 15:02, 15 sie 2015 (różn. | hist.) . . (-5) . . Kompilatory (→Historia)
- 15:02, 15 sie 2015 (różn. | hist.) . . (+38) . . Kompilatory (→Historia)
- 14:50, 15 sie 2015 (różn. | hist.) . . (+512) . . Kompilatory (→Przypisy)
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)