El teorema de Gödel

La matemática discreta es la disciplina dedicada al estudio de estructuras cuyos elementos pueden contarse uno por uno separadamente. A diferencia del Cálculo infinitesimal, estudia procesos con conjuntos numerables, ya sean fi nitos o infinitos. Forma parte de los planes de estudios de ingenierías, informática, ciencia de la computación, así como, obviamente, de matemáticas, por lo que esta obra va dirigida a todos los lectores interesados en estas materias. Se trata de un libro de problemas resueltos, en el que cada capítulo comienza con un breve resumen teórico, cuyo único...

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

La lógica, originalmente, es la ciencia formal que estudia las leyes necesarias para la construcción de un razonamiento perfecto. Hoy en día su campo de estudio es mucho más amplio, ya que abarca la ciencia de la computación matemática. Pero primero vamos a tratar la cuestión del razonamiento. Cuando hablamos de razonamiento, debemos tener muy claro que cualquier lógica psicológica son consideraciones irrelevantes sobre el acto de razonar. Lo que importa es la forma del razonamiento. En este libro podrá aprender todo lo necesario para comprender los distintos razonamientos y la...

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