por María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
IVA incluido
Compra Protegida con Mercado Pago
El producto no llega o no es lo que pediste, Mercado Pago te devuelve tu dinero.
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
Llegamos a CDMX, Guadalajara, Monterrey, Tijuana, Mérida, Puebla y todo el país.
«Lógica de primer orden» es el manual de lógica matemática de María Jesús Castel de Haro, publicado por la Universidad de Alicante (194 páginas, en español).
Obra introductoria a la lógica de primer orden que recorre su lenguaje formal, su semántica y sus sistemas deductivos. Explica conceptos como validez, consistencia y consecuencia lógica, y presta especial atención a la utilidad de estos fundamentos en el ámbito de la computación.
El manual pertenece al catálogo del Departamento de Tecnología Informática y Computación de la Universidad de Alicante, dentro de las categorías de Filosofía y Tecnología.
Para estudiantes y profesionales de filosofía, matemáticas o informática que quieran asentar los fundamentos de la lógica formal y su aplicación en computación.
