Usuario:Mmonterovd/Taller
Este es el cuaderno de Bitácoras del usuario Mmonterovd, en el publicaré todas las contribuciones que vaya haciendo a lo largo del tiempo y algunos datos personales.
Mmonterovd
Datos básicos:
[editar]- Nombre: Miguel Angel Montero Solis.
- Edad: 19 años.
- Localidad: Malpartida de Cáceres, Cáceres.
- Estudios: Actualmente estudiando un Grado en Ingeniería Informática del Sofware.
Contribuyente en la Wikipedia en español:
[editar]- Mi página de usuario de Wikipedia: Página de usuario de Mmonterovd (Wikipedia)
- Mis contribuciones a Wikipedia: Contribuciones de Mmonterovd (Wikipedia)
Parte pública, libre y abierta:
Contribuyente en la Wikipedia en español:
[editar]- Mi página de usuario de Wikipedia: Página de usuario de Mmonterovd (Wikipedia)
- Mis contribuciones a Wikipedia: Contribuciones de Mmonterovd (Wikipedia)
Contribuciones mayores en la Wikipedia en español:
[editar](Se iran añadiendo las URL según se vayan realizando)
- Tratare los temas de:
- Conjuntos.
- Algoritmos.
- Probabilidad Discreta.
- Árboles.
- Contribuciones hechas:
- Matrices: Matrices cuadradas y sus definiciones básicas (Sin terminar aún)
- Conjuntos: Operaciones con conjuntos
Otras contribuciones en la Wikipedia en español:
[editar]Próximamente.
Resumen global de toda la contribución realizada y justificación de su relación con los cuatro temas de cabecera considerados:
[editar]Próximamente.
Pruebas (Ignorar)
[editar]La propiedad del buen orden
[editar]La validez de la inducción matemática está basada en el axioma fundamental sobre el conjunto de todos los enteros.
Todo conjunto de enteros no negativos tiene un elemento mínimo.
A menudo se utiliza esta propiedad directamente en las demostraciones.
Ejemplo
[editar]Usa la propiedad del buen orden para demostrar el algoritmo de la división, recuerda que el algoritmo de la división dice que si a es un número entero y d es un entero positivo, entonces hay dos únicos enteros c y r tales que 0rd y a=dc+r.
Solución: Sea S el conjunto de los enteros no negativos de la forma a-dc, donde c es un entero. Este conjunto no es vacío, porque como vemos -dc se puede agrandar tanto como queramos, eso si, tomando c como un número entero que no sea negativo con un valor absoluto que sea grande, por la propiedad del buen orden, S tiene mínimo un elemento r=a-dc0.
El entero r no puede ser negativo, también imaginamos que rd, de no ser así, habría un número que no sería negativo menor en S. Por lo tanto, existen los enteros c y r', 0rd.