Logique et modélisation : modèles consistants, données compatibles Gondran Logique Et Modelisation Donnees Compatibles
- Éditeur
- Eyrolles
- Format
- Livre Broché
- Collection
- Direction des études et recherches d'Electricité de France n° 92
- Langue
- Français
- Nombre de pages
- 455
- EAN
- 9782212016475
- Dimensions
- 160 × 240 × 30 mm
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...).