Catalogue en ligne

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

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

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