Elementos de la Lógica

En este libro se encontrarán una serie de funciones que se han construido o que vienen incorporadas en el programa DERIVE para la solución de gran cantidad de problemas. La selección de los ejercicios obedece a un cuidadoso proceso de filtración, poniéndolos a prueba en cursos que con este fin hemos dictado. Se tratan temas de áreas tan disímiles como: la aritmética, el álgebra, el cálculo diferencial e integral, el cálculo vectorial, los métodos numéricos, las ecuaciones diferenciales ordinarias de primero y segundo orden, el álgebra lineal y la teoría de matrices, las...

"Neutrosophic Computing and Machine Learning" (NCML) has been created for publications of advanced studies in neutrosophy, neutrosophic set, neutrosophic logic, neutrosophic probability, neutrosophic statistics, neutrosophic approaches to machine learning etc. and their applications in any field. "Neutrosophic Computing and Machine Learning" (NCML) ha sido creada para publicaciones de estudios avanzados en neutrosofía, conjunto neutrosófico, lógica neutrosófica, probabilidad neutrosófica, estadística neutrosófica, enfoques neutrosó-ficos para el aprendizaje automático, etc. y sus...

CONTENIDO: El problema de la consistencia - Pruebas absolutas de consistencia - La codificación sistemática de la lógica formal - Un ejemplo de una prueba absoluta de consistencia - La idea de representación y su empleo en las matemáticas - Las pruebas de Gödel.

La tercera edición del libro Calculus de M. Spivak (correspondiente a la traducción de la cuarta edición original) viene a actualizar uno de los libros de cálculo más prestigiosos e influyentes publicados durante las últimas décadas. En esta edición, el autor mantiene intacto el principal objetivo del libro, que no es otro que presentar el cálculo como la evolución de una idea que ayude a desarrollar la intuición del estudiante para la comprensión de los conceptos del análisis y convencerle de que la precisión y el rigor representan la manera natural de formular y pensar sobre...