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. Logique mathématique / René Cori (2003) / 978-2-10-005452-7

Public ISBD Titre : Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés Type de document : texte imprimé Auteurs : René Cori ; Daniel Lascar Editeur : Paris : Dunod Année de publication : 2003 Importance : 408 p Présentation : couv.ill. en coul.photo. Format : 24cm. ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Biblio.p.361-363. Index. Langues : Français (fre) Tags : logique mathématique  calcul propositionnel  algèbres de Boole  calcul des prédicats  logique formelle  Cori  Lascar Index. décimale : 510.6 Résumé : Logique mathématique : 1 est un manuel de logique formelle destiné aux étudiants du supérieur. Il traite du calcul propositionnel, des algèbres de Boole et du calcul des prédicats, avec des cours structurés et des exercices corrigés. L’ouvrage constitue une base solide pour l’étude de la logique mathématique et de ses applications en informatique et en mathématiques fondamentales. Logique mathématique : 1.Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices corrigés [texte imprimé] / René Cori ; Daniel Lascar . - Paris : Dunod, 2003 . - 408 p : couv.ill. en coul.photo. ; 24cm. ISBN : 978-2-10-005452-7 Biblio.p.361-363. Index. Langues : Français (fre) Tags : logique mathématique  calcul propositionnel  algèbres de Boole  calcul des prédicats  logique formelle  Cori  Lascar Index. décimale : 510.6 Résumé : Logique mathématique : 1 est un manuel de logique formelle destiné aux étudiants du supérieur. Il traite du calcul propositionnel, des algèbres de Boole et du calcul des prédicats, avec des cours structurés et des exercices corrigés. L’ouvrage constitue une base solide pour l’étude de la logique mathématique et de ses applications en informatique et en mathématiques fondamentales.

Exemplaires(0)

Disponibilité
aucun exemplaire

---

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