Se trabajó con el Sistema MIU de Hofstadter (del libro Gödel, Escher, Bach) como ejemplo de sistema formal. Retomamos además el concepto de definición inductiva y vimos que las fórmulas y teoremas de un sistema formal pueden ser definidas inductivamente.
Finalmente se vió cómo realizar pruebas por inducción completa, cuya utilidad consiste básicamente en que nos permite probar propiedades de conjuntos definidos inductivamente; en el caso de MIU, que todo teorema comienza con M.
Les dejo un peuqeño material en el que defino unas funciones recursivas para MIU junto con algunas preguntas para que piensen.
La próxima no concentramos en estudiar estas funciones y en las demostraciones por inducción. Hacia el final, presentaremos el lenguaje proposicional. Les dejo además, un material del Prof. Alejandro Chemiel, donde explica los concepto que hemos estado trabajando. Se trata de unas notas para el curso de Lógica de Facultad de Humanidadaes y Ciencias de la Educación.
Material sobre MIU
http://www.megaupload.com/?d=2ADEU69X
Material sobre definición inductiva de conjuntos:
http://www.megaupload.com/?d=G8NEEUQQ
No hay comentarios:
Publicar un comentario