Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 16:24, 20 lut 2013 (różn. | hist.) . . (+228) . . N Arytmetyka Algorytmiczna (Utworzył nową stronę „ Aksjomaty Niektóre fakty Operacje dodawania i mnożenia są definiowane Algorytm Euklidesa * Jego własność stop nie wynika z aksjomatów Peano * Natomiast ...”)
- 16:20, 20 lut 2013 (różn. | hist.) . . (+397) . . SpecVer (→Algorytmiczna teoria liczb naturalnych)
- 16:05, 20 lut 2013 (różn. | hist.) . . (+744) . . SpecVer
- 15:33, 20 lut 2013 (różn. | hist.) . . (+226) . . Niestandardowy model liczb naturalnych
- 15:17, 20 lut 2013 (różn. | hist.) . . (+50) . . Niestandardowy model liczb naturalnych
- 15:08, 20 lut 2013 (różn. | hist.) . . (+18) . . Niestandardowy model liczb naturalnych
- 14:08, 20 lut 2013 (różn. | hist.) . . (+15) . . Niestandardowy model liczb naturalnych
- 13:41, 20 lut 2013 (różn. | hist.) . . (+14) . . Niestandardowy model liczb naturalnych
- 13:39, 20 lut 2013 (różn. | hist.) . . (+1) . . Niestandardowy model liczb naturalnych
- 13:28, 20 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:26, 20 lut 2013 (różn. | hist.) . . (+1) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:25, 20 lut 2013 (różn. | hist.) . . (+19) . . Analiza algorytmu Euklidesa
- 13:21, 20 lut 2013 (różn. | hist.) . . (+44) . . Analiza algorytmu Euklidesa
- 12:57, 20 lut 2013 (różn. | hist.) . . (+243) . . Niestandardowy model liczb naturalnych
- 12:44, 20 lut 2013 (różn. | hist.) . . (+265) . . Niestandardowy model liczb naturalnych
- 12:39, 20 lut 2013 (różn. | hist.) . . (+31) . . Niestandardowy model liczb naturalnych
- 12:36, 20 lut 2013 (różn. | hist.) . . (+10) . . Niestandardowy model liczb naturalnych
- 12:28, 20 lut 2013 (różn. | hist.) . . (+2296) . . N Niestandardowy model liczb naturalnych (Utworzył nową stronę „Klasa NSN przytoczona poniżej spełnia aksjomaty liczbnaturalnych z operacją dodawania, ale wykonywanie algorytmu Euklidesa w środowisku zdefiniowanym przez tę k...”)
- 12:21, 20 lut 2013 (różn. | hist.) . . (+43) . . Analiza algorytmu Euklidesa
- 21:20, 18 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:30, 18 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:25, 18 lut 2013 (różn. | hist.) . . (+297) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:19, 18 lut 2013 (różn. | hist.) . . (+62) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 22:58, 17 lut 2013 (różn. | hist.) . . (+104) . . Analiza algorytmu Euklidesa
- 17:17, 17 lut 2013 (różn. | hist.) . . (+18) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 14:48, 17 lut 2013 (różn. | hist.) . . (+154) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 14:16, 17 lut 2013 (różn. | hist.) . . (-7) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 14:07, 17 lut 2013 (różn. | hist.) . . (+829) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:46, 17 lut 2013 (różn. | hist.) . . (+617) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 23:40, 16 lut 2013 (różn. | hist.) . . (-85) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 23:35, 16 lut 2013 (różn. | hist.) . . (+9) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 23:34, 16 lut 2013 (różn. | hist.) . . (+623) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 21:41, 16 lut 2013 (różn. | hist.) . . (+22) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 21:31, 16 lut 2013 (różn. | hist.) . . (-9) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 21:13, 16 lut 2013 (różn. | hist.) . . (-18) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 18:50, 16 lut 2013 (różn. | hist.) . . (+1582) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 18:04, 16 lut 2013 (różn. | hist.) . . (+868) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:35, 16 lut 2013 (różn. | hist.) . . (-23) . . Algorytm Euklidesa
- 12:16, 16 lut 2013 (różn. | hist.) . . (+145) . . Algorytm Euklidesa
- 11:54, 16 lut 2013 (różn. | hist.) . . (+104) . . Analiza algorytmu Euklidesa
- 23:56, 15 lut 2013 (różn. | hist.) . . (+206) . . Analiza algorytmu Euklidesa
- 16:32, 15 lut 2013 (różn. | hist.) . . (+11) . . Algorytm Euklidesa
- 15:40, 15 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:36, 15 lut 2013 (różn. | hist.) . . (+12) . . Algorytm Euklidesa
- 15:33, 15 lut 2013 (różn. | hist.) . . (+71) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:31, 15 lut 2013 (różn. | hist.) . . (+1) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:17, 15 lut 2013 (różn. | hist.) . . (+14) . . Algorytm Euklidesa
- 15:09, 15 lut 2013 (różn. | hist.) . . (+84) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 15:06, 15 lut 2013 (różn. | hist.) . . (+320) . . Algorytm Euklidesa
- 14:23, 15 lut 2013 (różn. | hist.) . . (+298) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)