Fundamentos de álgebra

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.

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 partir del desarrollo tecnológico, científico e industrial alcanzado por la humanidad, el hombre ha creado diferentes infraestructuras que le permiten satisfacer sus necesidades. Las disímiles infraestructuras son gestionadas mediante los modelos de gestión empresarial existentes. La empresa por su parte, juega un conjunto de roles sociales a partir de los cuales se establecen sus objetivos a cumplir.

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