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