Mitä ⟧ tarkoittaa
Se sulkee pareittain käytettävän matemaattisen tai semanttisen rajaavan merkin.
Z-merkinnässä ⟦...⟧ rajaa pussiesityksen. Formaalissa semantiikassa pari voi osoittaa lausekkeen denotaation eli sille annetun arvon tai tulkinnan. Merkkiyhdistelmällä ei ole yhtä kiinteää merkitystä ilman käytössä olevaa merkintätapaa.
Toisin kuin Itä-Aasian välimerkinnässä käytetty leveä oikea sulje 〛, ⟧ on kapea matemaattinen muoto; teknisessä tekstissä niitä ei voi vaihtaa keskenään.
Miksi semantiikassa käytetään merkkejä ⟦ ⟧?
Pari voi osoittaa lausekkeen ilmaiseman arvon.
Kaksoissulkeiden käyttötapa kehittyi totuusarvojen ja tulkinnan tutkimuksesta. 1960-luvun puolivälissä Dana Scott kuvasi siirtymistä viivamaisista merkeistä helpommin luettaviin kaksoissulkeisiin, kun kaavat pitenivät. 1960-luvun lopulla merkintätapa tuli ohjelmointikielten semantiikkaan ja myöhemmin luonnollisen kielen semantiikkaan.
Historia selittää merkin erikoistuneen käytön: ⟦expression⟧ ohjaa tulkitsemaan lauseketta tietyn teoreettisen kehyksen mukaan; kehys määrittää tarkat säännöt.
Matematiikan ja semantiikan erikoismerkintä; käytä sitä, kun teksti määrittelee sulkeiden käyttötavan.
Yksinään ⟧ ei kerro käyttötapaa; etsi sen pari ⟦ ja ympäröivä merkintä.
Osa kokoelmia
Mitä se tarkoittaa, kun joku lähettää sen sinulle
Tulkintoja: 3Lausekkeen denotaatio: sille annettu arvo tai tulkinta.
Älä sekoita tähän
2Yhdistelmäideoita
2Kokoelmat, joissa on ⟧
2Näin kirjoitat tai löydät ⟧
- Myös nimellä
- oikea pussisulje · Z-merkinnän oikea pussisulje · oikea valkoinen sulje
- Hae näin
- pussisulje · Scottin sulkeet · kaksoishakasulkeet · denotaation sulkeet · semanttiset sulkeet · matemaattinen sulje · Z-merkintä
- Näkyy
- Kaikki tekstikentät · ulkoasu riippuu fontista
⟧\27E7Koodit ja koodausKoodipisteitä: 1
Näkyvä symboli voi sisältää useita koodipisteitä. JS .length laskee UTF-16-yksiköt; UTF-8 laskee tavut.






