per María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
IVA inclòs
Garantia de qualitat Hamelyn · revisat i verificat, o et tornem els diners
«Lógica de primer orden» és el manual de lògica matemàtica de María Jesús Castel de Haro, publicat per la Universitat d'Alacant (194 pàgines, en castellà).
Obra introductòria a la lògica de primer ordre que recorre el seu llenguatge formal, la seva semàntica i els seus sistemes deductius. Explica conceptes com validesa, consistència i conseqüència lògica, i presta especial atenció a la utilitat d'aquests fonaments en l'àmbit de la computació.
El manual pertany al catàleg del Departament de Tecnologia Informàtica i Computació de la Universitat d'Alacant, dins de les categories de Filosofia i Tecnologia.
Per a estudiants i professionals de filosofia, matemàtiques o informàtica que vulguin assentar els fonaments de la lògica formal i la seva aplicació en computació.
