Retour au catalogue
Logique pour l'informatique
De Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot, Pascal Manoury, Isabelle Mounier
ISBN-13
9782340042612
Éditeur
Ellipses (Paris)
Date de publication
01/01/2020
Pages
331 pages
Résumé
Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre (syntaxe, sémantique et preuves formelles), avant de guider le lecteur vers quelques-uns de ses aspects plus
0 annonce en vente actuellement
