Elementos de la Lógica

Esta monografía presenta por vez primera en el espectro internacional una reflexión crítica sobre los gráficos existenciales peirceanos. Considerados por Peirce como su "obra maestra ", los gráficos reflejan toda su arquitectónica pragmática e introducen, de manera sumamente original, reglas uniformes para entender el tránsito entre lógicas tan diversas como el cálculo proposicional, la lógica de primer orden y las lógicas modales. El fondo semántico de las reglas se aborda aquí desde áreas centrales de la matemática: teoría de categorías, topología, variable compleja. 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...

El campo de la Matemática Aplicada tuvo desde siempre una infinidad de aplicaciones en el pasado y que sin duda ayudaron al progreso científico, tecnológico y humano de nuestra sociedad. En los últimos anos, ha surgido en España (y también en Europa) una nueva disciplina llamada Matemática Industrial. Esta disciplina viene a englobar a diversos campos como el de la mecánica de fluidos y sólidos, modelización en ámbitos como la biomedicina y finanzas, y la resolución de problemas que nacen en el mundo industrial día a día. Fue quizás el profesor Alfredo Bermúdez que la...

Los números son nuestra manera de poner orden en el mundo, y cada uno de estos 50 temas solo utiliza 300 palabras y una ilustración para darle una sensación de control, ayudarle a comprender las tendencias en los datos estadísticos, cómo se utilizan los algoritmos y los métodos del aprendizaje automático.