Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 17:47, 23 lis 2015 (różn. | hist.) . . (0) . . N Plik:On Formalized-Mirk.pdf (ostatnia)
- 17:41, 23 lis 2015 (różn. | hist.) . . (0) . . N Plik:Concatenation.pdf (ostatnia)
- 20:59, 21 lis 2015 (różn. | hist.) . . (+583) . . Logika Algorytmiczna (→Uwagi historyczne)
- 18:44, 21 lis 2015 (różn. | hist.) . . (+254) . . Loglan'82 (→Alien call)
- 18:38, 21 lis 2015 (różn. | hist.) . . (+983) . . Loglan'82 (→Moduły procesów i obiekty aktywne)
- 18:22, 21 lis 2015 (różn. | hist.) . . (+1279) . . Loglan'82 (→Moduły procesów i obiekty aktywne)
- 23:53, 20 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.)
- 19:38, 20 lis 2015 (różn. | hist.) . . (+58) . . SpecVer (→Bibliografia)
- 19:36, 20 lis 2015 (różn. | hist.) . . (0) . . Plik:ProvingSimulation.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:ProvingSimulation.pdf“) (ostatnia)
- 19:23, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:ProvingSimulation.pdf
- 17:29, 20 lis 2015 (różn. | hist.) . . (+2) . . SpecVer (→Bibliografia)
- 17:28, 20 lis 2015 (różn. | hist.) . . (+189) . . SpecVer (→Bibliografia)
- 17:25, 20 lis 2015 (różn. | hist.) . . (-217) . . SpecVer (→Bibliografia)
- 16:58, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja10.pdf (ostatnia)
- 16:58, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja9.pdf (ostatnia)
- 16:57, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja8.pdf (ostatnia)
- 16:57, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja7.pdf (ostatnia)
- 16:56, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja6.pdf (ostatnia)
- 16:56, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja5.pdf (ostatnia)
- 16:55, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja4.pdf (ostatnia)
- 16:55, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja3.pdf (ostatnia)
- 16:54, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja2.pdf (ostatnia)
- 16:53, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:SimClassWersja1.pdf (ostatnia)
- 16:43, 20 lis 2015 (różn. | hist.) . . (+360) . . SpecVer (→Bibliografia)
- 16:42, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:AL+SpecVer.pdf (ostatnia)
- 16:22, 20 lis 2015 (różn. | hist.) . . (+2) . . SpecVer (→Bibliografia)
- 16:21, 20 lis 2015 (różn. | hist.) . . (+317) . . SpecVer (→Bibliografia)
- 16:09, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:Experimenting Proving.pdf (ostatnia)
- 12: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)
- 11:58, 20 lis 2015 (różn. | hist.) . . (+22) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
- 11:32, 20 lis 2015 (różn. | hist.) . . (0) . . Plik:ProgramdDeallocatn-II.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:ProgramdDeallocatn-II.pdf“) (ostatnia)
- 11:08, 20 lis 2015 (różn. | hist.) . . (-4) . . Fundamental research (→Is it possible to deallocate objects in a safe and efficient way?)
- 09:43, 20 lis 2015 (różn. | hist.) . . (0) . . N Plik:ProgramdDeallocatn-II.pdf
- 18:08, 19 lis 2015 (różn. | hist.) . . (+2) . . Axioms of algorithmic logic (→Axioms of algorithmic logic) (ostatnia)
- 18:06, 19 lis 2015 (różn. | hist.) . . (+6) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 18:04, 19 lis 2015 (różn. | hist.) . . (-2) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 18:04, 19 lis 2015 (różn. | hist.) . . (-27) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 18:03, 19 lis 2015 (różn. | hist.) . . (+2) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 18:02, 19 lis 2015 (różn. | hist.) . . (+15) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 17:58, 19 lis 2015 (różn. | hist.) . . (+28) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 17:51, 19 lis 2015 (różn. | hist.) . . (+308) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 17:44, 19 lis 2015 (różn. | hist.) . . (+164) . . Axioms of algorithmic logic (→Axioms of algorithmic logic)
- 17:42, 19 lis 2015 (różn. | hist.) . . (+1) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 17:41, 19 lis 2015 (różn. | hist.) . . (-23) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 17:40, 19 lis 2015 (różn. | hist.) . . (+4) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 17:39, 19 lis 2015 (różn. | hist.) . . (+21) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 17:35, 19 lis 2015 (różn. | hist.) . . (+110) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 17:31, 19 lis 2015 (różn. | hist.) . . (+6) . . Axioms of algorithmic logic (→Axioms of predicate calculus)
- 17:28, 19 lis 2015 (różn. | hist.) . . (+1) . . Axioms of algorithmic logic (→Axioms of propositional logic)
- 17:28, 19 lis 2015 (różn. | hist.) . . (-5) . . Axioms of algorithmic logic (→Axioms of propositional logic)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
