Accès plus rapide que le navigateur!
12 relations: Éditions Dunod, Bertrand Meyer, Calcul des prédicats, Calcul des propositions, Eyrolles, Jean-Raymond Abrial, Méthode B, Méthode formelle (informatique), Modèle relationnel, Produit cartésien, Quantification (logique), Théorie naïve des ensembles.
Éditions Dunod
Dunod est une maison d'édition du groupe Hachette Livre, spécialisée dans les ouvrages de formation universitaire et professionnelle et regroupe les marques Dunod, Armand Colin, InterÉditions, Ediscience, ETSF.
Nouveau!!: Notation Z et Éditions Dunod · Voir plus »
Bertrand Meyer
Bertrand Meyer (né le en France) est le créateur du langage de programmation orienté objet Eiffel.
Nouveau!!: Notation Z et Bertrand Meyer · Voir plus »
Calcul des prédicats
En logique mathématique, le calcul des prédicats du premier ordre, logique du premier ordre, calcul des relations, logique quantificationnelle, ou tout simplement calcul des prédicats, est un système formel utilisé pour raisonner et décrire des énoncés en mathématiques, informatique, intelligence artificielle, philosophie et linguistique.
Nouveau!!: Notation Z et Calcul des prédicats · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Notation Z et Calcul des propositions · Voir plus »
Eyrolles
Le groupe Eyrolles est un groupe français d'édition indépendant, présent dans l'édition, la librairie et la diffusion.
Nouveau!!: Notation Z et Eyrolles · Voir plus »
Jean-Raymond Abrial
Jean-Raymond Abrial, né le, est un informaticien français.
Nouveau!!: Notation Z et Jean-Raymond Abrial · Voir plus »
Méthode B
La méthode B est une méthode formelle qui permet le raisonnement sur des systèmes complexes ainsi que le développement logiciel.
Nouveau!!: Notation Z et Méthode B · Voir plus »
Méthode formelle (informatique)
En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification.
Nouveau!!: Notation Z et Méthode formelle (informatique) · Voir plus »
Modèle relationnel
Le modèle relationnel est une manière de modéliser les relations existantes entre plusieurs informations, et de les ordonner entre elles.
Nouveau!!: Notation Z et Modèle relationnel · Voir plus »
Produit cartésien
Illustration d'un produit cartésien A x B où A.
Nouveau!!: Notation Z et Produit cartésien · Voir plus »
Quantification (logique)
236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications.
Nouveau!!: Notation Z et Quantification (logique) · Voir plus »
Théorie naïve des ensembles
Les ensembles sont d'une importance fondamentale en mathématiques; en fait, de manière formelle, la mécanique interne des mathématiques (nombres, relations, fonctions, etc.) peut se définir en termes d'ensembles.
Nouveau!!: Notation Z et Théorie naïve des ensembles · Voir plus »
