Portail des médiathèques du réseau Paris-Saclay
Se connecter
Logique pour l'informatique
Disponible
Journault, Matthieu Auteur du texte
Jaume, Mathieu Auteur du texte
Manoury, Pascal Auteur du texte
Lesot, Marie-Jeanne Auteur du texte
Raffalli, Christophe Préfacier, etc.
Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs applications en informatique, aboutissant aux méthodes algorithmiques de démonstration automatique. ©Electre 2020
Année de parution :
2020
1 vol. (VI-331 p.) : ill. : 24 cm
9782340042612
Sujets
Logique informatique
Logique informatique -- Manuels d'enseignement supérieur
Veuillez vous connecter pour réserver