Arytmetyka Algorytmiczna: Różnice pomiędzy wersjami
Z Lem
(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 ...”) |
(Brak różnic)
|
Wersja z 16:24, 20 lut 2013
Aksjomaty
Niektóre fakty
Operacje dodawania i mnożenia są definiowane
Algorytm Euklidesa
- Jego własność stop nie wynika z aksjomatów Peano
- Natomiast daje się wyprowadzić z aksjomatów algorytmicznej arytmetyki.
