Mitä ⨟ tarkoittaa
Se yhdistää kaksi Z-skeemaa eli nimettyä järjestelmän kuvausta. Skeema on nimetty muuttujien ja ehtojen kokonaisuus, joka kuvaa järjestelmän tilaa tai toimintoa. Ensimmäisen toiminnon jälkeistä tilaa kuvaavat muuttujat vastaavat niitä, joita toinen toiminto odottaa ennen alkua; Z piilottaa tämän yhteisen välitilan tuloksesta.
Z kehitettiin 1970-luvun lopulla kuvaamaan tietojärjestelmiä matematiikan avulla, ja se kehittyi edelleen 1980-luvulla. Ensimmäinen laajalti julkaistu viitekäsikirja ilmestyi vuonna 1989. Z perustuu joukko-oppiin, kokoelmien matematiikkaan, sekä predikaattilogiikkaan, joka ilmaisee ehtoja, jotka voivat olla tosia tai epätosia.
Käytä ⨟-merkkiä vain Z-merkinnässä
Se on Z:n skeemalaskennan operaattori eli skeemojen yhdistämistä koskeva sääntö. Se ei tarkoita funktioiden tai relaatioiden yleistä yhdistämistä.
Älä sekoita tähän
1
Liittyvät merkit
2
Lisää tällaisia
10
Näin kirjoitat tai löydät ⨟
- Hae näin
- skeemojen yhdistäminen · Z-merkintä · Z-skeemaoperaattori · Z-skeemat · skeemalaskenta · formaali määrittely
- Näkyy
- Kaikki tekstikentät · ulkoasu riippuu fontista
⨟\2A1FKoodit ja koodausKoodipisteitä: 1
Näkyvä symboli voi sisältää useita koodipisteitä. JS .length laskee UTF-16-yksiköt; UTF-8 laskee tavut.