Manual de matemáticas para preparación olímpica

En la obra del profesor Gastinel Análisis numérico lineal, se consigue un notable equilibrio entre el fundamento teórico de los métodos de Cálculo, y la práctica de tales métodos con auxilio de ordenadores a través de la programación en lenguajes Algol.

"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...

Precálculo, en su 7{487} ed., y publicado por primera vez por Reverté, sigue proveyendo tanto a estudiantes como profesores con explicaciones coherentemente estructuradas de los conceptos matemáticos. Diseñado para un curso de uno o dos semestres para estudiantes que tomarán posteriormente un curso de cálculo.

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.