
La lógica de predicados orden constituye una extensión de la lógica.
Esta extensión explicita y sistematiza el proceso inferencial que se efectúa cuando se trabaja con funciones proposicionales y cuantificadores ...




Geodes - Automatización de la enseñanza de aspectos teóricos de la Geometría Descriptiva»Tutorial Matemáticas
Aprenda Mathlab 6.1 como si estuviera en primero»Tutorial Matemáticas
El tesoro que toda sucesión real encierra»Tutorial Matemáticas
Calculadoras gráficas y simbólicas»Tutorial Matemáticas
MATLAB Factory - El rincón de MATLAB»Tutorial Matemáticas
Teorema de Pitágoras»Tutorial Matemáticas