Sistemas Formales e Inducción

1. Sistemas Formales - Descargar
2. Conjuntos Inductivos - Descargar
3. Prueba de Propiedades por Inducción Primitiva - Descargar

::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

            Práctico 1 - Descargar

            SOLUCIÓN - Descargar

::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

1. Funciones Recursivas Primitivas - Descargar
2. Recursión no Primitiva - Descargar

:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

            Práctico 2 - Descargar

            SOLUCION - Descargar

            Práctico 2B - Descargar

:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

1. Lógica Proposicional - Sintáxis - Descargar
2. Lógica Proposicional - Semántica - Descargar

:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::

            Práctico 3 - Descargar

            SOLUCION - Descargar

            Práctico 4 - Descargar

            SOLUCION - Descargar