Hva betyr ⦇
Det åpner et uttrykk for relasjonsbildet i Z-notasjon.
Z er et matematisk språk for å beskrive programvare og andre diskrete systemer presist. I R⦇S⦈ knytter relasjonen R verdier sammen, og S er en mengde; uttrykket angir verdiene som knyttes til minst ett element i S.
Jean-Raymond Abrials arbeid med Z begynte på slutten av 1970-tallet. Forskere i Oxford utviklet notasjonen, og den ble brukt i industriprosjekter på 1980-tallet; senere ble den tatt med i undervisning i formelle metoder.
Svært teknisk: det viser til en Z-spesifikasjon eller relasjonsnotasjon i Z-stil.
Lukk med ⦈, ikke en vanlig parentes.
Kombinasjonsideer
1Slik skriver eller finner du ⦇
- Også kalt
- bildeklamme · klamme for relasjonsbildet · limg
- Søk etter som
- relasjonsbilde · bildeoperator · klamme i Z-notasjon · R⦇S⦈
- Vises i
- Alle tekstfelt · formen avhenger av skrifttypen
⦇\2987Koder og kodingKodepunkter: 1
Et synlig symbol kan inneholde flere kodepunkter. JS .length teller UTF-16-enheter; UTF-8 teller byte.


