À propos
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 avancés. Il présente ensuite les méthodes algorithmiques de démonstration automatique ainsi que des applications plus directes des concepts logiques au domaine informatique.
Sa lecture ne réclame aucun prérequis en la matière. L'exposé des notions de base de logique sont accompagnées de nombreux exercices corrigés.
Événements
Détails produits
Rayons : Sciences & Techniques > Mathématiques > Mathématiques appliquées > Informatique théorique / Mathématiques discrètes
-
Auteur(s)
Mathieu Jaume, Matthieu Journault, Marie-Jeanne Lesot, Pascal Manoury, Isabelle Mounier
-
Éditeur
Ellipses
-
Distributeur
-
Date de parution
03/11/2020
-
Collection
References Sciences
-
EAN
9782340042612
-
Disponibilité
Disponible
-
Nombre de pages
332 Pages
-
Longueur
24 cm
-
Largeur
19 cm
-
Épaisseur
1.8 cm
-
Poids
653 g
-
Support principal
Grand format
Infos supplémentaires : Broché
