por María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
IVA incluído
Garantia de qualidade Hamelyn · revisto e verificado, ou devolvemos o dinheiro
«Lógica de primer orden» é o manual de lógica matemática de María Jesús Castel de Haro, publicado pela Universidade de Alicante (194 páginas, em espanhol).
Obra introdutória à lógica de primeira ordem que percorre a sua linguagem formal, a sua semântica e os seus sistemas dedutivos. Explica conceitos como validade, consistência e consequência lógica, e presta especial atenção à utilidade destes fundamentos no âmbito da computação.
O manual pertence ao catálogo do Departamento de Tecnologia Informática e Computação da Universidade de Alicante, dentro das categorias de Filosofia e Tecnologia.
Para estudantes e profissionais de filosofia, matemática ou informática que queiram assentar os fundamentos da lógica formal e a sua aplicação em computação.
