Lógica

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

Es posible que Pitágoras fuese el primer matemático y filósofo del mundo occidental. Su obra cambió la visión contemporánea del mundo, pues estableció conceptos tales como el razonamiento abstracto o la prueba deductiva. Pitágoras y su teorema resume brillantemente la vida y la obra de Pitágoras, ya que están presentadas dentro de su contexto histórico y científico, y, además, proporciona una explicación clara y accesible de significado y la importancia que tuvieron para el mundo en que vivimos hoy en día.

Esta nueva edición esta dirigida a la misma audiencia que la primera: estudiantes de nivel universitario sin un particular bagaje algebraico, pero con la madurez matemática que se adquiere normalmente en un buen curso de Cálculo.En el texto hay más materia de la que puede ser cubierta en un curso normal de un cuatrimestre o un semestre.

En este libro se encontrarán una serie de funciones que se han construido o que vienen incorporadas en el programa DERIVE para la solución de gran cantidad de problemas. La selección de los ejercicios obedece a un cuidadoso proceso de filtración, poniéndolos a prueba en cursos que con este fin hemos dictado. Se tratan temas de áreas tan disímiles como: la aritmética, el álgebra, el cálculo diferencial e integral, el cálculo vectorial, los métodos numéricos, las ecuaciones diferenciales ordinarias de primero y segundo orden, el álgebra lineal y la teoría de matrices, las...