Logique et démonstration automatique / Devismes, Stéphane

Public ISBD Titre : 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 : 1 vol. (209 p.) Présentation : fig., tabl., couv. ill. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Catégories : Mathématique Mots-clés : Logique du premier ordre Calcul des propositions Boole, Algèbre de Théorèmes : Démonstration automatique Algorithmes Index. décimale : 512 Algèbre 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 : Sommaire 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é Annexes Corrigés Bibliographie Index Côte titre : Fs/16236-16240 Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Devismes, Stéphane, Auteur ; Lafourcade, Pascal, Auteur ; Lévy, Michel, Auteur . - Paris : Ellipses, 2012 . - 1 vol. (209 p.) : fig., tabl., couv. ill. ; 26 cm. - (Technosup) . ISBN : 978-2-7298-7229-8 Catégories : Mathématique Mots-clés : Logique du premier ordre Calcul des propositions Boole, Algèbre de Théorèmes : Démonstration automatique Algorithmes Index. décimale : 512 Algèbre 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 : Sommaire 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é Annexes Corrigés Bibliographie Index Côte titre : Fs/16236-16240

Exemplaires (5)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
Fs/16236	Fs/16236-16240	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16237	Fs/16236-16240	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16238	Fs/16236-16240	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16240	Fs/16236-16240	Livre	Bibliothéque des sciences	Français	Disponible Disponible
Fs/16239	Fs/16236-16240	Livre	Bibliothéque des sciences	Français	Disponible Disponible

---

1 (1 - 1 / 1)