Cosa significa ⨡
Unisce due schemi e tiene solo le variabili del secondo. La notazione Z descrive che cosa deve fare un sistema informatico con la teoria degli insiemi e la logica; è nata all’Università di Oxford alla fine degli anni Settanta ed è usata per software critico. Il suo mattone è lo schema: un riquadro con un nome che dichiara variabili e le condizioni che devono rispettare.
S ⨡ T significa: prendere tutto ciò che S e T richiedono insieme (come la congiunzione S T) e nascondere ogni variabile non dichiarata in T. Le regole di S restano valide, ma dall’esterno si vedono solo i nomi di T.
Fa parte delle raccolte
Non confonderlo con
1
Caratteri correlati
2
Da sapere
- Unicode 3.2 ha aggiunto nel 2002 una serie di operatori della notazione Z, lo stesso anno in cui Z è diventata la norma internazionale ISO/IEC 13568.
Domande frequenti
2Che differenza c’è con l’occultamento di schema?
L’occultamento dice che cosa scartare; la proiezione dice che cosa tenere, indicando un secondo schema le cui variabili restano.
Perché ⨡ appare come un quadratino?
Il tuo font non lo contiene. Font matematici come Cambria Math o STIX Two lo hanno.
Altro di simile
9
Come digitare o trovare ⨡
- Chiamato anche
- proiezione di schema · operatore di proiezione · proiezione Z
- Cercalo come
- notazione Z · zproject · \project · simbolo proiezione Z · specifica formale
- Compare in
- Qualsiasi campo di testo · la forma dipende dal carattere
⨡\2A21\project.Codici e codificaPunti di codice: 1
Un simbolo visibile può contenere più punti di codice. JS .length conta le unità UTF-16; UTF-8 conta i byte.