Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 17:48, 8 sie 2017 (różn. | hist.) . . (-520) . . Algorithmic Logic (→Floyd-Hoare logic)
- 17:35, 8 sie 2017 (różn. | hist.) . . (-53) . . Algorithmic Logic (→Algorithmic theories)
- 17:30, 8 sie 2017 (różn. | hist.) . . (+105) . . N Algorithmic theory of rational numbers (Utworzono nową stronę "Axioms of ordered field and algorithmic formula saying for all n and m the Euclid's algorithm terminates.")
- 17:30, 8 sie 2017 (różn. | hist.) . . (+260) . . Algorithmic Logic (→Algorithmic theories)
- 17:24, 8 sie 2017 (różn. | hist.) . . (+1870) . . N Algorithmic theory of integers (Utworzono nową stronę "Liczby całkowite tworzą zbiór oznaczany '''integer''' (lub <math>Z</math>), razem z niepustym podzbiorem <math>N</math> (liczb całkowitych nieujemnych) i z dwoma ope...")
- 17:24, 8 sie 2017 (różn. | hist.) . . (-3441) . . Algorithmic Logic (→Algorithmic theories)
- 17:21, 8 sie 2017 (różn. | hist.) . . (+6) . . Algorithmic theory of natural numbers
- 17:20, 8 sie 2017 (różn. | hist.) . . (+1579) . . N Algorithmic theory of natural numbers (Utworzono nową stronę "The theory of one constant 0, one one-argument functor <math>s</math> and predicate of equality =.<br /> Axioms <br /> <math>\begin{align*} &\tag{I} \forall_n s(n) \neq...")
- 17:19, 8 sie 2017 (różn. | hist.) . . (+42) . . Algorithmic Logic (→Algorithmic theories)
- 17:17, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithmic theories)
- 17:15, 8 sie 2017 (różn. | hist.) . . (+2) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 17:14, 8 sie 2017 (różn. | hist.) . . (+822) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 17:10, 8 sie 2017 (różn. | hist.) . . (+418) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 17:03, 8 sie 2017 (różn. | hist.) . . (+9) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 13:36, 8 sie 2017 (różn. | hist.) . . (+143) . . Algorithmic Logic (→Algorithmic theory of integers)
- 13:31, 8 sie 2017 (różn. | hist.) . . (+3) . . Algorithmic Logic (→Algorithmic theory of integers)
- 13:29, 8 sie 2017 (różn. | hist.) . . (-1) . . Algorithmic Logic (→Algorithmic theory of integers)
- 13:24, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:Loglan.log (ostatnia)
- 13:23, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:Gen.log (ostatnia)
- 13:16, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:Int.log (ostatnia)
- 13:00, 8 sie 2017 (różn. | hist.) . . (+114) . . Algorithmic Logic (→Algorithmic theory of integers)
- 12:57, 8 sie 2017 (różn. | hist.) . . (0) . . Algorithmic Logic (→Algorithic theory of integers)
- 12:56, 8 sie 2017 (różn. | hist.) . . (-2) . . Algorithmic Logic (→Algorithic theory of integers)
- 12:55, 8 sie 2017 (różn. | hist.) . . (-9) . . Algorithmic Logic (→Algorithic theory of integers)
- 12:54, 8 sie 2017 (różn. | hist.) . . (-3) . . Algorithmic Logic (→Algorithic theory of integers)
- 12:53, 8 sie 2017 (różn. | hist.) . . (-35) . . Algorithmic Logic (→Algorithic theory of integers)
- 12:51, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithic theory of integers)
- 12:50, 8 sie 2017 (różn. | hist.) . . (-162) . . Algorithmic Logic (→Algorithic theory of integers)
- 12:41, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithic theory of integers)
- 12:39, 8 sie 2017 (różn. | hist.) . . (+52) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 12:34, 8 sie 2017 (różn. | hist.) . . (+1960) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 12:23, 8 sie 2017 (różn. | hist.) . . (+8) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 12:21, 8 sie 2017 (różn. | hist.) . . (+20) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 12:20, 8 sie 2017 (różn. | hist.) . . (+105) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 12:18, 8 sie 2017 (różn. | hist.) . . (+488) . . Algorithmic Logic (→History)
- 20:13, 7 sie 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“) (ostatnia)
- 09:19, 7 sie 2017 (różn. | hist.) . . (-97) . . Main page
- 09:15, 7 sie 2017 (różn. | hist.) . . (+23) . . Main page
- 09:13, 7 sie 2017 (różn. | hist.) . . (-1) . . Strona główna
- 09:15, 5 sie 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 09:03, 5 sie 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 08:07, 5 sie 2017 (różn. | hist.) . . (0) . . Plik:On-Euclids-algorithm-Black.pdf (AndrzejSalwicki przesłano nową wersję pliku „Plik:On-Euclids-algorithm-Black.pdf“)
- 12:55, 4 sie 2017 (różn. | hist.) . . (+19) . . Algorithmic Logic (→Introduction)
- 08:41, 4 sie 2017 (różn. | hist.) . . (+32) . . Algorithmic Logic (→Introduction)
- 08:35, 4 sie 2017 (różn. | hist.) . . (+35) . . Algorithmic Logic (→Introduction)
- 06:16, 3 sie 2017 (różn. | hist.) . . (+53) . . Algorithmic Logic (→Structure of AL)
- 06:11, 3 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Bibliography)
- 06:10, 3 sie 2017 (różn. | hist.) . . (-1) . . Algorithmic Logic (→Bibliography)
- 06:03, 3 sie 2017 (różn. | hist.) . . (+3397) . . Algorithmic Logic (→Bibliography)
- 05:57, 3 sie 2017 (różn. | hist.) . . (-24) . . Algorithmic Logic (→Introduction)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)