| Titre : | Informatique théorique Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre | | Type de document : | texte imprimé | | Auteurs : | Devismes, Stéphane, Auteur ; Lafourcade, Pascal, Auteur ; Lévy, Michel, Auteur | | Editeur : | Paris: Ellipses | | Année de publication : | 2012 | | Collection : | Technosup | | Importance : | 209P | | Présentation : | ill., tabl., couv. ill | | Format : | 26x17cm | | ISBN/ISSN/EAN : | 978-2-7298-7229-8 | | Langues : | Français (fre) | | Mots-clés : | Logique du premier ordre Calcul des propositions Algorithmes Manuels d'enseignement supérieur | | Résumé : | Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués |
|  |
Informatique théorique Logique et démonstration automatique / Devismes, Stéphane