Traitement en cours...
Fermer la notification

Toutes nos lignes téléphoniques...

sont actuellement en dérangement du fait de l'opérateur (SFR), qui nous dit mettre tout en œuvre pour rétablir la situation dans les plus brefs délais mais jusqu'ici n'a pas réussi à le faire.
Nous restons cependant à votre disposition par d'autres moyens pour vous informer.
Si vous souhaitez connaître les dates estimées d’expédition des titres que vous avez commandés, pensez à simplement consulter le détail de vos commandes sur side.fr.
Si vous avez besoin d’une autre information, vous pouvez, selon votre urgence, écrire à notre service clients à france@side.fr ou appeler directement votre représentant ou appeler le 06 34 54 96 63, le numéro d'urgence temporaire que nous avons mis en place en attendant de retrouver notre accueil téléphonique habituel.

Afficher la notification

Logique pour l'informatique

Jaume Mathieu, Mounier Isabelle, de Laboulaye Paul, Journault Matthieu, Lesot Marie-Jeanne, Manoury Pascal
Date de parution 03/11/2020
EAN: 9782340042612
Disponibilité Disponible chez l'éditeur
Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de complétude, théorème d'indécidabil... Voir la description complète
Nom d'attributValeur d'attribut
Common books attribute
ÉditeurELLIPSES
Nombre de pages342
Langue du livreFrançais
AuteurJaume Mathieu, Mounier Isabelle, de Laboulaye Paul, Journault Matthieu, Lesot Marie-Jeanne, Manoury Pascal
FormatPaperback / softback
Type de produitLivre
Date de parution03/11/2020
Poids653 g
Dimensions (épaisseur x largeur x hauteur)1,80 x 19,00 x 24,00 cm
Cet ouvrage débute par une introduction à la logique des prédicats du premier ordre : syntaxe, sémantique et preuves formelles. Il guide ensuite le lecteur vers quelques uns de ses aspects plus avancés : théorème de complétude, théorème d'indécidabilité. Se tournant ensuite vers les rapports de la logique et de l'informatique, il présente les méthodes algorithmiques de démonstration automatique comme la résolution et l'unification ainsi que des applications plus directes des concepts logiques au domaine informatique (problème SAT, bases de données relationnelles, vérification de modèle, etc.)Sa lecture ne demande aucun prérequis en la matière et peut s'adresser à tout étudiant débutant en logique (licence ou master d'informatique, élève ingénieur). L'exposé des notions de base de logique sont accompagnées de nombreux exercices corrigés.