Geometric modeling in computer

Cuadernos que comprenden el currículo de Educación Primaria correspondiente a cada curso, pensados como material para reforzar aprendizajes no consolidados y mantener y ampliar los ya conseguidos. El presente cuaderno está pensado para 1.o de Primaria e inicio de 2.o, con alumnos de edades comprendidas entre los 6 y 7 años.

Ante la dificultad que ofrece inicialmente el abordaje de la geometría euclidiana como una teoría axiomática, muchas veces se opta por renunciar a esta forma de presentación, reduciendo los cursos a una exposición expedita de los axiomas y a un listado de los teoremas centrales, en la búsqueda de obtener resultados rápidos que permitan llegar prontamente a la solución de problemas. Sin embargo, de este modo se deja de proveer al estudiante de las herramientas suficientes para poder acceder al estudio de la teoría, a la comprensión de las argumentaciones y a la obtención...

En esta segunda edición, existen apéndices especiales para temas que antes se hallaban tratados sólo superficialmente. Algunos temas, tales como operaciones con series de potencias, han sido desarrollados con más detalle en el texto y sobre los mismos hay ahora más ejercicios. Se presentan alrededor de 160 problemas nuevos, muchos de los cuales están, en cuanto a dificultad, en un término medio entre los pocos ejercicios de rutina del comienzo de cada capítulo y los más difíciles que aparecen más adelante.

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.