SOLDES

Jusqu'à -70% sur une sélection d'articles*

Logique et modélisation. Modèles consistants, données compatibles

Par : Jean-Claude Laleuf, Jean-François Héry, Michel Gondran
Formats :
Grand Format
55,03 €
Nous vous prions de nous excuser mais rencontrons momentanément des soucis d'approvisionnement. C’est le moment de vous laisser tenter par nos livres numériques et notre offre occasion.
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 4 novembre
      Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages455
  • FormatGrand Format
  • PrésentationBroché
  • Poids0.755 kg
  • Dimensions15,6 cm × 24,1 cm × 2,7 cm
  • ISBN2-212-01647-6
  • EAN9782212016475
  • Date de parution29/09/1995
  • CollectionDirection études et recherches
  • ÉditeurEyrolles

Résumé

Cet ouvrage s'adresse à un double public. En premier lieu, les ingénieurs et les responsables de programmes de recherche appliquée y trouveront, indépendamment de tout contexte informatique, les concepts et les méthodes qui leur permettront de formuler et de résoudre les problèmes de qualification des modèles auxquels ils sont confrontés. Mais nous avons aussi voulu proposer à l'étudiant, voire àl'enseignant des universités ou écoles d'ingénieurs, quelques exemples concrets de modélisation mettant en oeuvre des notions de logique mathématique.
Sommaire - Concepts de modélisation. - Un problème de modélisation dans le domaine nucléaire. - Logique des propositions. - Comptabilité entre données et modèles en logique des propositions. - Logique des prédicats. - Compatibilité entre données et modèles en logique des prédicats.

A propos de Jean-Claude Laleuf

Découvrir l'auteur