Logique pour l'informatique
Language: French
Published by ELLIPSES, 2020
- Softcover
- Used
Seller: LiLi - La Liberté des Livres, CANEJAN, FranceLiLi - La Liberté des Livres
AbeBooks seller since October 22, 2021
Condition: Used - Very good
US$ 30.08
Quantity: 1 available
Add to basketItem description from seller
Le livre peut montrer des signes d'usure dus a une utilisation constante, etre marque, porter des marques d'identification ou presenter plusieurs dommages esthetiques mineurs. vendeur professionnel; envoi soigne en 24/48h.
Seller Inventory # 2511050007263
- Title
- Logique pour l'informatique
- Author
- Jaume, Mathieu; Journault, Matthieu; Lesot, Marie-Jeanne; Manoury, Pascal; Mounier, Isabelle
- Publisher
- ELLIPSES
- Publication year
- 2020
- Condition
- very good
- Binding
- Soft cover
- Language
- French
- ISBN 10
- 2340042615
- ISBN 13
- 9782340042612
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.
"Synopsis" may belong to another edition of this title.
LiLi - La Liberté des Livres
CANEJAN, France
AbeBooks seller since October 22, 2021
Shipping rates from France to U.S.A.
| Item | 60 to 60 business days | 15 to 20 business days |
|---|---|---|
| First item | US$ 72.77 | US$ 145.53 |
Payment methods
Store description
LiLi est une entreprise d’economie circulaire et durable dans le domaine du livre . La vocation de LiLi est de rendre plus accessible aux clients la lecture, les livres anciens et rares en facilitant la circulation des livres, faire revivre les livres figés dans les bibliothéques ‘redonner de la liberté aux livres’.
Seller's business information
SOVILO
16 Avenue Pierre Paul De Riquet
Canéjan, France 33610