Gondran, Michel Héry, Jean-François Laleuf, Jean-Claude
Logique et modélisation : modèles consistants, données compatibles
Gondran Logique Et Modelisation Donnees Compatibles
Résumé du livre
Expose 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...).
Éditeur | Eyrolles |
Format | Livre Broché |
Collection | Direction des études et recherches d'Electricité de France |
Catégorie | Sciences appliquées |
Langue | Français |
Nombre de pages | 455 |
EAN | 9782212016475 |
Dimensions |
|