Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
- 10:44, 20 lut 2013 (różn. | hist.) . . (+265) . . Niestandardowy model liczb naturalnych
- 10:39, 20 lut 2013 (różn. | hist.) . . (+31) . . Niestandardowy model liczb naturalnych
- 10:36, 20 lut 2013 (różn. | hist.) . . (+10) . . Niestandardowy model liczb naturalnych
- 10: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...”)
- 10:21, 20 lut 2013 (różn. | hist.) . . (+43) . . Analiza algorytmu Euklidesa
- 19:20, 18 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 14:30, 18 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 14:25, 18 lut 2013 (różn. | hist.) . . (+297) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 14:19, 18 lut 2013 (różn. | hist.) . . (+62) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 20:58, 17 lut 2013 (różn. | hist.) . . (+104) . . Analiza algorytmu Euklidesa
- 15:17, 17 lut 2013 (różn. | hist.) . . (+18) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 12:48, 17 lut 2013 (różn. | hist.) . . (+154) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 12:16, 17 lut 2013 (różn. | hist.) . . (-7) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 12:07, 17 lut 2013 (różn. | hist.) . . (+829) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 11:46, 17 lut 2013 (różn. | hist.) . . (+617) . . Analiza algorytmu Euklidesa (→Dowód poprawności algorytmu Euklidesa)
- 21:40, 16 lut 2013 (różn. | hist.) . . (-85) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 21:35, 16 lut 2013 (różn. | hist.) . . (+9) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 21:34, 16 lut 2013 (różn. | hist.) . . (+623) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 19:41, 16 lut 2013 (różn. | hist.) . . (+22) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 19:31, 16 lut 2013 (różn. | hist.) . . (-9) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 19:13, 16 lut 2013 (różn. | hist.) . . (-18) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:50, 16 lut 2013 (różn. | hist.) . . (+1582) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 16:04, 16 lut 2013 (różn. | hist.) . . (+868) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 14:35, 16 lut 2013 (różn. | hist.) . . (-23) . . Algorytm Euklidesa
- 10:16, 16 lut 2013 (różn. | hist.) . . (+145) . . Algorytm Euklidesa
- 09:54, 16 lut 2013 (różn. | hist.) . . (+104) . . Analiza algorytmu Euklidesa
- 21:56, 15 lut 2013 (różn. | hist.) . . (+206) . . Analiza algorytmu Euklidesa
- 14:32, 15 lut 2013 (różn. | hist.) . . (+11) . . Algorytm Euklidesa
- 13:40, 15 lut 2013 (różn. | hist.) . . (0) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:36, 15 lut 2013 (różn. | hist.) . . (+12) . . Algorytm Euklidesa
- 13:33, 15 lut 2013 (różn. | hist.) . . (+71) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:31, 15 lut 2013 (różn. | hist.) . . (+1) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:17, 15 lut 2013 (różn. | hist.) . . (+14) . . Algorytm Euklidesa
- 13:09, 15 lut 2013 (różn. | hist.) . . (+84) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:06, 15 lut 2013 (różn. | hist.) . . (+320) . . Algorytm Euklidesa
- 12:23, 15 lut 2013 (różn. | hist.) . . (+298) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 12:15, 15 lut 2013 (różn. | hist.) . . (+89) . . Algorytm Euklidesa
- 12:13, 15 lut 2013 (różn. | hist.) . . (+25) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 12:12, 15 lut 2013 (różn. | hist.) . . (+411) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 11:28, 15 lut 2013 (różn. | hist.) . . (+24) . . Analiza algorytmu Euklidesa
- 11:15, 15 lut 2013 (różn. | hist.) . . (+277) . . Analiza algorytmu Euklidesa
- 11:06, 15 lut 2013 (różn. | hist.) . . (+307) . . Analiza algorytmu Euklidesa
- 10:47, 15 lut 2013 (różn. | hist.) . . (+772) . . Analiza algorytmu Euklidesa
- 10:01, 15 lut 2013 (różn. | hist.) . . (+580) . . N Analiza algorytmu Euklidesa (Utworzył nową stronę „ Należy udowodnić że algorytm zawsze kończy obliczenia. Algorytmiczne aksjomaty liczb naturalnych: :(n1) <math>(\forall n) (n+1 \neq 0 ) </math> :(n2) <math>(\...”)
- 09:36, 15 lut 2013 (różn. | hist.) . . (+16) . . Wybrane przykłady
- 09:11, 15 lut 2013 (różn. | hist.) . . (+2) . . Algorytm Euklidesa
- 09:11, 15 lut 2013 (różn. | hist.) . . (+3) . . Algorytm Euklidesa
- 09:08, 15 lut 2013 (różn. | hist.) . . (+450) . . N Algorytm Euklidesa (Utworzył nową stronę „(* Algorytm Euklidesa inaczej *) (* Dane: n>0 i m>0 liczby naturalne *) (* Wynik: nwd(n,m) *) '''while''' n ≠ m '''do''' :r:=0; :'''while''' r ≠n '''and''' r...”)
- 08:53, 15 lut 2013 (różn. | hist.) . . (+72) . . Wybrane przykłady
- 08:03, 15 lut 2013 (różn. | hist.) . . (-41) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
(od najświeższych | od najstarszych) Zobacz (50 nowszych | 50 starszych) (20 | 50 | 100 | 250 | 500)
