par María Jesús Castel de Haro · Universidad de Alicante · ISBN 9788460547662
TVA incluse
Garantie qualité Hamelyn · vérifié et contrôlé, ou remboursé
«Lógica de primer orden» est le manuel de logique mathématique de María Jesús Castel de Haro, publié par l'Université d'Alicante (194 pages, en espagnol).
Ouvrage d'introduction à la logique du premier ordre qui parcourt son langage formel, sa sémantique et ses systèmes déductifs. Il explique des concepts comme la validité, la cohérence et la conséquence logique, et accorde une attention particulière à l'utilité de ces fondements dans le domaine de l'informatique.
Le manuel appartient au catalogue du Département de technologie informatique et de calcul de l'Université d'Alicante, dans les catégories Philosophie et Technologie.
Pour les étudiants et professionnels en philosophie, mathématiques ou informatique qui souhaitent asseoir les fondements de la logique formelle et son application en informatique.
