Matemática 3

Este texto es una sencilla conversación del autor con sus lectores. No es un trabajo de erudición ni de investigación. Muchos temas de la colección son originales; muchos otros no lo son. Incluso podemos decir más: no son pocos los que seguirán figurando en las colecciones que se publiquen en el futuro.

Este libro pretende ser una introducción al Análisis Numérico; disciplina que se ocupa del diseño y estudio de procedimientos de resolución aproximada de problemas matemáticos con la ayuda del ordenador. Está dirigido a estudiantes de grado en ciencias experimentales, en ingeniería o en alguna carrera técnica, donde las Matemáticas actuales no se pueden concebir sin la capa que otorga esta disciplina. El libro comulga con el modelo de enseñanza del EESS, y está diseñado para ser un texto base, presto a promover el trabajo autónomo del alumno y a paliar la reducción del número...

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 resolución de un problema real, aunque idealizado, de la física, la química y las ingenierías en general, se puede dividir en tres etapas: Formulación de un modelo matemático adecuado del problema real, resolución del problema matemático definido por el modelo y aplicación de la solución matemática a la solución del problema real. Consecuentemente, para que las matemáticas sean realmente útiles su enseñanza debe abarcar estas tres etapas. Éste ha sido el principio que ha guiado la elaboración del libro en el que las definiciones y los teoremas, rigurosamente enunciados,...