trié(s) par (Pertinence décroissant(e), Titre croissant(e)) 

Logique et modélisation / Michel Gondran (1995)

Public ISBD Titre : Logique et modélisation : modèles consistants, données compatibles Type de document : texte imprimé Auteurs : Michel Gondran, Auteur ; Jean-François Héry, Auteur ; Jean-Claude Laleuf, Auteur Editeur : Paris : Éd. Eyrolles Année de publication : 1995 Collection : Collection de la Direction des études et recherches d'Électricité de France, ISSN 0399-4198 num. 92 Importance : XXVI-455 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 2-212-01647-6 Note générale : Bibliogr. p. 443-446. Index Langues : Français (fre) Index. décimale : 620.0 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. Note de contenu : 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. Logique et modélisation : modèles consistants, données compatibles [texte imprimé] / Michel Gondran, Auteur ; Jean-François Héry, Auteur ; Jean-Claude Laleuf, Auteur . - Paris : Éd. Eyrolles, 1995 . - XXVI-455 p. : ill. ; 24 cm. - (Collection de la Direction des études et recherches d'Électricité de France, ISSN 0399-4198; 92) . ISBN : 2-212-01647-6 Bibliogr. p. 443-446. Index Langues : Français (fre) Index. décimale : 620.0 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. Note de contenu : 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.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
01201	05-05-11	livres	Bibliothèque de la faculté S.N.V * HARCHE MERIEM*	livres	Consultation sur place Exclu du prêt

---

1 (1 - 1 / 1)