Lógica
Diagrama de temas
-
Se presentan las ideas básicas sobre cómo definir conjuntos inductivos y cómo explotar la estructura inductiva para realizar demostraciones de propiedades y definiciones de funciones.
-
Este documento presenta una introducción al curso de Lógica.
-
Este documento presenta las ideas básicas de Conjuntos Inductivos y cómo aprovechar la estructura inductiva de los elementos de esos conjuntos para probar propiedades sobre los mismos.
-
Este documento presenta las ideas básicas sobre cómo definir funciones sobre conjuntos definidos inductivamente explotando la estructura inductiva de sus elementos.
-
Duración: 2 semanas
-
En el ejercicio 22 al final del mismo se muestra un árbol como la representación del natural 2 en el lenguaje N1 que es incorrecta.
La última diapositiva del video debería ser esta.