Librairie professionnelle internationale

Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02

Url canonique : www.lavoisier.fr/livre/informatique/logique-pour-l-informatique/descriptif_4391302
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=4391302

Librairie professionnelle internationale

Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02

Url canonique : www.lavoisier.fr/livre/informatique/logique-pour-l-informatique/descriptif_4391302
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=4391302

Logique pour l'informatique Coll. Références Sciences

Langue : Français

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

Directeur de Collection : de Laboulaye Paul

Couverture de l’ouvrage Logique pour l'informatique

Résumé

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. Se tournant ensuite vers les rapports de la logique et de l'informatique , il présente les méthodes algorithmiques de démonstration automatique .