El pensamiento lógico-matemático

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.

Este libro es una contribución fruto de la experiencia en el diseño y desarrollo de algoritmos para el análisis de señales e imágenes digitales. En la época actual, es de gran importancia el incentivo de los medios informáticos. Estos permiten ahorrar tiempo y esfuerzo en la generación de datos que permitan demostrar una teoría o el análisis de un fenómeno. Este material permite a estudiantes y profesores, mediante el uso de asistentes matemáticos, implementar y probar algoritmos basados en la Transformada de Fourier.

La intencion principal de este libro es que cualquier persona de una cultura general elemental pueda iniciarse facilmente en la practica de la estadistica. Efectivamente, para ello, el autor, maxima autoridad en esta materia, ha tenido muy en cuenta la profusion e introduccion actual de los metodos estadisticos en la casi totalidad de las actividades profesionales y docentes. Asi, ha desarrollado una exposicion equilibrada y practica de lo que es la estadistica y de sus infinitas posibilidades de aplicacion desde un principio, en campos muy diversos y heterogeneos, eludiendo toda dificultad...

Álgebra lineal y los fundamentos del aprendizaje profundo, ¡juntos por fin! Del profesor Gilbert Strang, aclamado autor de Introducción al álgebra lineal, llega Álgebra lineal en ciencia de datos, el primer libro de texto que enseña álgebra lineal junto con aprendizaje profundo y redes neuronales. Este libro de texto ameno pero riguroso contiene un curso completo de álgebra lineal y de la matemática relacionada que los estudiantes deben saber para familiarizarse con el aprendizaje a partir de los datos. Se incluyen: los cuatro subespacios fundamentales, descomposición en valores...