por María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
IVA incluido
Garantía de calidad Hamelyn · revisado y verificado, o te devolvemos el dinero
«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.
