Logique et modélisation

Modèles consistants, données compatibles

  • Nombre de pages : 456 pages
  • Date de parution : 01/10/1995

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

  1. Concepts de modélisation.
  2. Un problème de modélisation dans le domaine nucléaire.
  3. Logique des propositions.
  4. Comptabilité entre données et modèles en logique des propositions.
  5. Logique des prédicats.
  6. Compatibilité entre données et modèles en logique des prédicats.

Caractéristiques

  • Type produit : Ouvrage
  •  
  • Editeur(s) : Eyrolles
  • Auteur(s) : Michel Gondran
  • Diffusion : Geodif
  •  
  • ISBN13 : 978-2-212-01647-5
  • EAN13 : 9782212016475
  • ISBN10 : 2-212-01647-6
  • Parution : 01/10/1995
  • Edition : 1ère édition
  •  
  • Nb de pages : 456 pages
  • Format : 15,5 x 24
  • Couverture : Broché
  • Poids : 750 g
  • Intérieur : Noir et Blanc
  •  

mentions légales | conditions générales de vente | copyright © 2012
(1) livraison gratuite à partir de 49 € en France métropolitaine