por María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
IVA incluido
¡Última unidad!4 personas lo tienen en su carrito
Métodos de pago disponibles
Más de 2 millones de productos vendidos
Y más de 800.000 títulos en stock
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.
