Turing y el lenguaje de las máquinas

La axiomatizacion de la geometria euclidea llevada a cabo por David Hilbert (1862-1943) en su monografia Fundamentos de la geometria (1899) es considerada no solo una de sus contribuciones mas importantes a la matematica moderna, sino tambien un hito fundamental en la concepcion abstracta del metodo axiomatico. Hilbert presento alli un sistema axiomatico formal para la geometria euclidea elemental, a traves del cual era posible construir esta teoria matematica de un modo riguroso y sistematico. Dicha presentacion axiomatica de la geometria trajo asi aparejada una nueva manera de entender la...

Los análisis cuantitativos permiten delimitar y contrastar de manera objetiva las características estilísticas de corpus textuales. A través de este tipo de estudios, se intentarán definir rasgos morfonsintácticos y léxicos que permitan diferenciar los poemas sacros indubitados de Damián Cornejo y de León Marchante. Estos datos serán comparados con los obtenidos en las poesías profanas indubitadas y en la prosa para comprobar si existen semejanzas significativas entre las producciones de un mismo autor. Los resultados establecerán una serie de parámetros que ayudarán a...

Este es un libro que al experto no se le cae de las manos; pero lo más sorprendente es que el estudiante pronto se da cuenta de que se trata de un texto escrito para él y para su provecho.

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