Wkład użytkownika
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)
- 14:15, 15 lut 2013 (różn. | hist.) . . (+89) . . Algorytm Euklidesa
- 14:13, 15 lut 2013 (różn. | hist.) . . (+25) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 14:12, 15 lut 2013 (różn. | hist.) . . (+411) . . Analiza algorytmu Euklidesa (→Dowód własności stop algorytmu Euklidesa)
- 13:28, 15 lut 2013 (różn. | hist.) . . (+24) . . Analiza algorytmu Euklidesa
- 13:15, 15 lut 2013 (różn. | hist.) . . (+277) . . Analiza algorytmu Euklidesa
- 13:06, 15 lut 2013 (różn. | hist.) . . (+307) . . Analiza algorytmu Euklidesa
- 12:47, 15 lut 2013 (różn. | hist.) . . (+772) . . Analiza algorytmu Euklidesa
- 12: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>(\...”)
- 11:36, 15 lut 2013 (różn. | hist.) . . (+16) . . Wybrane przykłady
- 11:11, 15 lut 2013 (różn. | hist.) . . (+2) . . Algorytm Euklidesa
- 11:11, 15 lut 2013 (różn. | hist.) . . (+3) . . Algorytm Euklidesa
- 11: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...”)
- 10:53, 15 lut 2013 (różn. | hist.) . . (+72) . . Wybrane przykłady
- 10:03, 15 lut 2013 (różn. | hist.) . . (-41) . . SpecVer/IloczynSkalarny (→Dowód poprawności)
- 09:46, 15 lut 2013 (różn. | hist.) . . (+7) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 22:35, 14 lut 2013 (różn. | hist.) . . (-204) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 22:31, 14 lut 2013 (różn. | hist.) . . (+12) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 22:17, 14 lut 2013 (różn. | hist.) . . (+11) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
- 10:18, 14 lut 2013 (różn. | hist.) . . (+441) . . SpecVer/IloczynSkalarny (→Algorytm)
- 07:40, 14 lut 2013 (różn. | hist.) . . (+257) . . SpecVer/IloczynSkalarny (→Uwagi końcowe)
(od najświeższych | od najstarszych) Zobacz (20 nowszych | 20 starszych) (20 | 50 | 100 | 250 | 500)