Logique et modélisation

Modèles consistants, données compatibles

Michel Gondran

456 pages, parution le 29/09/1995

Ajouter à une liste

Expédié sous 9 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

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.

L'auteur - Michel Gondran

Autres livres de Michel Gondran

Graphes et algorithmes (4° éd.)

Graphes, dioïdes et semi-anneaux

Découvrir tous les livres de Michel Gondran

Caractéristiques techniques

	PAPIER
Éditeur(s)	Eyrolles
Auteur(s)	Michel Gondran
Parution	29/09/1995
Nb. de pages	456
Format	15,5 x 24
Couverture	Broché
Poids	750g
Intérieur	Noir et Blanc
EAN13	9782212016475
ISBN13	978-2-212-01647-5