Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)
- 20:30, 8 sie 2017 (różn. | hist.) . . (+3653) . . Logic of Hoare (ostatnia)
- 20:29, 8 sie 2017 (różn. | hist.) . . (+23) . . Logika Algorytmiczna (→Inne logiki programów)
- 20:28, 8 sie 2017 (różn. | hist.) . . (-3625) . . Logika Algorytmiczna (→Inne logiki programów)
- 20:26, 8 sie 2017 (różn. | hist.) . . (+354) . . Logika Algorytmiczna
- 20:14, 8 sie 2017 (różn. | hist.) . . (+36) . . Calculus of Floyd (ostatnia)
- 20:12, 8 sie 2017 (różn. | hist.) . . (0) . . N Plik:AssigningMeanings1967.pdf (ostatnia)
- 19:09, 8 sie 2017 (różn. | hist.) . . (+260) . . N Calculus of Floyd (Utworzono nową stronę "In 1967 Robert Floyd published article Assigning meanings to programs. It was an important step toward definition of semantics. Programs considered by Floyd were finite...")
- 18:50, 8 sie 2017 (różn. | hist.) . . (+774) . . N Logic of Hoare (Utworzono nową stronę "Paper of R.W. Floyd brought some light on proving programs correct. Later C.A.R. Hoare proposed another formalization based on the ideas of Floyd. S. Cook addressed the...")
- 18:49, 8 sie 2017 (różn. | hist.) . . (+7) . . Algorithmic Logic (→Other logics of programs)
- 18:48, 8 sie 2017 (różn. | hist.) . . (-520) . . Algorithmic Logic (→Floyd-Hoare logic)
- 18:35, 8 sie 2017 (różn. | hist.) . . (-53) . . Algorithmic Logic (→Algorithmic theories)
- 18: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.")
- 18:30, 8 sie 2017 (różn. | hist.) . . (+260) . . Algorithmic Logic (→Algorithmic theories)
- 18: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...")
- 18:24, 8 sie 2017 (różn. | hist.) . . (-3441) . . Algorithmic Logic (→Algorithmic theories)
- 18:21, 8 sie 2017 (różn. | hist.) . . (+6) . . Algorithmic theory of natural numbers
- 18: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...")
- 18:19, 8 sie 2017 (różn. | hist.) . . (+42) . . Algorithmic Logic (→Algorithmic theories)
- 18:17, 8 sie 2017 (różn. | hist.) . . (+1) . . Algorithmic Logic (→Algorithmic theories)
- 18:15, 8 sie 2017 (różn. | hist.) . . (+2) . . Algorithmic Logic (→Algorithmic theory of natural numbers)
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)