LOGICA MATEMATICA SUPERIOR EN TEXTO PDF

Share Button

LOGICA Y TEORIA DE CONJUNTOS ,Lógica de primer orden , Introducción a la lógica matemática, Lenguajes formales de primer orden , Introducción a los lenguajes formales,Definición de lenguaje formal , Expresiones, términos y fórmulas, Variables libres y ligadas,Sustitución de variables, Consideraciones finales , Sistemas deductivos formales, El cálculo deductivo de primer orden, Reglas derivadas de […]
Continúa leyendo…