Logique et modélisation
modèles consistants, données compatibles
Collection(s) :
Direction des études et recherches d'Electricité de France
Paru le
29/09/1995 |
Broché 455 pages
Professionnels
55.03 €
Disponible - Expédié sous 5 jours ouvrés
Quatrième de
couverture
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...).