aplicaciones del algebra declarativa y la introduccion matematica

aplicaciones del algebra declarativa y la introduccion matematica

1.priemer semestre/tecnologico de alamo temapache

nombre del equipo: jorge gabriel acosta martinez/alexander marquez castan nombre de la maestra/o: karime vizcarra can

ÍNDICE

1. portada

8.conclucion

10. ANEXOS

2. indice

3. introduccion

5.desarrollo

introduccion 03

introduccion

Lo más importante en matemáticas y computación es conocer la veracidad de una aseveración. La palabra lógica viene del griego y significa, razón, tratado o ciencia. Y en computación es la ciencia que estudia la forma de razonar correctamente, la que nos indica la forma correcta de obtener conclusiones y los métodos conocidos para lograrlo.

Un argumento es un conjunto de premisas, condiciones dadas, junto con una conclusión. Y decimos que un argumento es válido si la conclusión es verdadera siempre que las premisas lo son. Uno de los principales propósitos de la lógica es por lo tanto encontrar la forma de poder saber si un argumento es válido o no. A esto le llamamos inferencia y está en la sección 1.7 Reglas de Inferencia. Antes de poder decidir un argumento es válido o no, debemos de empezar por estudiar sus componentes, los elementos más simples que componen un argumento se llaman elementos atómicos.

desarrollo 05

Aplicaciones del álgebra declarativa y la inducción matemática

La Lógica es importante para los estudiantes de computación primeramente porque proporciona una forma de saber si un desarrollo es correcto, tanto en matemáticas como en otras materias de ciencias; pero también es importante porque nos presenta el lenguaje de expresiones booleanas que utilizamos en los diferentes lenguajes de Programación, en Bases de Datos, y cualquier otra materia de computación que utilice conceptos lógicos.

En computación frecuentemente se usan estructuras que dependen solamente de dos valores, así por ejemplo tenemos el sistema numérico binario que se utiliza para representar los números utilizando solamente 0 y 1. El trabajar con sólo 2 opciones facilita la implementación de los conceptos y simplifica su manejo. A

aplicaciones de la inducción matemática

Algunas aplicaciones tienen un sabor muy matemático, tal como verificar que todo entero positivo satisface ceirta fórmula. Otra utilización frecuente es la de demostrar que un programa de computación o que un algoritmo con ciclos funciona como se espera.

Demostración por deducción

1. La deducción usa ideas para llegar a un resultado. Por ejemplo, si se tiene una idea y una idea , ambas se relacionan para llegar a una conclusión.
2. Las pruebas por deducción usan axiomas matemáticos y lógicos para probar si una conjetura es cierta o falsa.
3. Puedes expresar varios axiomas algebraicamente, usando álgebra y notación matemática.

conclucion 08

Gracias a esto podemos demostrar que algunas afirmaciones son ciertas para todos los números naturales (o para todos los naturales a partir de alguno). Consideremos la afirmación: Todo numero mayor o igual a 7 es suma de un múltiplo de 3 y un múltiplo de 4.

anexos 10

ANEXOS

Demuestra que los ángulos internos de un polígono de n lados suman 180(n-2) grados. Hint: inducción fuerte.

http://funes.uniandes.edu.co/9118/1/Induccion2002Sanchez.pdf

http://funes.uniandes.edu.co/9118/1/Induccion2002Sanchez.pdf