Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 20:33, 2 maj 2018 (różn. | hist.) . . (+5) . . Logika Algorytmiczna (→Bibliografia)
- 20:27, 2 maj 2018 (różn. | hist.) . . (0) . . N Plik:On-Euclids-algorithm-2018.pdf (ostatnia)
- 20:20, 2 maj 2018 (różn. | hist.) . . (-3) . . Logika Algorytmiczna (→Bibliografia)
- 20: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)
- 16: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“)
- 16: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“)
- 16: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“)
- 16: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:32, 2 maj 2018 (różn. | hist.) . . (-4) . . Logika Algorytmiczna (→Bibliografia)
- 12: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“)
- 14: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“)
- 14:22, 8 lut 2018 (różn. | hist.) . . (-3) . . Fundamental research (→Bibliography)
- 14:21, 8 lut 2018 (różn. | hist.) . . (0) . . Fundamental research (→Bibliography)
- 14:15, 8 lut 2018 (różn. | hist.) . . (-2) . . Fundamental research (→Bibliography)
- 14:14, 8 lut 2018 (różn. | hist.) . . (+103) . . Fundamental research (→Bibliography)
- 19:11, 7 lut 2018 (różn. | hist.) . . (+112) . . Fundamental research (→Bibliography)
- 19:04, 7 lut 2018 (różn. | hist.) . . (+156) . . Fundamental research (→Bibliography)
- 18:59, 7 lut 2018 (różn. | hist.) . . (0) . . N Plik:WarpechowskiTezaDokt.pdf (ostatnia)
- 11:00, 3 lut 2018 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Introduction)
- 12:09, 31 sty 2018 (różn. | hist.) . . (+725) . . Specyfikacja LEM (→Szkic specyfikacji projektu LEM) (ostatnia)
- 11:57, 31 sty 2018 (różn. | hist.) . . (+95) . . Specyfikacja LEM (→Szkic specyfikacji projektu LEM)
- 14:10, 28 sty 2018 (różn. | hist.) . . (-50) . . SpecVer (→Bibliografia)
- 14:06, 28 sty 2018 (różn. | hist.) . . (+114) . . LEM
- 11:09, 16 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“) (ostatnia)
- 12:46, 14 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 20:00, 11 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 09:17, 11 sty 2018 (różn. | hist.) . . (+331) . . LEM
- 19:46, 10 sty 2018 (różn. | hist.) . . (+462) . . LEM
- 19:39, 10 sty 2018 (różn. | hist.) . . (+3) . . LEM
- 19: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...")
- 16:34, 8 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 12:54, 8 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 20:13, 7 sty 2018 (różn. | hist.) . . (+51) . . SpecVer (→Konstruowanie i analiza oprogramowania z pomocą logiki algorytmicznej.)
- 09:05, 6 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 08:53, 6 sty 2018 (różn. | hist.) . . (+1) . . SpecVer (→Bibliografia)
- 08:47, 6 sty 2018 (różn. | hist.) . . (-8) . . SpecVer (→Bibliografia)
- 08:46, 6 sty 2018 (różn. | hist.) . . (0) . . Plik:LoglanMan.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:LoglanMan.pdf“)
- 08:45, 6 sty 2018 (różn. | hist.) . . (+252) . . SpecVer (→Bibliografia)
- 09:13, 2 sty 2018 (różn. | hist.) . . (+170) . . Historia projektu Loglan (→Początki) (ostatnia)
- 09:10, 2 sty 2018 (różn. | hist.) . . (+13) . . Historia projektu Loglan
- 16: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...")
- 16:23, 25 gru 2017 (różn. | hist.) . . (+506) . . Loglan'82 (→→ Badania podstawowe)
- 12:29, 30 lis 2017 (różn. | hist.) . . (0) . . Algorithmic theory of natural numbers
- 12:26, 30 lis 2017 (różn. | hist.) . . (+4) . . Algorithmic theory of natural numbers
- 12:23, 30 lis 2017 (różn. | hist.) . . (+409) . . Algorithmic theory of natural numbers
- 08:09, 29 lis 2017 (różn. | hist.) . . (+8) . . Main page
- 08:03, 29 lis 2017 (różn. | hist.) . . (+5) . . Algorytm Euklidesa (ostatnia)
- 09:58, 11 sie 2017 (różn. | hist.) . . (+9) . . Logika Algorytmiczna (→Bibliografia)
- 13:24, 9 sie 2017 (różn. | hist.) . . (0) . . N Plik:LoglanMan.pdf
- 20: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)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
