Logique et modélisation / Michel Gondran (1995) / 978-2-212-01647-5

Public ISBD Titre : Logique et modélisation : Modèles consistant,Données compatibles Type de document : texte imprimé Auteurs : Michel Gondran, Auteur ; jean-francois héry, Auteur ; jean-claude laleuf, Auteur Editeur : Paris : Eyrolles Année de publication : 1995 Collection : Collection de la direction des études et recherches d'éléctricité de France ISBN/ISSN/EAN : 978-2-212-01647-5 Langues : Français (fre) Catégories : 51 Mathématiques :519.6 Mathématique numérique Analyse numérique. Programmation Informatique) Science des ordinateurs Tags : Logique mathématique  Modélisation  Modèles consistants  Données compatibles  Michel Gondran  Jean-François Héry  Jean-Claude Laleuf  Eyrolles  1995  Collection EDF  Ingénieurs  Recherche appliquée  Qualification de modèles  Étudiants  Enseignants  Universités  Écoles d'ingénieurs  Exemples concrets  Domaine nucléaire  Logique des propositions  Compatibilité données-modèles  Logique des prédicats  Concepts de modélisation  Problème de qualification  Français Index. décimale : 510.6 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. Logique et modélisation : Modèles consistant,Données compatibles [texte imprimé] / Michel Gondran, Auteur ; jean-francois héry, Auteur ; jean-claude laleuf, Auteur . - Paris : Eyrolles, 1995. - (Collection de la direction des études et recherches d'éléctricité de France) . ISBN : 978-2-212-01647-5 Langues : Français (fre) Catégories : 51 Mathématiques :519.6 Mathématique numérique Analyse numérique. Programmation Informatique) Science des ordinateurs Tags : Logique mathématique  Modélisation  Modèles consistants  Données compatibles  Michel Gondran  Jean-François Héry  Jean-Claude Laleuf  Eyrolles  1995  Collection EDF  Ingénieurs  Recherche appliquée  Qualification de modèles  Étudiants  Enseignants  Universités  Écoles d'ingénieurs  Exemples concrets  Domaine nucléaire  Logique des propositions  Compatibilité données-modèles  Logique des prédicats  Concepts de modélisation  Problème de qualification  Français Index. décimale : 510.6 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.

Exemplaires(0)

Disponibilité
aucun exemplaire

---

1 (1 - 1 / 1) Par page : 25 50 100 200