Logique et modélisation

Cet ouvrage s'adresse à un double public. En premier lieu,les ingénieurs et les responsables de programmes derecherche appliquée y trouveront, indépendamment de toutcontexte informatique, les concepts et les méthodes quileur permettront de formuler et de résoudre les problèmesde 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 enoeuvre des notions de logique mathématique.SommaireConcepts de modélisation.Un problème de modélisation dans le domainenucléaire.Logique des propositions.Comptabilité entre données et modèles en logique despropositions.Logique des prédicats.Compatibilité entre données et modèles en logique desprédicats.