Informatique théorique. Logique et démonstration automatique / Stéphane Devismes (2012)

Public ISBD Titre de série : Informatique théorique Titre : Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre Type de document : texte imprimé Auteurs : Stéphane Devismes, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Michel Lévy, Auteur Editeur : Paris : Ellipses Année de publication : 2012 Collection : Technosup Importance : 209 p. Format : 26 cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Note générale : Bibliogr. p.205. - Index Langues : Français (fre) Mots-clés : 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 Index. décimale : 510.6 Logique mathématique 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é Informatique théorique. Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Stéphane Devismes, Auteur ; Pascal (1977-....) Lafourcade, Auteur ; Michel Lévy, Auteur . - Paris : Ellipses, 2012 . - 209 p. ; 26 cm. - (Technosup) . ISBN : 978-2-7298-7229-8 Bibliogr. p.205. - Index Langues : Français (fre) Mots-clés : 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 Index. décimale : 510.6 Logique mathématique 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é

Réservation

Réserver ce document

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité	Etat_Exemplaire
054908	510.6 DEV	Papier	Bibliothèque Centrale	Informatique	Disponible	Consultation sur place
054907	510.6 DEV	Papier	Bibliothèque Centrale	Informatique	Disponible	En bon état