El teorema de Gödel

La teoría de grafos ha experimentado un gran auge en los últimos años, en gran parte como consecuencia de su representación gráfica, consistente en diagramas de puntos y líneas que los unen, que facilita la descripción de numerosas situaciones, tanto de la vida real como del ámbito científico, y un enfoque algorítmico de los problemas. Esta vertiente algorítmica proporciona métodos y mecanismos para la resolución de una amplia variedad de problemas presentes en numerosas áreas de conocimiento (tales como química, arquitectura genética, sociología, economía, etc.), no...

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

Esta colección de problemas es el complemento ideal a las Lecciones de Algebra moderna de los profesores Dubreil. Los estudiantes que sigan este texto encuentran en este libro de problemas material suficiente para ejercitarse en el paso de los conceptos al campo de las aplicaciones.

¡Pocas cosas han estimulado tanto la imaginación como el infinito! Tiene todo tipo de propiedades curiosas que, al principio, parecen paradójicas, pero que luego, resultan no serlo. Como tal, provee un material para un libro de problemas de ingenio y paradojas. El Brujo y sus dos jóvenes aprendices Annabelle y Alexander te ofrecen aquí una excursión guiada por el infinito. Visitarán, por ejemplo, una isla donde robots parlanchines crean otros robots inteligentes y los programan para crear más robots, que a su vez crean nuevos robots inteligentes y así siguiendo, al infinito. A...