Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 16:35, 8 sie 2017 (różn. | hist.) . . (-53) . . Algorithmic Logic (→Algorithmic theories)
- 16: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.")
- 16:30, 8 sie 2017 (różn. | hist.) . . (+260) . . Algorithmic Logic (→Algorithmic theories)
- 16: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...")
- 16:24, 8 sie 2017 (różn. | hist.) . . (-3441) . . Algorithmic Logic (→Algorithmic theories)
- 16:21, 8 sie 2017 (różn. | hist.) . . (+6) . . Algorithmic theory of natural numbers
- 16: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...")
- 16:19, 8 sie 2017 (różn. | hist.) . . (+42) . . Algorithmic Logic (→Algorithmic theories)
- 16:17, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithmic theories)
- 16:15, 8 sie 2017 (różn. | hist.) . . (+2) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 16:14, 8 sie 2017 (różn. | hist.) . . (+822) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 16:10, 8 sie 2017 (różn. | hist.) . . (+418) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 16:03, 8 sie 2017 (różn. | hist.) . . (+9) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 12:36, 8 sie 2017 (różn. | hist.) . . (+143) . . Algorithmic Logic (→Algorithmic theory of integers)
- 12:31, 8 sie 2017 (różn. | hist.) . . (+3) . . Algorithmic Logic (→Algorithmic theory of integers)
- 12:29, 8 sie 2017 (różn. | hist.) . . (-1) . . Algorithmic Logic (→Algorithmic theory of integers)
- 12:24, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:Loglan.log (ostatnia)
- 12:23, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:Gen.log (ostatnia)
- 12:16, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:Int.log (ostatnia)
- 12:00, 8 sie 2017 (różn. | hist.) . . (+114) . . Algorithmic Logic (→Algorithmic theory of integers)
- 11:57, 8 sie 2017 (różn. | hist.) . . (0) . . Algorithmic Logic (→Algorithic theory of integers)
- 11:56, 8 sie 2017 (różn. | hist.) . . (-2) . . Algorithmic Logic (→Algorithic theory of integers)
- 11:55, 8 sie 2017 (różn. | hist.) . . (-9) . . Algorithmic Logic (→Algorithic theory of integers)
- 11:54, 8 sie 2017 (różn. | hist.) . . (-3) . . Algorithmic Logic (→Algorithic theory of integers)
- 11:53, 8 sie 2017 (różn. | hist.) . . (-35) . . Algorithmic Logic (→Algorithic theory of integers)
- 11:51, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithic theory of integers)
- 11:50, 8 sie 2017 (różn. | hist.) . . (-162) . . Algorithmic Logic (→Algorithic theory of integers)
- 11:41, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithic theory of integers)
- 11:39, 8 sie 2017 (różn. | hist.) . . (+52) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 11:34, 8 sie 2017 (różn. | hist.) . . (+1960) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 11:23, 8 sie 2017 (różn. | hist.) . . (+8) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 11:21, 8 sie 2017 (różn. | hist.) . . (+20) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 11:20, 8 sie 2017 (różn. | hist.) . . (+105) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
- 11:18, 8 sie 2017 (różn. | hist.) . . (+488) . . Algorithmic Logic (→History)
- 19: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)
- 08:19, 7 sie 2017 (różn. | hist.) . . (-97) . . Main page
- 08:15, 7 sie 2017 (różn. | hist.) . . (+23) . . Main page
- 08:13, 7 sie 2017 (różn. | hist.) . . (-1) . . Strona główna
- 08: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“)
- 08: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“)
- 07: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“)
- 11:55, 4 sie 2017 (różn. | hist.) . . (+19) . . Algorithmic Logic (→Introduction)
- 07:41, 4 sie 2017 (różn. | hist.) . . (+32) . . Algorithmic Logic (→Introduction)
- 07:35, 4 sie 2017 (różn. | hist.) . . (+35) . . Algorithmic Logic (→Introduction)
- 05:16, 3 sie 2017 (różn. | hist.) . . (+53) . . Algorithmic Logic (→Structure of AL)
- 05:11, 3 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Bibliography)
- 05:10, 3 sie 2017 (różn. | hist.) . . (-1) . . Algorithmic Logic (→Bibliography)
- 05:03, 3 sie 2017 (różn. | hist.) . . (+3397) . . Algorithmic Logic (→Bibliography)
- 04:57, 3 sie 2017 (różn. | hist.) . . (-24) . . Algorithmic Logic (→Introduction)
- 04:27, 3 sie 2017 (różn. | hist.) . . (0) . . Main page
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
