Logique pour l'informatique
  • Logique pour l'informatique
À paraître

Logique pour l'informatique

Auteur(s) : Jaume Mathieu, Journault Matthieu, Lesot Marie-Jeanne, Manoury Pascal, Mounier Isabelle
Cet ouvrage débute par une i ntroduction à 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écid...LIRE LA SUITE
Pages : 342 pages
Format : 19 cm x 24 cm
Poids : 0,001 kg
LIVRE
ISBN :  9782340042612
32,00€
TTC
Bientôt Disponible

Me prévenir lorsque l'article est disponible

FORMAT NUMÉRIQUE
ISBN :  9782340044920
26,99€
TTC
Bientôt Disponible En savoir plus sur le format numérique

Me prévenir lorsque l'article est disponible

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.

L’éditeur vous recommande également

LIVRE
ISBN :  9782340042612
32,00€
TTC
Bientôt Disponible

Me prévenir lorsque l'article est disponible

FORMAT NUMÉRIQUE
ISBN :  9782340044920
26,99€
TTC
Bientôt Disponible En savoir plus sur le format numérique

Me prévenir lorsque l'article est disponible

Haut de page