Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 18:11, 16 gru 2015 (różn. | hist.) . . (+50) . . Fundamental research (→Problems)
- 13:38, 10 gru 2015 (różn. | hist.) . . (-61) . . m Fundamental research
- 10:08, 29 lis 2015 (różn. | hist.) . . (+48) . . Logika Algorytmiczna (→Wprowadzenie)
- 17:18, 27 lis 2015 (różn. | hist.) . . (+66) . . SpecVer/Winograd (→Uwagi końcowe) (ostatnia)
- 13:57, 26 lis 2015 (różn. | hist.) . . (+52) . . Loglan'82 (→→ Badania podstawowe)
- 12:58, 26 lis 2015 (różn. | hist.) . . (+2) . . SpecVer/IloczynSkalarny (→Dowód poprawności) (ostatnia)
- 12:55, 26 lis 2015 (różn. | hist.) . . (+84) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 12:04, 26 lis 2015 (różn. | hist.) . . (+6) . . SpecVer/IloczynSkalarny (→Algorytm)
- 12:02, 26 lis 2015 (różn. | hist.) . . (+102) . . SpecVer/IloczynSkalarny (→Algorytm)
- 11:40, 26 lis 2015 (różn. | hist.) . . (+13) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 11:39, 26 lis 2015 (różn. | hist.) . . (-24) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 11:38, 26 lis 2015 (różn. | hist.) . . (+203) . . SpecVer/IloczynSkalarny (→Narzędzia)
- 11:30, 26 lis 2015 (różn. | hist.) . . (+57) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 11:25, 26 lis 2015 (różn. | hist.) . . (+156) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 19:21, 25 lis 2015 (różn. | hist.) . . (0) . . N Plik:Swap.pdf (ostatnia)
- 19:12, 25 lis 2015 (różn. | hist.) . . (+42) . . Loglan'82 (→Dlaczego warto obejrzeć te strony?)
- 19:10, 25 lis 2015 (różn. | hist.) . . (+280) . . Loglan'82
- 19:02, 25 lis 2015 (różn. | hist.) . . (+63) . . Loglan'82
- 18:59, 25 lis 2015 (różn. | hist.) . . (+25) . . Loglan'82
- 06:00, 25 lis 2015 (różn. | hist.) . . (+217) . . Loglan'82
- 05:51, 25 lis 2015 (różn. | hist.) . . (+387) . . Logika Algorytmiczna (→Wprowadzenie)
- 17:31, 24 lis 2015 (różn. | hist.) . . (+1) . . Euklides (→Wprowadzenie)
- 17:30, 24 lis 2015 (różn. | hist.) . . (+1230) . . N Euklides (Utworzono nową stronę "Naszym celem jest analiza algorytmu Euklidesa i zbadanie jak mozna udowodnić jego poprawność. == Wprowadzenie == W wielu książkach możesz przeczytać dowód popraw...")
- 15:52, 24 lis 2015 (różn. | hist.) . . (-15) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 13:54, 24 lis 2015 (różn. | hist.) . . (+1) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 13:53, 24 lis 2015 (różn. | hist.) . . (+64) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 13:47, 24 lis 2015 (różn. | hist.) . . (-4) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 13:46, 24 lis 2015 (różn. | hist.) . . (-29) . . Logika Algorytmiczna (→Czy logika Hoare'a nie jest narzędziem lepszym od logiki algorytmicznej?)
- 12:41, 24 lis 2015 (różn. | hist.) . . (+2) . . Logika Algorytmiczna (→Wprowadzenie)
- 12:38, 24 lis 2015 (różn. | hist.) . . (+582) . . Logika Algorytmiczna (→Wprowadzenie)
- 12:31, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:Kalfa.jpg (ostatnia)
- 12:30, 24 lis 2015 (różn. | hist.) . . (+19) . . Logika Algorytmiczna
- 11:26, 24 lis 2015 (różn. | hist.) . . (+106) . . Logika Algorytmiczna
- 11:23, 24 lis 2015 (różn. | hist.) . . (+690) . . Logika Algorytmiczna
- 11:14, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:4lanlogics.jpg (ostatnia)
- 11:11, 24 lis 2015 (różn. | hist.) . . (+6) . . Logika Algorytmiczna
- 11:10, 24 lis 2015 (różn. | hist.) . . (0) . . Logika Algorytmiczna
- 11:09, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:4logics.jpg (ostatnia)
- 11:07, 24 lis 2015 (różn. | hist.) . . (-7) . . Logika Algorytmiczna
- 11:04, 24 lis 2015 (różn. | hist.) . . (+81) . . Logika Algorytmiczna
- 10:01, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:4lanlogics.pdf (ostatnia)
- 10:00, 24 lis 2015 (różn. | hist.) . . (0) . . N Plik:4logics.pdf (ostatnia)
- 21:00, 23 lis 2015 (różn. | hist.) . . (+64) . . Logika Algorytmiczna (→Bibliografia)
- 17:58, 23 lis 2015 (różn. | hist.) . . (+97) . . Strona główna
- 16:54, 23 lis 2015 (różn. | hist.) . . (0) . . N Plik:On certain-PAL-property.pdf (ostatnia)
- 16:47, 23 lis 2015 (różn. | hist.) . . (0) . . N Plik:On Formalized-Mirk.pdf (ostatnia)
- 16:41, 23 lis 2015 (różn. | hist.) . . (0) . . N Plik:Concatenation.pdf (ostatnia)
- 19:59, 21 lis 2015 (różn. | hist.) . . (+583) . . Logika Algorytmiczna (→Uwagi historyczne)
- 17:44, 21 lis 2015 (różn. | hist.) . . (+254) . . Loglan'82 (→Alien call)
- 17:38, 21 lis 2015 (różn. | hist.) . . (+983) . . Loglan'82 (→Moduły procesów i obiekty aktywne)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
