GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Jean-Claude Laleuf |
Documents disponibles écrits par cet auteur (1)
Ajouter le résultat dans votre panier Affiner la recherche
texte imprimé
Michel Gondran, Auteur ; Jean-François Héry, Auteur ; Jean-Claude Laleuf, Auteur | Paris : Eyrolles | Direction des études et recherches d'Electricité de France, ISSN 0399-4198 | 1995Expose des notions générales de logique mathématique : la consistance des modèles, la comptabilité des données avec deux formalismes fondamentaux : la logique des propositions et la logique des prédicats (calcul booléen...).