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