El teorema de Gödel

Aunque las matemáticas discretas tienen orígenes y usos diversos, este eBook pretende presentar ciertos de sus tópicos fundamentales desde la perspectiva de las Tecnologías de Información, en donde su realce y papel son imprescindibles. Este libro prioriza el entendimiento real de los contenidos; para ello, la intención ha sido siempre la de desarrollar los temas de manera simple, clara y detallada hasta lograr la profundidad necesaria en donde el lector pueda darles un significado personal relacionado siempre con las aplicaciones prácticas. p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: ...

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

El propósito del libro es proporcionar diferentes caracterizaciones a los conceptos más importantes que comprende un curso de Cálculo Diferencial, como son el de derivada, límite, función, etc., que se considera pueden mejorar el entendimiento de los estudiantes. Se plantea el concepto de función desde nociones cercanas a ésta, como son las de variable, variación y variabilidad, sin dejar de lado sus significados ya conocidos de fórmula, dependencia, modelo, gráfica, etc. Para el concepto de límite se ha agregado a sus definiciones comunes la noción de tolerancia que se usa...

Los análisis cuantitativos permiten delimitar y contrastar de manera objetiva las características estilísticas de corpus textuales. A través de este tipo de estudios, se intentarán definir rasgos morfonsintácticos y léxicos que permitan diferenciar los poemas sacros indubitados de Damián Cornejo y de León Marchante. Estos datos serán comparados con los obtenidos en las poesías profanas indubitadas y en la prosa para comprobar si existen semejanzas significativas entre las producciones de un mismo autor. Los resultados establecerán una serie de parámetros que ayudarán a...