Geometric modeling in computer

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.

A lo largo de su evolución, las herramientas de cálculo siempre fueron resultado de la tecnología disponible en cada momento y de las formas de numeración de cada cultura. De las cuentas prehistóricas al ábaco romano, y de los algoritmos árabes a las primeras calculadoras, la historia del cálculo lo es en buena parte también de los sistemas de numeración. Al final de esta línea de evolución, se encuentran los ordenadores y la informática, que se desarrollaron con el mismo objetivo: como herramientas cada vez más potentes para realizar cálculos cada vez más complejos.

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 2.o de Primaria e inicio de 3.o, con alumnos de edades comprendidas entre los 8 y los 9 años.

Este libro, como todos los de Spivak, es muy sugestivo, y en él acomete con los recursos indispensables, las fórmulas de Stokes sobre variedades exponiendo con gran calridad uno de los temas más difíciles del Cálculo.