Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
Retourner au premier écran avec les recherches... |
Détail de l'auteur
Auteur Stéphane Devismes
Documents disponibles écrits par cet auteur
Faire une suggestion Affiner la rechercheInformatique théorique. Logique et démonstration automatique / Stéphane Devismes
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 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érieurIndex. 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 Lafourcade, Auteur ; Michel Lévy, Auteur . - 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érieurIndex. 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éExemplaires
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