Que signifie ⦇
Il ouvre une expression d’image relationnelle en notation Z.
Z est un langage mathématique qui permet de décrire précisément des logiciels et d’autres systèmes discrets. Dans R⦇S⦈, la relation R associe des valeurs et S est un ensemble ; l’expression désigne les valeurs associées à au moins un élément de S.
Les travaux de Jean-Raymond Abrial sur Z ont commencé à la fin des années 1970. Des chercheurs d’Oxford ont développé la notation, utilisée dans des projets industriels dans les années 1980 ; elle a ensuite été enseignée dans le cadre des méthodes formelles.
Très technique : il signale une spécification Z ou une notation relationnelle de style Z.
Fermez avec ⦈, pas avec une parenthèse ordinaire.
Caractères apparentés
1
Idées de combinaisons
1Plus de symboles similaires
9
Taper ou trouver ⦇
- Aussi appelé
- crochet d’image · crochet d’image relationnelle · limg
- Recherchez-le comme
- image relationnelle · opérateur d’image · crochet de la notation Z · R⦇S⦈
- Apparaît dans
- Tout champ acceptant du texte · sa forme dépend de la police
⦇\2987Codes et encodagePoints de code : 1
Un symbole visible peut contenir plusieurs points de code. JS .length compte les unités UTF-16 ; UTF-8 compte les octets.