| Titre : | Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre |
| Titre de série : | Informatique théorique |
| Auteurs : | Stéphane Devismes, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Michel Lévy, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Ellipses, 2012 |
| Collection : | Technosup |
| ISBN/ISSN/EAN : | 978-2-7298-7229-8 |
| Format : | 209 p. / 26 cm |
| Note générale : | Bibliogr. p.205. - Index |
| Langues : | Français |
| Index. décimale : | 510.6 (Logique mathématique) |
| Tags : | Logique du premier ordre -- Manuels d'enseignement supérieur Calcul des propositions -- Manuels d'enseignement supérieur Boole, Algèbre de -- Manuels d'enseignement supérieur Théorèmes -- Démonstration automatique -- Manuels d'enseignement supérieur 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. |
| Note de contenu : |
Au sommaire:
I. Logique propositionnelle 1. Logique propositionnelle 2. Résolution propositionnelle 3. Déduction Naturelle II. Logique du premier ordre 4. Logique du premier ordre 5. Base de la démonstration automatique 6. Déduction naturelle au premier ordre : quantificateurs, III. copie et égalité |
Exemplaires (2)
| Cote | Support | Localisation | Section | Disponibilité | Etat_Exemplaire |
|---|---|---|---|---|---|
| 510.6 DEV | Papier | Bibliothèque Centrale | Informatique | Disponible | Consultation sur place |
| 510.6 DEV | Papier | Bibliothèque Centrale | Informatique | Disponible | En bon état |
