Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)
- 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)
- 10:59, 9 sie 2015 (różn. | hist.) . . (+2) . . Loglan'82 (→→ Kompilatory)
- 10:58, 9 sie 2015 (różn. | hist.) . . (+23) . . Loglan'82 (→→ Kompilatory)
- 21:41, 4 sie 2015 (różn. | hist.) . . (+328) . . Logika Algorytmiczna (→Uwagi historyczne)
- 17:03, 31 lip 2015 (różn. | hist.) . . (-2) . . Logika Algorytmiczna (→Uwagi historyczne)
- 17:01, 31 lip 2015 (różn. | hist.) . . (-2) . . Logika Algorytmiczna (→Uwagi historyczne)
- 17:00, 31 lip 2015 (różn. | hist.) . . (+8) . . Logika Algorytmiczna (→Uwagi historyczne)
- 16:57, 31 lip 2015 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Uwagi historyczne)
- 16:54, 31 lip 2015 (różn. | hist.) . . (+2184) . . Logika Algorytmiczna (→Uwagi historyczne)
- 12:48, 28 lip 2015 (różn. | hist.) . . (+3) . . Logika Algorytmiczna (→Bibliografia)
- 12:41, 28 lip 2015 (różn. | hist.) . . (0) . . N Plik:BanachowskiDataStruct.pdf (ostatnia)
- 21:24, 27 lip 2015 (różn. | hist.) . . (+648) . . Logika Algorytmiczna (→Uwagi historyczne)
- 10:35, 27 lip 2015 (różn. | hist.) . . (+1070) . . Logika Algorytmiczna (→Bibliografia)
- 23:10, 4 lip 2015 (różn. | hist.) . . (0) . . Logika Algorytmiczna (→Bibliografia)
- 13:14, 28 cze 2015 (różn. | hist.) . . (+12) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 12:11, 28 cze 2015 (różn. | hist.) . . (+38) . . Logika Algorytmiczna (→Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy.)
- 12:06, 28 cze 2015 (różn. | hist.) . . (0) . . Logika Algorytmiczna (→Pytania)
- 12:05, 28 cze 2015 (różn. | hist.) . . (+245) . . Logika Algorytmiczna (→Pytania)
- 11:40, 28 cze 2015 (różn. | hist.) . . (+15) . . Logika Algorytmiczna (→Pytania)
- 11:34, 28 cze 2015 (różn. | hist.) . . (+966) . . Logika Algorytmiczna (→Pytania)
- 15:46, 26 cze 2015 (różn. | hist.) . . (+7) . . Logika Algorytmiczna (→Pytania)
- 15:44, 26 cze 2015 (różn. | hist.) . . (+1000) . . Logika Algorytmiczna (→Pytania)
- 11:56, 26 cze 2015 (różn. | hist.) . . (-3) . . Logika Algorytmiczna (→Pytania)
- 11:48, 26 cze 2015 (różn. | hist.) . . (+20) . . Logika Algorytmiczna (→Pytania)
- 11:44, 26 cze 2015 (różn. | hist.) . . (-1) . . Logika Algorytmiczna (→Pytania)
- 11:15, 26 cze 2015 (różn. | hist.) . . (+56) . . Logika Algorytmiczna (→Pytania)
- 11:00, 26 cze 2015 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Pytania)
- 10:46, 26 cze 2015 (różn. | hist.) . . (+760) . . Logika Algorytmiczna (→Zastosowania)
- 10:18, 26 cze 2015 (różn. | hist.) . . (+24) . . Logika Algorytmiczna
- 09:14, 26 cze 2015 (różn. | hist.) . . (+219) . . Logika Algorytmiczna (→Bibliografia)
- 12:17, 24 cze 2015 (różn. | hist.) . . (0) . . N Plik:Kreczmar-Efficiency-problems.pdf (ostatnia)
- 12:22, 23 cze 2015 (różn. | hist.) . . (+13) . . Logika Algorytmiczna (→Bibliografia)
- 12:21, 23 cze 2015 (różn. | hist.) . . (+278) . . Logika Algorytmiczna (→Bibliografia)
- 10:03, 23 cze 2015 (różn. | hist.) . . (+201) . . Logika Algorytmiczna (→Bibliografia)
- 09:49, 23 cze 2015 (różn. | hist.) . . (0) . . Plik:Kreczmar-Program-Fields.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:Kreczmar-Program-Fields.pdf“) (ostatnia)
- 09:41, 23 cze 2015 (różn. | hist.) . . (0) . . N Plik:Banachowski-II-167-193.pdf (ostatnia)
- 12:57, 22 cze 2015 (różn. | hist.) . . (-9) . . Logika Algorytmiczna (→Bibliografia)
- 12:45, 22 cze 2015 (różn. | hist.) . . (0) . . N Plik:BanI-93-119.pdf (ostatnia)
- 12:44, 22 cze 2015 (różn. | hist.) . . (0) . . N Plik:Kreczmar-Program-Fields.pdf
- 12:21, 13 cze 2015 (różn. | hist.) . . (-21) . . Logika Algorytmiczna (→Bibliografia)
- 11:59, 13 cze 2015 (różn. | hist.) . . (+817) . . Logika Algorytmiczna (→Bibliografia)
- 11:48, 13 cze 2015 (różn. | hist.) . . (+269) . . Logika Algorytmiczna (→Bibliografia)
- 10:26, 13 cze 2015 (różn. | hist.) . . (+260) . . Logika Algorytmiczna (→Bibliografia)
- 10:20, 13 cze 2015 (różn. | hist.) . . (0) . . N Plik:Mirkowska-II-147-165.pdf (ostatnia)
- 08:25, 13 cze 2015 (różn. | hist.) . . (+266) . . Logika Algorytmiczna (→Bibliografia)
- 08:04, 13 cze 2015 (różn. | hist.) . . (+285) . . Logika Algorytmiczna (→Bibliografia)
- 07:57, 13 cze 2015 (różn. | hist.) . . (0) . . N Plik:CalculuswIterationQuantifiers.pdf (ostatnia)
- 21:16, 11 cze 2015 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Bibliografia)
- 17:17, 11 cze 2015 (różn. | hist.) . . (-29) . . Logika Algorytmiczna (→Bibliografia)
- 17:13, 11 cze 2015 (różn. | hist.) . . (+45) . . N Plik:Bcp211.pdf (praca wspólna z Rasiową, Antkiem i Leszkiem) (ostatnia)
- 17:03, 11 cze 2015 (różn. | hist.) . . (-7) . . Logika Algorytmiczna (→Bibliografia)
- 16:36, 11 cze 2015 (różn. | hist.) . . (-4) . . Logika Algorytmiczna (→Bibliografia)
- 15:48, 11 cze 2015 (różn. | hist.) . . (0) . . Plik:MirkowskaI-1-17.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:MirkowskaI-1-17.pdf“) (ostatnia)
- 14:03, 11 cze 2015 (różn. | hist.) . . (+251) . . Logika Algorytmiczna (→Bibliografia)
- 13:54, 11 cze 2015 (różn. | hist.) . . (+23) . . N Plik:MirkowskaI-1-17.pdf (pierwsza część pracy)
- 10:09, 10 cze 2015 (różn. | hist.) . . (-9) . . Logika Algorytmiczna (→Zastosowania)
- 20:38, 9 cze 2015 (różn. | hist.) . . (+455) . . Logika Algorytmiczna (→Zastosowania)
- 17:30, 9 cze 2015 (różn. | hist.) . . (+181) . . Logika Algorytmiczna (→Zastosowania)
- 16:16, 9 cze 2015 (różn. | hist.) . . (+10) . . Logika Algorytmiczna (→Zastosowania)
- 14:15, 9 cze 2015 (różn. | hist.) . . (+613) . . Logika Algorytmiczna (→Bibliografia)
- 14:02, 9 cze 2015 (różn. | hist.) . . (-456) . . Logika Algorytmiczna (→Zastosowania)
- 12:12, 9 cze 2015 (różn. | hist.) . . (+456) . . Logika Algorytmiczna (→Program logiki algorytmicznej)
- 07:14, 12 maj 2015 (różn. | hist.) . . (+6) . . Logika Algorytmiczna (→Bibliografia)
- 07:12, 12 maj 2015 (różn. | hist.) . . (-47) . . Logika Algorytmiczna (→Bibliografia)
- 07:08, 12 maj 2015 (różn. | hist.) . . (+59) . . Logika Algorytmiczna (→Bibliografia)
- 07:06, 12 maj 2015 (różn. | hist.) . . (+232) . . Logika Algorytmiczna (→Bibliografia)
- 07:01, 12 maj 2015 (różn. | hist.) . . (+315) . . Logika Algorytmiczna (→Bibliografia)
- 06:54, 12 maj 2015 (różn. | hist.) . . (+373) . . Logika Algorytmiczna (→Bibliografia)
- 21:24, 11 maj 2015 (różn. | hist.) . . (+5) . . Strona główna
- 21:21, 11 maj 2015 (różn. | hist.) . . (+15) . . Strona główna
- 21:18, 11 maj 2015 (różn. | hist.) . . (+441) . . Strona główna
- 13:16, 23 kwi 2015 (różn. | hist.) . . (+20) . . Fundamental research (→Alien call)
- 13:15, 23 kwi 2015 (różn. | hist.) . . (-26) . . Fundamental research (→Alien call)
- 16:22, 8 kwi 2015 (różn. | hist.) . . (+23) . . Loglan'82 (→Proste programy)
- 16:13, 8 kwi 2015 (różn. | hist.) . . (+98) . . Loglan'82 (→Proste programy)
- 09:33, 4 kwi 2015 (różn. | hist.) . . (+131) . . Loglan'82 (→→ Kompilatory)
- 08:02, 4 kwi 2015 (różn. | hist.) . . (+281) . . Loglan'82 (→→ Dokumentacja)
- 00:05, 15 mar 2015 (różn. | hist.) . . (0) . . Plik:Programmed-deallocation-without-Dangling-Reference-I.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:Programmed-deallocation-without-Dangling-Reference-I.pdf“) (ostatnia)
- 13:48, 28 lut 2015 (różn. | hist.) . . (+90) . . Loglan'82
- 23:33, 26 lut 2015 (różn. | hist.) . . (+1) . . Strona główna
- 23:32, 26 lut 2015 (różn. | hist.) . . (+2) . . Strona główna
- 23:30, 26 lut 2015 (różn. | hist.) . . (-3) . . Strona główna
- 23:29, 26 lut 2015 (różn. | hist.) . . (-1) . . Strona główna
- 23:28, 26 lut 2015 (różn. | hist.) . . (+4) . . Strona główna
- 23:27, 26 lut 2015 (różn. | hist.) . . (0) . . Strona główna
- 23:26, 26 lut 2015 (różn. | hist.) . . (-1) . . Strona główna
- 23:25, 26 lut 2015 (różn. | hist.) . . (+18) . . Strona główna
- 23:24, 26 lut 2015 (różn. | hist.) . . (+15) . . Strona główna
- 22:58, 26 lut 2015 (różn. | hist.) . . (+7) . . Strona główna
- 12:48, 26 lut 2015 (różn. | hist.) . . (+361) . . SpecVer (→Narzędzia)
- 12:29, 26 lut 2015 (różn. | hist.) . . (-150) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
- 12:25, 26 lut 2015 (różn. | hist.) . . (+145) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
- 21:35, 25 lut 2015 (różn. | hist.) . . (+11) . . Strona główna
- 12:59, 20 lut 2015 (różn. | hist.) . . (-1) . . Fundamental research (→Alien call)
- 12:57, 20 lut 2015 (różn. | hist.) . . (0) . . N Plik:MgrBolek.pdf (ostatnia)
- 11:36, 3 lut 2015 (różn. | hist.) . . (-35) . . DokumentacjaLoglanu (→Zobacz też)
- 19:44, 21 sty 2015 (różn. | hist.) . . (0) . . N Plik:KreczmarMuldner-Coroutines-Processes.pdf (ostatnia)
- 20:23, 18 sty 2015 (różn. | hist.) . . (+62) . . Fundamental research (→Safe dealocation of objects)
- 20:17, 18 sty 2015 (różn. | hist.) . . (+417) . . Bezpieczna dealokacja obiektów (→Zobacz też)
- 20:14, 18 sty 2015 (różn. | hist.) . . (+68) . . Bezpieczna dealokacja obiektów (→Acknowledgement)
- 21:42, 17 sty 2015 (różn. | hist.) . . (-2) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 21:40, 17 sty 2015 (różn. | hist.) . . (-119) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 21:37, 17 sty 2015 (różn. | hist.) . . (-1) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 21:31, 17 sty 2015 (różn. | hist.) . . (-7) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 21:30, 17 sty 2015 (różn. | hist.) . . (+12) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 21:26, 17 sty 2015 (różn. | hist.) . . (-142) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 21:21, 17 sty 2015 (różn. | hist.) . . (-91) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 21:15, 17 sty 2015 (różn. | hist.) . . (-1302) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 20:59, 17 sty 2015 (różn. | hist.) . . (-24) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 20:54, 17 sty 2015 (różn. | hist.) . . (-92) . . Bezpieczna dealokacja obiektów (→Algorithmic specification ATHM of heap management)
- 20:50, 17 sty 2015 (różn. | hist.) . . (+2513) . . Bezpieczna dealokacja obiektów (→Algorithmic specification)
- 12:26, 14 sty 2015 (różn. | hist.) . . (+11) . . Poprawność (ostatnia)
- 12:25, 14 sty 2015 (różn. | hist.) . . (-49) . . Poprawność
- 12:23, 14 sty 2015 (różn. | hist.) . . (-1) . . Poprawność
- 12:22, 14 sty 2015 (różn. | hist.) . . (+8) . . Poprawność
- 12:20, 14 sty 2015 (różn. | hist.) . . (+150) . . Poprawność
- 12:18, 14 sty 2015 (różn. | hist.) . . (+33) . . Poprawność
- 12:15, 14 sty 2015 (różn. | hist.) . . (+22) . . Poprawność
- 12:14, 14 sty 2015 (różn. | hist.) . . (+310) . . Poprawność
- 11:23, 14 sty 2015 (różn. | hist.) . . (+67) . . Poprawność
- 11:18, 14 sty 2015 (różn. | hist.) . . (+1061) . . N Poprawność (Utworzono nową stronę "Jakie znaczenie przypisać zwrotowi ''program <math>P</math> jest poprawny''? Tak sformułowane zdanie nie może byc ani prawdziwe, ani fałszywe. Brakuje kilku element...")
- 11:01, 14 sty 2015 (różn. | hist.) . . (+4) . . Strona główna
- 10:56, 12 sty 2015 (różn. | hist.) . . (+6) . . Bezpieczna dealokacja obiektów (→C++, object Pascal, Objective C)
- 10:55, 12 sty 2015 (różn. | hist.) . . (+7) . . Bezpieczna dealokacja obiektów (→Managing objects)
- 10:54, 12 sty 2015 (różn. | hist.) . . (0) . . Bezpieczna dealokacja obiektów (→Managing objects)
- 10:53, 12 sty 2015 (różn. | hist.) . . (+1) . . Bezpieczna dealokacja obiektów (→Managing objects)
- 10:52, 12 sty 2015 (różn. | hist.) . . (-2) . . Bezpieczna dealokacja obiektów (→C++, object Pascal, Objective C)
- 11:20, 9 sty 2015 (różn. | hist.) . . (+8) . . Main page
- 15:19, 8 sty 2015 (różn. | hist.) . . (+6) . . DokumentacjaLoglanu (→Podręczniki)
- 15:17, 8 sty 2015 (różn. | hist.) . . (-3) . . DokumentacjaLoglanu (→Podręczniki)
- 15:16, 8 sty 2015 (różn. | hist.) . . (0) . . DokumentacjaLoglanu (→Podręczniki)
- 23:32, 7 sty 2015 (różn. | hist.) . . (-3) . . DokumentacjaLoglanu (→Podręczniki)
- 23:30, 7 sty 2015 (różn. | hist.) . . (-1) . . DokumentacjaLoglanu (→Podręczniki)
- 23:30, 7 sty 2015 (różn. | hist.) . . (0) . . DokumentacjaLoglanu (→Bibliografia)
- 23:29, 7 sty 2015 (różn. | hist.) . . (-1) . . DokumentacjaLoglanu (→Podręczniki)
- 23:28, 7 sty 2015 (różn. | hist.) . . (+9) . . DokumentacjaLoglanu (→Podręczniki)
- 23:27, 7 sty 2015 (różn. | hist.) . . (+5) . . DokumentacjaLoglanu (→Bibliografia)
- 23:22, 7 sty 2015 (różn. | hist.) . . (-5) . . DokumentacjaLoglanu (→Podręczniki)
- 23:19, 7 sty 2015 (różn. | hist.) . . (+74) . . Algorithmic logic
- 23:09, 7 sty 2015 (różn. | hist.) . . (+56) . . Algorithmic logic
- 23:05, 7 sty 2015 (różn. | hist.) . . (+329) . . Algorithmic logic
- 22:59, 7 sty 2015 (różn. | hist.) . . (+17) . . Algorithmic logic
- 22:50, 7 sty 2015 (różn. | hist.) . . (+2) . . Algorithmic logic
- 22:48, 7 sty 2015 (różn. | hist.) . . (+52) . . Algorithmic logic
- 22:43, 7 sty 2015 (różn. | hist.) . . (+27) . . Algorithmic logic
- 22:41, 7 sty 2015 (różn. | hist.) . . (+930) . . Algorithmic logic
- 22:29, 7 sty 2015 (różn. | hist.) . . (+437) . . N Algorithmic logic (Utworzono nową stronę "Are you ready? '''A challenge'''<br /> Given the following piece of software prove or disprove the following formula<br /> <math> \vdash \forall_{n_0 \in Node} \forall_{...")
- 18:23, 5 sty 2015 (różn. | hist.) . . (+261) . . Loglan'82 (→Wybrane Przykłady)
- 18:09, 5 sty 2015 (różn. | hist.) . . (0) . . N Plik:TOWHANC.pdf (ostatnia)
- 13:47, 4 sty 2015 (różn. | hist.) . . (+496) . . m Loglan'82 (→Współprogramy)
- 13:30, 4 sty 2015 (różn. | hist.) . . (+27) . . Loglan'82 (→Klasy i obiekty)
- 13:29, 4 sty 2015 (różn. | hist.) . . (0) . . N Plik:Heapsort.pdf (ostatnia)
- 12:03, 4 sty 2015 (różn. | hist.) . . (+96) . . Logika Algorytmiczna
- 12:03, 4 sty 2015 (różn. | hist.) . . (-95) . . Strona główna
- 12:02, 4 sty 2015 (różn. | hist.) . . (+15) . . Strona główna
- 12:01, 4 sty 2015 (różn. | hist.) . . (+81) . . Strona główna
- 11:05, 4 sty 2015 (różn. | hist.) . . (-23) . . Loglan'82 (→ Współprogramy)
- 18:42, 3 sty 2015 (różn. | hist.) . . (+92) . . Loglan'82 (→Wybrane Przykłady)
- 18:38, 3 sty 2015 (różn. | hist.) . . (0) . . N Plik:HEAPSORT.odt (ostatnia)
- 13:03, 2 sty 2015 (różn. | hist.) . . (+4) . . Loglan'82 (→Dokumentacja)
- 13:02, 2 sty 2015 (różn. | hist.) . . (+20) . . Loglan'82 (→→ Badania podstawowe)
- 13:00, 2 sty 2015 (różn. | hist.) . . (+4) . . Loglan'82 (→Badania podstawowe)
- 12:59, 2 sty 2015 (różn. | hist.) . . (+5) . . Loglan'82 (→Kompilatory)
- 12:54, 2 sty 2015 (różn. | hist.) . . (+32) . . Loglan'82 (→Dokumentacja)
- 12:52, 2 sty 2015 (różn. | hist.) . . (+24) . . Loglan'82 (→Dokumentacja)
- 12:41, 2 sty 2015 (różn. | hist.) . . (-39) . . Loglan'82 (→Badania podstawowe)
- 12:37, 2 sty 2015 (różn. | hist.) . . (+41) . . Loglan'82 (→Badania podstawowe)
- 12:33, 2 sty 2015 (różn. | hist.) . . (0) . . N Plik:ProgrammedDeallocation-II.pdf
- 17:55, 27 gru 2014 (różn. | hist.) . . (+5090) . . Bezpieczna dealokacja obiektów (→Managing objects)
- 16:36, 27 gru 2014 (różn. | hist.) . . (+737) . . Bezpieczna dealokacja obiektów
- 16:34, 27 gru 2014 (różn. | hist.) . . (-5) . . Bezpieczna dealokacja obiektów (→Introduction)
- 16:32, 27 gru 2014 (różn. | hist.) . . (+4) . . Bezpieczna dealokacja obiektów (→INTRODUCTION)
- 16:29, 27 gru 2014 (różn. | hist.) . . (+6424) . . Bezpieczna dealokacja obiektów (→Managing objects)
- 22:32, 25 gru 2014 (różn. | hist.) . . (+1) . . Strona główna
- 22:32, 25 gru 2014 (różn. | hist.) . . (+93) . . Strona główna
- 20:50, 25 gru 2014 (różn. | hist.) . . (-1) . . Logika Algorytmiczna
- 20:49, 25 gru 2014 (różn. | hist.) . . (+9) . . Logika Algorytmiczna
- 20:47, 25 gru 2014 (różn. | hist.) . . (-1) . . Logika Algorytmiczna
- 20:12, 25 gru 2014 (różn. | hist.) . . (+944) . . Logika Algorytmiczna
- 12:54, 25 gru 2014 (różn. | hist.) . . (+457) . . Logika Algorytmiczna
- 07:29, 25 gru 2014 (różn. | hist.) . . (+12) . . Strona główna
- 07:28, 25 gru 2014 (różn. | hist.) . . (+4) . . Strona główna
- 16:04, 24 gru 2014 (różn. | hist.) . . (+1) . . Badania podstawowe (→Bibliografia) (ostatnia)
- 22:56, 23 gru 2014 (różn. | hist.) . . (-10) . . Main page
- 22:54, 23 gru 2014 (różn. | hist.) . . (-2) . . Main page
- 21:25, 23 gru 2014 (różn. | hist.) . . (0) . . Logika Algorytmiczna
- 21:23, 23 gru 2014 (różn. | hist.) . . (+125) . . Logika Algorytmiczna
- 21:20, 23 gru 2014 (różn. | hist.) . . (+15) . . Logika Algorytmiczna
- 21:18, 23 gru 2014 (różn. | hist.) . . (+1) . . Logika Algorytmiczna
- 21:17, 23 gru 2014 (różn. | hist.) . . (+27) . . Logika Algorytmiczna
- 21:15, 23 gru 2014 (różn. | hist.) . . (+106) . . Logika Algorytmiczna
- 21:08, 23 gru 2014 (różn. | hist.) . . (-2) . . Logika Algorytmiczna
- 19:56, 23 gru 2014 (różn. | hist.) . . (+1) . . Strona główna
- 19:52, 23 gru 2014 (różn. | hist.) . . (+3) . . Kompilatory (→Środowisko Loglan VLP)
- 19:49, 23 gru 2014 (różn. | hist.) . . (+597) . . Kompilatory (→Linux)
- 18:09, 23 gru 2014 (różn. | hist.) . . (+4) . . Main page
- 18:07, 23 gru 2014 (różn. | hist.) . . (-495) . . Main page
- 18:01, 23 gru 2014 (różn. | hist.) . . (0) . . Main page
- 17:59, 23 gru 2014 (różn. | hist.) . . (+1) . . Main page
- 17:58, 23 gru 2014 (różn. | hist.) . . (+1) . . Main page
- 17:56, 23 gru 2014 (różn. | hist.) . . (+90) . . Main page
- 17:49, 23 gru 2014 (różn. | hist.) . . (-6) . . Strona główna
- 17:45, 23 gru 2014 (różn. | hist.) . . (+28) . . Strona główna
- 17:43, 23 gru 2014 (różn. | hist.) . . (+1) . . Strona główna
- 16:41, 23 gru 2014 (różn. | hist.) . . (+30) . . Fundamental research (→Connecting virtual machines into a virtual multiprocessor)
- 16:39, 23 gru 2014 (różn. | hist.) . . (+75) . . Fundamental research (→Connecting virtual machines into a virtual multiprocessor)
- 16:34, 23 gru 2014 (różn. | hist.) . . (+28) . . Fundamental research (→Connecting virtual machines into a virtual multiprocessor)
- 16:33, 23 gru 2014 (różn. | hist.) . . (+410) . . Fundamental research (→Connecting virtual machines into a virtual multiprocessor)
- 14:09, 23 gru 2014 (różn. | hist.) . . (+28) . . Fundamental research (→Alien call)
- 23:27, 22 gru 2014 (różn. | hist.) . . (-17) . . Fundamental research (→Safe dealocation of objects)
- 23:01, 22 gru 2014 (różn. | hist.) . . (+31) . . Fundamental research (→How to determine the direct superclass?)
- 22:59, 22 gru 2014 (różn. | hist.) . . (+19) . . Fundamental research (→Safe dealocation of objects)
- 21:24, 22 gru 2014 (różn. | hist.) . . (+45) . . Fundamental research
- 17:08, 22 gru 2014 (różn. | hist.) . . (+162) . . Fundamental research (→How to determine the direct superclass?)
- 16:58, 22 gru 2014 (różn. | hist.) . . (-23) . . Fundamental research (→How to determine the direct superclass?)
- 16:57, 22 gru 2014 (różn. | hist.) . . (+2) . . Fundamental research (→How to determine the direct superclass?)
- 16:38, 22 gru 2014 (różn. | hist.) . . (+1) . . Fundamental research (→How to determine the direct superclass?)
- 16:37, 22 gru 2014 (różn. | hist.) . . (-20) . . Fundamental research (→How to determine the direct superclass?)
- 16:36, 22 gru 2014 (różn. | hist.) . . (+18) . . Fundamental research (→How to determine the direct superclass?)
- 16:32, 22 gru 2014 (różn. | hist.) . . (+23) . . Fundamental research (→How to determine the direct superclass?)
- 20:41, 21 gru 2014 (różn. | hist.) . . (+9) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:38, 21 gru 2014 (różn. | hist.) . . (+1) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:36, 21 gru 2014 (różn. | hist.) . . (+39) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:32, 21 gru 2014 (różn. | hist.) . . (+14) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:31, 21 gru 2014 (różn. | hist.) . . (+246) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:28, 21 gru 2014 (różn. | hist.) . . (-14) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:23, 21 gru 2014 (różn. | hist.) . . (+399) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:10, 21 gru 2014 (różn. | hist.) . . (+12) . . Arytmetyka Algorytmiczna (→Problem Collatza)
- 20:03, 21 gru 2014 (różn. | hist.) . . (+1) . . SpecVer (→Algorytmiczna teoria stosów)
- 20:01, 21 gru 2014 (różn. | hist.) . . (+816) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej .)
- 21:24, 20 gru 2014 (różn. | hist.) . . (+3) . . Fundamental research (→How to determine the direct superclass?)
- 21:23, 20 gru 2014 (różn. | hist.) . . (+101) . . Fundamental research (→How to determine the direct superclass?)
- 21:20, 20 gru 2014 (różn. | hist.) . . (+111) . . Fundamental research (→How to determine the direct superclass?)
- 21:17, 20 gru 2014 (różn. | hist.) . . (+24) . . Fundamental research (→How to determine the direct superclass?)
- 21:15, 20 gru 2014 (różn. | hist.) . . (+121) . . Fundamental research (→How to determine the direct superclass?)
- 21:11, 20 gru 2014 (różn. | hist.) . . (+146) . . Fundamental research (→How to determine the direct superclass?)
- 21:08, 20 gru 2014 (różn. | hist.) . . (0) . . Fundamental research (→How to determine the direct superclass?)
- 21:07, 20 gru 2014 (różn. | hist.) . . (-5) . . Fundamental research (→How to determine the direct superclass?)
- 21:05, 20 gru 2014 (różn. | hist.) . . (+3) . . Fundamental research (→How to determine the direct superclass?)
- 21:04, 20 gru 2014 (różn. | hist.) . . (+2) . . Fundamental research (→How to determine the direct superclass?)
- 21:03, 20 gru 2014 (różn. | hist.) . . (+448) . . Fundamental research (→How to determine the inherited class)
- 20:18, 20 gru 2014 (różn. | hist.) . . (-1) . . Fundamental research (→Safe dealocation of objects)
- 20:17, 20 gru 2014 (różn. | hist.) . . (+22) . . Fundamental research (→Safe dealocation of objects)
- 19:56, 20 gru 2014 (różn. | hist.) . . (+7) . . Fundamental research (→Connecting virtual machines into a virtual multiprocessor)
- 19:55, 20 gru 2014 (różn. | hist.) . . (+34) . . Fundamental research (→Connecting virtual machines into a virtual multiprocessor)
- 17:56, 20 gru 2014 (różn. | hist.) . . (+472) . . Badania podstawowe (→Bibliografia)
- 17:52, 20 gru 2014 (różn. | hist.) . . (+6) . . DokumentacjaLoglanu (→Podręczniki)
- 17:44, 20 gru 2014 (różn. | hist.) . . (-5) . . DokumentacjaLoglanu (→Podręczniki)
- 17:43, 20 gru 2014 (różn. | hist.) . . (+1) . . DokumentacjaLoglanu (→Podręczniki)
- 17:42, 20 gru 2014 (różn. | hist.) . . (+31) . . DokumentacjaLoglanu (→Podręczniki)
- 16:50, 20 gru 2014 (różn. | hist.) . . (+146) . . Fundamental research (→Static binding)
- 16:46, 20 gru 2014 (różn. | hist.) . . (+806) . . Fundamental research (→Is it possible to keep the Dijkstra's mechanism of Display Vector ?)
- 16:33, 20 gru 2014 (różn. | hist.) . . (+49) . . Fundamental research (→Safe dealocation of objects)
- 16:22, 20 gru 2014 (różn. | hist.) . . (-13) . . Fundamental research (→How to determine the inherited class)
- 16:21, 20 gru 2014 (różn. | hist.) . . (-5) . . Fundamental research (→How to determine the inherited class)
- 16:20, 20 gru 2014 (różn. | hist.) . . (0) . . Fundamental research (→How to determine the inherited class)
- 16:17, 20 gru 2014 (różn. | hist.) . . (+45) . . Loglan'82 (→Badania podstawowe)
- 19:23, 19 gru 2014 (różn. | hist.) . . (0) . . N Plik:Loglan3.pdf (ostatnia)
- 19:15, 19 gru 2014 (różn. | hist.) . . (+92) . . Loglan'82 (→Wybrane Przykłady)
- 19:12, 19 gru 2014 (różn. | hist.) . . (+1) . . Loglan'82 (→Dokumentacja)
- 19:12, 19 gru 2014 (różn. | hist.) . . (0) . . Loglan'82 (→Dokumentacja)
- 19:11, 19 gru 2014 (różn. | hist.) . . (+6) . . Loglan'82 (→Dokumentacja)
- 19:07, 19 gru 2014 (różn. | hist.) . . (-1) . . Kompilatory (→Środowisko Loglan VLP)
- 19:05, 19 gru 2014 (różn. | hist.) . . (+1) . . Kompilatory (→= Loglan bez środowiska sieciowego)
- 19:04, 19 gru 2014 (różn. | hist.) . . (+1) . . Kompilatory (→= Środowisko Loglan VLP)
- 19:03, 19 gru 2014 (różn. | hist.) . . (+993) . . Kompilatory (→Windows)
- 18:51, 19 gru 2014 (różn. | hist.) . . (+1) . . Kompilator na Windows (ostatnia)
- 18:47, 19 gru 2014 (różn. | hist.) . . (+16) . . Kompilatory
- 17:25, 19 gru 2014 (różn. | hist.) . . (0) . . N Plik:Loglan2.pdf (ostatnia)
- 17:15, 19 gru 2014 (różn. | hist.) . . (+191) . . DokumentacjaLoglanu (→Podręczniki)
- 17:11, 19 gru 2014 (różn. | hist.) . . (-27) . . DokumentacjaLoglanu (→Podręczniki)
- 10:45, 19 gru 2014 (różn. | hist.) . . (0) . . N Plik:Loglan1.pdf (ostatnia)
- 10:12, 19 gru 2014 (różn. | hist.) . . (+7) . . Fundamental research (→Safe dealocation of objects)
- 10:10, 19 gru 2014 (różn. | hist.) . . (0) . . Loglan'82 (→Badania podstawowe)
- 10:09, 19 gru 2014 (różn. | hist.) . . (+78) . . Loglan'82 (→Badania podstawowe)
- 01:05, 19 gru 2014 (różn. | hist.) . . (+35) . . DokumentacjaLoglanu (→Zobacz też)
- 01:03, 19 gru 2014 (różn. | hist.) . . (+36) . . DokumentacjaLoglanu (→Podręczniki)
- 01:01, 19 gru 2014 (różn. | hist.) . . (+24) . . Loglan'82 (→Dokumentacja)
- 00:59, 19 gru 2014 (różn. | hist.) . . (+16) . . Strona główna
- 00:57, 19 gru 2014 (różn. | hist.) . . (-460) . . Strona główna
- 12:09, 13 gru 2014 (różn. | hist.) . . (-1) . . Logika Algorytmiczna
- 12:08, 13 gru 2014 (różn. | hist.) . . (+933) . . Logika Algorytmiczna
- 00:07, 13 gru 2014 (różn. | hist.) . . (+665) . . Logika Algorytmiczna
- 23:15, 11 gru 2014 (różn. | hist.) . . (-11) . . DokumentacjaLoglanu (→Podręczniki)
- 23:11, 11 gru 2014 (różn. | hist.) . . (+5) . . Dokumentacja (ostatnia)
- 23:10, 11 gru 2014 (różn. | hist.) . . (-35) . . Dokumentacja
- 23:09, 11 gru 2014 (różn. | hist.) . . (+5) . . Dokumentacja
- 23:08, 11 gru 2014 (różn. | hist.) . . (+53) . . Dokumentacja
- 23:06, 11 gru 2014 (różn. | hist.) . . (+341) . . N Dokumentacja (Utworzono nową stronę "Zechciej poświęcić chwilę by obejrzeć bardzo krótką prezentację języka Loglan'82. Jest to przede wszystkim informacja o składni z towarzysząca temu bardzo skr...")
- 23:01, 11 gru 2014 (różn. | hist.) . . (+4) . . Loglan'82 project (→Dokumentacja)
- 18:50, 11 gru 2014 (różn. | hist.) . . (+293) . . Fundamental research (→Connecting virtual machines into a virtual multiprocessor)
- 13:06, 3 gru 2014 (różn. | hist.) . . (+29) . . Algorithmic Logic (→Bibliography)
- 13:04, 3 gru 2014 (różn. | hist.) . . (+28) . . Algorithmic Logic (→Bibliography)
- 21:29, 2 gru 2014 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Structure of AL)
- 21:28, 2 gru 2014 (różn. | hist.) . . (-17) . . Algorithmic Logic (→Structure of AL)
- 21:28, 2 gru 2014 (różn. | hist.) . . (+18) . . Algorithmic Logic (→Structure of AL)
- 21:27, 2 gru 2014 (różn. | hist.) . . (+4) . . Algorithmic Logic (→Structure of AL)
- 21:26, 2 gru 2014 (różn. | hist.) . . (+561) . . Algorithmic Logic (→Structure of AL)
- 21:18, 2 gru 2014 (różn. | hist.) . . (+11) . . Algorithmic Logic (→Bibliography)
- 21:17, 2 gru 2014 (różn. | hist.) . . (-11) . . Algorithmic Logic (→Bibliography)
- 19:09, 2 gru 2014 (różn. | hist.) . . (+44) . . Algorithmic Logic (→Floyd-Hoare logic)
- 19:03, 2 gru 2014 (różn. | hist.) . . (+55) . . Algorithmic Logic (→Floyd-Hoare logic)
- 19:01, 2 gru 2014 (różn. | hist.) . . (+40) . . Algorithmic Logic (→pre algorithmic logic)
- 21:28, 28 lis 2014 (różn. | hist.) . . (+15) . . Algorithmic Logic (→Bibliography)
- 21:16, 28 lis 2014 (różn. | hist.) . . (0) . . Algorithmic Logic (→Bibliography)
- 21:15, 28 lis 2014 (różn. | hist.) . . (+6) . . Algorithmic Logic (→Bibliography)
- 21:12, 28 lis 2014 (różn. | hist.) . . (+16) . . Algorithmic Logic (→Bibliography)
- 21:11, 28 lis 2014 (różn. | hist.) . . (+337) . . Algorithmic Logic (→Bibliography)
- 21:01, 28 lis 2014 (różn. | hist.) . . (+136) . . Algorithmic Logic (→History)
- 20:55, 28 lis 2014 (różn. | hist.) . . (+290) . . Algorithmic Logic (→Bibliography)
- 20:52, 28 lis 2014 (różn. | hist.) . . (-2) . . Algorithmic Logic
- 20:51, 28 lis 2014 (różn. | hist.) . . (+34) . . Algorithmic Logic
- 19:13, 28 lis 2014 (różn. | hist.) . . (+62) . . Algorithmic Logic
- 19:11, 28 lis 2014 (różn. | hist.) . . (+52) . . Algorithmic language (ostatnia)
- 13:58, 28 lis 2014 (różn. | hist.) . . (-5) . . Algorithmic Logic (→pre algorithmic logic)
- 13:57, 28 lis 2014 (różn. | hist.) . . (-52) . . Algorithmic Logic (→pre algorithmic logic)
- 13:56, 28 lis 2014 (różn. | hist.) . . (+23) . . Algorithmic Logic (→pre algorithmic logic)
- 13:55, 28 lis 2014 (różn. | hist.) . . (+38) . . Algorithmic Logic (→pre algorithmic logic)
- 13:03, 28 lis 2014 (różn. | hist.) . . (0) . . Algorithmic Logic (→pre algorithmic logic)
- 16:21, 27 lis 2014 (różn. | hist.) . . (-14) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters) (ostatnia)
- 14:01, 27 lis 2014 (różn. | hist.) . . (-7) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 14:00, 27 lis 2014 (różn. | hist.) . . (0) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:59, 27 lis 2014 (różn. | hist.) . . (+8) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:57, 27 lis 2014 (różn. | hist.) . . (+14) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:33, 27 lis 2014 (różn. | hist.) . . (0) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:31, 27 lis 2014 (różn. | hist.) . . (+24) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:29, 27 lis 2014 (różn. | hist.) . . (0) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:28, 27 lis 2014 (różn. | hist.) . . (+12) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:27, 27 lis 2014 (różn. | hist.) . . (+6) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:26, 27 lis 2014 (różn. | hist.) . . (+168) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:15, 27 lis 2014 (różn. | hist.) . . (+1) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:08, 27 lis 2014 (różn. | hist.) . . (+114) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 13:05, 27 lis 2014 (różn. | hist.) . . (+6) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 12:11, 27 lis 2014 (różn. | hist.) . . (+12) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 12:06, 27 lis 2014 (różn. | hist.) . . (-11) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 12:03, 27 lis 2014 (różn. | hist.) . . (+2) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:57, 27 lis 2014 (różn. | hist.) . . (+6) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:53, 27 lis 2014 (różn. | hist.) . . (+217) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:46, 27 lis 2014 (różn. | hist.) . . (+2) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:44, 27 lis 2014 (różn. | hist.) . . (+2) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:41, 27 lis 2014 (różn. | hist.) . . (+3) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:40, 27 lis 2014 (różn. | hist.) . . (+9) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:39, 27 lis 2014 (różn. | hist.) . . (-9) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:35, 27 lis 2014 (różn. | hist.) . . (0) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:30, 27 lis 2014 (różn. | hist.) . . (+97) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:23, 27 lis 2014 (różn. | hist.) . . (-1) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:22, 27 lis 2014 (różn. | hist.) . . (-6) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
- 11:20, 27 lis 2014 (różn. | hist.) . . (+43) . . Axiomatic definitions of sublanguages of Loglan'82 (→Characters)
(od najświeższych | od najstarszych) Zobacz (500 nowszych | 500 starszych) (20 | 50 | 100 | 250 | 500)