Compartir libro en Comparte Lógica matemática Comparte Lógica matemática Comparte Lógica matemática Comparte Lógica matemática

Lógica matemática

En Lógica matemática, a partir de la especificación de las características de los «lenguajes de primer orden» y de la definición de las nociones de «modelo» y «consecuencia» para las expresiones de esos lenguajes, se exponen de forma sucinta los resultados básicos de la lógica matemática, con particular atención a los teoremas de compacticidad, completitud e indecidibilidad, de los que se ofrecen diversas pruebas.

COLECCIÓN: Marova
MATERIA: Lógica matemática
PÁG: 264      TAMAÑO: 17 x 23 cm      PUBLICACIÓN: Oct 2008      ISBN: 9788426904669
 
¿En qué librería lo puedo comprar?

Autor

José Fernández-Prida

José F. Prida de Carlos (1934-2003), Doctor en Ciencias Matemáticas y Licenciado en Informática, fue Catedrático de Lógica en la Facultad de Filosofía de la Universidad Complutense entre los años 1986 y 2003, de cuyo Departamento de Lógica y Filosofía de la Ciencia fue Director entre los años 1990 y 2003.
Tras ampliar estudios de Lógica en Bonn y Freiburg junto a Gisbert Hasenjaeger y Hans Hermes, orientó su investigación hacia el ámbito de la «Teoría de la Computabilidad», habiendo sido uno de los fundadores de la especialidad de Ciencias de la Computación de la Facultad de Matemáticas de la Universidad Complutense. Entre sus publicaciones, centradas en cuestiones relativas a la «Teoría de la recursión» y a los «Fundamentos de la matemática», cabe destacar Teorías inseparables (2004).

LIBROS RELACIONADOS

¿Quieres recibir más información sobre este tema? Suscríbete a nuestro boletín.
Cerrar