Lógica

El libro aborda los tópicos clásicos del Cálculo Infinitesimal como: Sucesiones y Series Numéricas, Cálculo Diferencial e Integral de Funciones de una variable real, etc., pero no se queda aquí. Añadimos un tema de Cálculo Numérico, que pretende responder a la pregunta: "Sí, pero esto ¿cómo se hace?" y que nos enfrenta al trabajo de cálculo en las aplicaciones del mundo real, donde no existen estos preciosos objetos matemáticos llamados "funciones". En esta Sección se abordan, de manera somera, los tópicos de Resolución Aproximada de Ecuaciones, Interpolación y Derivación e ...

La teoría de grafos ha experimentado un gran auge en los últimos años, en gran parte como consecuencia de su representación gráfica, consistente en diagramas de puntos y líneas que los unen, que facilita la descripción de numerosas situaciones, tanto de la vida real como del ámbito científico, y un enfoque algorítmico de los problemas. Esta vertiente algorítmica proporciona métodos y mecanismos para la resolución de una amplia variedad de problemas presentes en numerosas áreas de conocimiento (tales como química, arquitectura genética, sociología, economía, etc.), no...

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.

El libro que aquí presentamos reconoce la importancia de las matemáticas en la vida diaria y permite apreciar su utilidad más allá de la disciplina misma. La extiende a las ciencias, el comercio, la tecnología o las artes, en fin, a todos los ámbitos de la vida en que los seres humanos nos desenvolvemos y necesitamos herramientas para deducir los caminos lógicos que nos llevarán hacia un buen resultado. Proporciones, porcentajes, estadísticas y probabilidades, son algunos de los temas que la autora trata de manera cercana y con numerosos ejemplos prácticos que tienen como columna...