Geometric modeling in computer

This book presents plane geometry following Hilbert's axiomatic system. It is inspired on R. Hartshome's fantastic book Geometry: Euclid and Beyond, and can be considered as a careful exposition of most of chapter II of that book. It must be remarked that non-euclidean geometries, i.e. geometries not satisfying the fifth postulate of Euclid, enter the scene, in a natural way, from the very beginning. The vast majority of plane geometry texts are only concerned with euclidean geometry, loosing the oportunity of not only teaching rigorous reasoning to freshmen, but at the same time exposing...

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.

Los números son nuestra manera de poner orden en el mundo, y cada uno de estos 50 temas solo utiliza 300 palabras y una ilustración para darle una sensación de control, ayudarle a comprender las tendencias en los datos estadísticos, cómo se utilizan los algoritmos y los métodos del aprendizaje automático.

Esta monografia presenta una introduccion al uso de graficos multivariantes en control estadistico de calidad. El extendido uso de metodos estadisticos en el control de procesos y el caracter multidimensional del concepto de calidad, estan produciendo un rapido avance en las aplicaciones de tecnicas estadisticas en este campo. Se pretende ofrecer al lector una vision intuitiva y basica de los principales graficos de control multivariantes, sus caracteristicas, aplicaciones e interpretacion de resultados. Junto a los graficos clasicos (T2, MEWMA o MCUSUM), y sin animo de ser exhaustivos, se...