Lógica

La Geometría Proyectiva es el modelo idóneo para representar el paso del mundo real tridimensional al bidimensional de la imágenes planas que encontramos en cualquier pantalla o dispositivo móvil. Este libro contiene una introducción a los conceptos de la Geometría Proyectiva presentes en el campo de la Visión Artificial o Visión por Ordenador, a través de ejemplos prácticos desarrollados paso a paso con el software matemático libre Octave. El texto comienza describiendo los distintos tipos de transformaciones homogéneas del plano y del espacio para centrarse en las proyecciones...

Texto dirigido al alumno de cursos superiores de Ingeniería y Ciencias Económicas, con una exposición suficiente de aspectos teóricos y problemas resueltos.

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

La obra presenta novedades importantes respecto al tratamiento clásico del tema. Así, en el capítulo cinco, además de los métodos combinatorios clásicos, los Grafos eulerianos y los Grafos coloreados, se presenta una introducción a la teoría de las funciones recursivas, funciones que tienen gran importancia en Computación. En el capítulo seis hay una introducción rigurosa al estudio de las máquinas y autómatas finitos, de importancia hoy en Informática Teórica y Computación. En el capítulo siete se desarrolla con cierta extensión la teoría de Ramsey, que puede considerarse...