Ensayo Logica Computacional
Enviado por yosstincode • 30 de Septiembre de 2022 • Ensayos • 367 Palabras (2 Páginas) • 40 Visitas
Ensayo computación lógica
El libro trata sobre como probar teoremas mediante inducción en lugar de resultados específicos, Ilustran técnicas para descubrir teoremas, formalizaron una versión de cálculo proposicional y demuestran formalmente la corrección de un procedimiento de decisión para esa versión de cálculo proposicional
buscar la practicidad en el razonamiento, mecánica y certeza matemática sobre programas de computadora, mejorando la confiabilidad, reducir costo de producción y mantenimiento de programas es la motivación que lleva y desde mi punto de vista siendo puntos muy importantes a la hora de crear programas de computadora
no encontraron la perfección en sus técnicas, pero ante la no ambigüedad de ellas y sus éxitos en un gran numero de teoremas al mi parece y siguiendo con las razones de los autores las hace bastantes practicas
La teoría formal creada por ellos habla de funciones recursivas dando ejemplos de programas informativos subyacentes, habla de nuevos tipos de objetos basados en la inducción noetheriana.
Los autores hablan sobre pruebas técnicas y el cómo, cuándo y dónde se aplican las pruebas para demostrar teoremas, al parecer para ellos lo más importante es el uso de la inducción, a mi parecer estas pruebas están basadas mas en un contexto matemático que computacional a diferencia de lo que podrían se las famosas pruebas unitarias.
La formulación de un argumento de inducción para una conjetura se basa en un análisis de las definiciones recursivas de los conceptos involucrados en la conjetura, entonces las funciones recursivas facilitan la demostración
Me parece importante recalcar que el autor habla sobre estos métodos mas como inteligencia artificial que inteligencia lógica, aunque se base en gran medida en la lógica matemáticas, también, la demostración de teoremas es complicada por que son indecidibles o super-super-exponenciales lo que hace complicada su comprobación, pero me encanta como los autores definen esta complejidad como algo que solo hace que la demostración mecánica de teoremas sea una tarea cada vez mas interesante.
El capítulo 1 termina con la estructura del libro y una breve explicación de cada uno de sus capítulos empezando por el segundo la verdad no se si útil o no habiendo un índice pero creo que el enfoque es mas como a un pequeño vistazo, por tanto, no me parece del todo innecesario.
...