| Titre : |
Logique et démonstration automatique: : Introduction à la logique propositionnelle et à la logique du premier ordre |
| Type de document : |
texte imprimé |
| Auteurs : |
Lafourcade Pascal, Auteur ; Lévy Michel, Auteur ; Desvismes Stéphane, Auteur |
| Editeur : |
Paris : ellipses edition marketing |
| Année de publication : |
2012 |
| Collection : |
technosup |
| Importance : |
209p |
| Présentation : |
couv.ill |
| Format : |
26cm |
| ISBN/ISSN/EAN : |
978-2-7298-7229-8 |
| Note générale : |
Index-Table des matières-Corrigés |
| Langues : |
Français (fre) |
| Tags : |
Informatique Théorique |
| Index. décimale : |
E005.75 |
| Résumé : |
Logique propositionnelle:Logique propositionnelle,résolution propositionnelle,déduction naturelle-Logique du premier ordre:logique du premier ordre,base de la démonstration automatique,déduction naturelle au premier ordre:quantificateurs,copie et égalité |
Logique et démonstration automatique: : Introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Lafourcade Pascal, Auteur ; Lévy Michel, Auteur ; Desvismes Stéphane, Auteur . - Paris : ellipses edition marketing, 2012 . - 209p : couv.ill ; 26cm. - ( technosup) . ISBN : 978-2-7298-7229-8 Index-Table des matières-Corrigés Langues : Français ( fre)
| Tags : |
Informatique Théorique |
| Index. décimale : |
E005.75 |
| Résumé : |
Logique propositionnelle:Logique propositionnelle,résolution propositionnelle,déduction naturelle-Logique du premier ordre:logique du premier ordre,base de la démonstration automatique,déduction naturelle au premier ordre:quantificateurs,copie et égalité |
|  |
Logique et démonstration automatique: