Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 17:26, 19 lis 2015 (różn. | hist.) . . (+185) . . Axioms of algorithmic logic (→Axioms of propositional logic)
- 17:19, 19 lis 2015 (różn. | hist.) . . (+113) . . Axioms of algorithmic logic (→Axioms of propositional logic)
- 17:14, 19 lis 2015 (różn. | hist.) . . (+5) . . Axioms of algorithmic logic (→Axioms of propositional logic)
- 17:11, 19 lis 2015 (różn. | hist.) . . (+383) . . Axioms of algorithmic logic (→Axioms of AL)
- 17:04, 19 lis 2015 (różn. | hist.) . . (-7) . . Axioms of algorithmic logic (→Axioms of AL)
- 17: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\...")
- 16:40, 19 lis 2015 (różn. | hist.) . . (+46) . . Rachunek programów (→Przykłady praw rachunku programów)
- 14:20, 19 lis 2015 (różn. | hist.) . . (+750) . . Logika Algorytmiczna (→Program logiki algorytmicznej)
- 10:56, 19 lis 2015 (różn. | hist.) . . (+636) . . Inference rules (→Some secondary inference rules)
- 10:42, 19 lis 2015 (różn. | hist.) . . (+262) . . Inference rules (→Some secondary inference rules)
- 10:22, 19 lis 2015 (różn. | hist.) . . (+8) . . Inference rules
- 10:20, 19 lis 2015 (różn. | hist.) . . (+395) . . Inference rules
- 10:08, 19 lis 2015 (różn. | hist.) . . (+306) . . Inference rules
- 09:59, 19 lis 2015 (różn. | hist.) . . (+6) . . Inference rules
- 09:58, 19 lis 2015 (różn. | hist.) . . (+33) . . Inference rules
- 09:52, 19 lis 2015 (różn. | hist.) . . (0) . . Inference rules
- 09:49, 19 lis 2015 (różn. | hist.) . . (+226) . . Inference rules (→Inference rules of algorithmic logic)
- 09:41, 19 lis 2015 (różn. | hist.) . . (-39) . . Inference rules
- 09: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_{...")
- 09:24, 19 lis 2015 (różn. | hist.) . . (+83) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 10:06, 17 lis 2015 (różn. | hist.) . . (+46) . . Rachunek programów (→Nieformalne wprowadzenie)
- 10:05, 17 lis 2015 (różn. | hist.) . . (+65) . . Rachunek programów (→Nieformalne wprowadzenie)
- 10:02, 17 lis 2015 (różn. | hist.) . . (+34) . . Rachunek programów
- 09:59, 17 lis 2015 (różn. | hist.) . . (+34) . . Rachunek programów (→Przykłady praw rachunku programów)
- 09:57, 17 lis 2015 (różn. | hist.) . . (+67) . . Rachunek programów (→Przykłady reguł wnioskowania)
- 09:56, 17 lis 2015 (różn. | hist.) . . (+165) . . Rachunek programów (→Przykłady praw rachunku programów)
- 09:53, 17 lis 2015 (różn. | hist.) . . (+33) . . Rachunek programów (→Przykłady praw rachunku programów)
- 09:39, 17 lis 2015 (różn. | hist.) . . (0) . . Rachunek programów (→Nieformalne wprowadzenie)
- 09:37, 17 lis 2015 (różn. | hist.) . . (-185) . . Rachunek programów (→Przykłady praw rachunku programów)
- 09:35, 17 lis 2015 (różn. | hist.) . . (0) . . Rachunek programów (→Przykłady praw rachunku programów)
- 09:29, 17 lis 2015 (różn. | hist.) . . (+200) . . Rachunek programów (→Przykłady praw rachunku programów)
- 20:31, 16 lis 2015 (różn. | hist.) . . (+418) . . Fundamental research (→How to define semantics of coroutines?)
- 20:22, 16 lis 2015 (różn. | hist.) . . (+797) . . Fundamental research (→How to define semantics of Coroutines?)
- 18: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?)
- 20:01, 9 lis 2015 (różn. | hist.) . . (-473) . . Logika Algorytmiczna (→Bibliografia)
- 18:34, 9 lis 2015 (różn. | hist.) . . (+55) . . Logika Algorytmiczna (→Bibliografia)
- 18:33, 9 lis 2015 (różn. | hist.) . . (0) . . N Plik:A-Biela.pdf (ostatnia)
- 22:13, 6 lis 2015 (różn. | hist.) . . (+778) . . Rachunek programów
- 21:15, 5 lis 2015 (różn. | hist.) . . (+153) . . Winograda mnożenie macierzy (→Dowód lematu 1) (ostatnia)
- 20:22, 4 lis 2015 (różn. | hist.) . . (+176) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 17:19, 4 lis 2015 (różn. | hist.) . . (+73) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 17:11, 4 lis 2015 (różn. | hist.) . . (+52) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 17:09, 4 lis 2015 (różn. | hist.) . . (+116) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 17:04, 4 lis 2015 (różn. | hist.) . . (-1) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 17:01, 4 lis 2015 (różn. | hist.) . . (0) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 17:00, 4 lis 2015 (różn. | hist.) . . (-27) . . Winograda mnożenie macierzy (→Dowód poprawności)
- 16:50, 4 lis 2015 (różn. | hist.) . . (+13) . . Winograda mnożenie macierzy
- 15:31, 4 lis 2015 (różn. | hist.) . . (-31) . . Loglan'82 (→Proste programy)
- 15: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...")
- 15:24, 4 lis 2015 (różn. | hist.) . . (+32) . . Loglan'82 (→Proste programy)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
