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.