A partir de cette page vous pouvez :
Retourner au premier écran avec les catégories... |
Détail de l'auteur
Auteur Lévy, Michel
Documents disponibles écrits par cet auteur
Affiner la rechercheInformatique théorique Logique et démonstration automatique / Devismes, Stéphane
Titre : Informatique théorique 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 : 209P Présentation : ill., tabl., couv. ill Format : 26x17cm ISBN/ISSN/EAN : 978-2-7298-7229-8 Langues : Français (fre) Mots-clés : Logique du premier ordre Calcul des propositions 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 Informatique théorique 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 . - [S.l.] : Paris: Ellipses, 2012 . - 209P : ill., tabl., couv. ill ; 26x17cm. - (Technosup) .
ISBN : 978-2-7298-7229-8
Langues : Français (fre)
Mots-clés : Logique du premier ordre Calcul des propositions 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 Exemplaires
Code-barres Cote Support Localisation Section Disponibilité BC2014/4509-1 BC.08-11-061 Ouvrage Bibliothèque Universitaire Centrale Informatique Exclu du prêt BC2014/4509-2 BC.08-11-061 Ouvrage Bibliothèque Universitaire Centrale Informatique Disponible BC2014/4509-3 BC.08-11-061 Ouvrage Bibliothèque Universitaire Centrale Informatique Disponible