Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 19:27, 2 maj 2018 (różn. | hist.) . . (0) . . N Plik:On-Euclids-algorithm-2018.pdf (ostatnia)
- 19:20, 2 maj 2018 (różn. | hist.) . . (-3) . . Logika Algorytmiczna (→Bibliografia)
- 19:15, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“) (ostatnia)
- 15:22, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 15:15, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 15:12, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 15:10, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 12:32, 2 maj 2018 (różn. | hist.) . . (-4) . . Logika Algorytmiczna (→Bibliografia)
- 11:10, 2 maj 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 13:01, 14 mar 2018 (różn. | hist.) . . (0) . . Plik:FI-On-Euclids-algorithm.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:FI-On-Euclids-algorithm.pdf“)
- 13:22, 8 lut 2018 (różn. | hist.) . . (-3) . . Fundamental research (→Bibliography)
- 13:21, 8 lut 2018 (różn. | hist.) . . (0) . . Fundamental research (→Bibliography)
- 13:15, 8 lut 2018 (różn. | hist.) . . (-2) . . Fundamental research (→Bibliography)
- 13:14, 8 lut 2018 (różn. | hist.) . . (+103) . . Fundamental research (→Bibliography)
- 18:11, 7 lut 2018 (różn. | hist.) . . (+112) . . Fundamental research (→Bibliography)
- 18:04, 7 lut 2018 (różn. | hist.) . . (+156) . . Fundamental research (→Bibliography)
- 17:59, 7 lut 2018 (różn. | hist.) . . (0) . . N Plik:WarpechowskiTezaDokt.pdf (ostatnia)
- 10:00, 3 lut 2018 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Introduction) (ostatnia)
- 11:09, 31 sty 2018 (różn. | hist.) . . (+725) . . Specyfikacja LEM (→Szkic specyfikacji projektu LEM) (ostatnia)
- 10:57, 31 sty 2018 (różn. | hist.) . . (+95) . . Specyfikacja LEM (→Szkic specyfikacji projektu LEM)
- 13:10, 28 sty 2018 (różn. | hist.) . . (-50) . . SpecVer (→Bibliografia)
- 13:06, 28 sty 2018 (różn. | hist.) . . (+114) . . LEM
- 10:09, 16 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“) (ostatnia)
- 11:46, 14 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 19:00, 11 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 08:17, 11 sty 2018 (różn. | hist.) . . (+331) . . LEM
- 18:46, 10 sty 2018 (różn. | hist.) . . (+462) . . LEM
- 18:39, 10 sty 2018 (różn. | hist.) . . (+3) . . LEM
- 18:31, 10 sty 2018 (różn. | hist.) . . (+870) . . N LEM (Utworzono nową stronę " Lem - robocza nazwa języka programowania, następcy Loglanu. * Nowy język nie musi być bardzo różny od Loglanu. Nie widać powodów, które by uzasadniały rewolu...")
- 15:34, 8 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 11:54, 8 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 19:13, 7 sty 2018 (różn. | hist.) . . (+51) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
- 08:05, 6 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 07:53, 6 sty 2018 (różn. | hist.) . . (+1) . . SpecVer (→Bibliografia)
- 07:47, 6 sty 2018 (różn. | hist.) . . (-8) . . SpecVer (→Bibliografia)
- 07:46, 6 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 07:45, 6 sty 2018 (różn. | hist.) . . (+252) . . SpecVer (→Bibliografia)
- 08:13, 2 sty 2018 (różn. | hist.) . . (+170) . . Historia projektu Loglan (→Początki) (ostatnia)
- 08:10, 2 sty 2018 (różn. | hist.) . . (+13) . . Historia projektu Loglan
- 15:53, 25 gru 2017 (różn. | hist.) . . (+1005) . . N Historia projektu Loglan (Utworzono nową stronę "== Początki== W roku 1977 w Instytucie Maszyn Matematycznych "MERA" pozpoczęliśmy prace nad Zespół: Andrzej Salwicki, Tomasz Mueldner, Wiesława M. Bartol, Hanna O...")
- 15:23, 25 gru 2017 (różn. | hist.) . . (+506) . . Loglan'82 (→→ Badania podstawowe)
- 11:29, 30 lis 2017 (różn. | hist.) . . (0) . . Algorithmic theory of natural numbers
- 11:26, 30 lis 2017 (różn. | hist.) . . (+4) . . Algorithmic theory of natural numbers
- 11:23, 30 lis 2017 (różn. | hist.) . . (+409) . . Algorithmic theory of natural numbers
- 07:09, 29 lis 2017 (różn. | hist.) . . (+8) . . Main page
- 07:03, 29 lis 2017 (różn. | hist.) . . (+5) . . Algorytm Euklidesa (ostatnia)
- 08:58, 11 sie 2017 (różn. | hist.) . . (+9) . . Logika Algorytmiczna (→Bibliografia)
- 12:24, 9 sie 2017 (różn. | hist.) . . (0) . . N Plik:LoglanMan.pdf
- 19:32, 8 sie 2017 (różn. | hist.) . . (+3162) . . N Dynamic logic (Utworzono nową stronę "=== ''Co z logiką dynamiczną? Słyszałem, że teraz nie logika algorytmiczna lecz logika dynamiczna się liczy''.=== :1. Autorzy książki Dynamic Logic uważają, ż...") (ostatnia)
- 19:32, 8 sie 2017 (różn. | hist.) . . (-3164) . . Logika Algorytmiczna (→Inne logiki programów)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
