di María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
IVA inclusa
Garanzia qualità Hamelyn · controllato e verificato, o ti rimborsiamo
«Lógica de primer orden» è il manuale di logica matematica di María Jesús Castel de Haro, pubblicato dall'Università di Alicante (194 pagine, in spagnolo).
Opera introduttiva alla logica del primo ordine che ne percorre il linguaggio formale, la semantica e i sistemi deduttivi. Spiega concetti come validità, coerenza e conseguenza logica, e presta particolare attenzione all'utilità di questi fondamenti nell'ambito dell'informatica.
Il manuale appartiene al catalogo del Dipartimento di Tecnologia Informatica e Calcolo dell'Università di Alicante, nelle categorie Filosofia e Tecnologia.
Per studenti e professionisti di filosofia, matematica o informatica che vogliano consolidare i fondamenti della logica formale e la sua applicazione nell'informatica.
