Logique pour l'informatique - Couverture souple

Jaume, Mathieu; Journault, Matthieu; Lesot, Marie-Jeanne; Manoury, Pascal; Mounier, Isabelle

Couverture souple

ISBN 10 : 2340042615 ISBN 13 : 9782340042612

Editeur : Ellipses, 2020

Synopsis

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.

A propos du livre

À propos de l?auteur

Les auteurs de cet ouvrage sont enseignants-chercheurs en informatique au LIP6 à Sorbonne Université.

Détails de l'édition

• Éditeur: Ellipses
• Date d'édition: 2020
• Langue: français
• ISBN 10: 2340042615
• ISBN 13: 9782340042612
• Reliure: Broché
• Nombre de pages: 331
• Coordonnées du fabricant: non disponible
• Personne responsable: decitre; service.clients@decitre.fr; ; avenue C cité Berliet; st priest; france; 69800; France