Análisis vectorial

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.

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

Este libro trata del surgimiento y desarrollo de esa área emergente de conocimiento en Brasil y en el mundo, y presenta algunas tendências temáticas y metodológicas de investigación. Además de eso, describe e ilustra, con detalle y ejemplos, las distintas etapas de un proceso de investigación, que van desde la concepción del proyecto, pasan por los procedimientos y alternativas de obtención y análisis de datos y culminan en la elaboración del informe final del estúdio. Otro aporte del libro son los capítulos finales. En ellos, los autores discuten el problema de la evaluación de ...

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.