Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)
- 16:39, 6 paź 2018 (różn. | hist.) . . (+1026) . . N Wyrażalność semantycznych własności programów (Utworzono nową stronę "==Własności semantyczne algorytmów== Prawie wszystkie semantyczne własności programów mogą być wyrażone przez odpowiednio napisane formuły języka rachunku pro...")
- 16:26, 6 paź 2018 (różn. | hist.) . . (+159) . . Logika Algorytmiczna (→Wprowadzenie)
- 10:04, 6 paź 2018 (różn. | hist.) . . (+10) . . Logika Algorytmiczna (→Wprowadzenie)
- 09:59, 6 paź 2018 (różn. | hist.) . . (-1) . . Logika Algorytmiczna (→Wprowadzenie)
- 09:58, 6 paź 2018 (różn. | hist.) . . (-12) . . Logika Algorytmiczna (→Wprowadzenie)
- 10:54, 4 paź 2018 (różn. | hist.) . . (+10) . . Logika Algorytmiczna (→Wprowadzenie)
- 21:04, 2 paź 2018 (różn. | hist.) . . (-31) . . Algorithmic theory of stacks (→Algorithmic theory of stacks) (ostatnia)
- 20:53, 2 paź 2018 (różn. | hist.) . . (-19) . . Algorithmic theory of stacks (→Algorithmic theory of stacks)
- 20:50, 2 paź 2018 (różn. | hist.) . . (+415) . . N Algorithmic theory of stacks (Utworzono nową stronę "==Algorithmic theory of stacks== This is a stub. Consult the paper ({{odn|ref=nie|MSS|2007}}){{cytuj pismo|odn=tak|nazwisko=Mirkowska|imię=Grażyna|nazwisko2=Salwicki|i...")
- 15:04, 2 paź 2018 (różn. | hist.) . . (0) . . SpecVer (→Bibliografia)
- 13:12, 2 paź 2018 (różn. | hist.) . . (-5) . . Algorithmic theory of rational numbers (ostatnia)
- 13:10, 2 paź 2018 (różn. | hist.) . . (+296) . . Algorithmic theory of rational numbers
- 13:02, 2 paź 2018 (różn. | hist.) . . (+13) . . Algorithmic theory of integers (ostatnia)
- 12:59, 2 paź 2018 (różn. | hist.) . . (+49) . . Algorithmic theory of integers
- 12:49, 2 paź 2018 (różn. | hist.) . . (+32) . . Algorithmic theory of natural numbers (ostatnia)
- 12:48, 2 paź 2018 (różn. | hist.) . . (-1) . . Algorithmic theory of natural numbers
- 12:46, 2 paź 2018 (różn. | hist.) . . (+143) . . Algorithmic theory of natural numbers
- 12:42, 2 paź 2018 (różn. | hist.) . . (+87) . . Algorithmic theory of integers
- 12:29, 2 paź 2018 (różn. | hist.) . . (+5) . . Algorithmic theory of integers
- 12:19, 2 paź 2018 (różn. | hist.) . . (+20) . . Algorithmic theory of integers
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)