|
Titre :
|
Logique et modélisation : modèles consistants, données compatibles
|
|
Auteurs :
|
Michel Gondran, Auteur ;
Jean-François Héry, Auteur ;
Jean-Claude Laleuf, Auteur
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Eyrolles, 1995
|
|
Collection :
|
Direction des études et recherches d'Electricité de France, ISSN 0399-4198, num. 92
|
|
ISBN/ISSN/EAN :
|
978-2-212-01647-5
|
|
Format :
|
455 p. / 24 x 16 cm
|
|
Note générale :
|
Bibliogr. Index.
|
|
Langues:
|
Français
|
|
Index. décimale :
|
510 (Mathématiques
Ouvrages généraux, Théorie, Machines à calculer, Calcul)
|
|
Résumé :
|
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...).
|
