⟧ ne anlama gelir
Biçimsel anlambilim değerlendirmelerinin ve çoklukümelerin sağ sınırını belirtir.
Biçimsel anlambilim ve programlama dilleri teorisinde ⟦e⟧ yazımı, e sözdizimsel ifadesinin anlamını, denotasyonunu veya yorumlanan değerini gösterir. Z biçimsel şartname dilinde ise ⟦ ... ⟧ bir torbayı (öğelerin tekrar edebildiği çoklukümeyi) çevreler. Matematiksel mantık ve teorik bilgisayar bilimi dışında neredeyse hiç kullanılmaz.
Tipografik olarak ⟧, çift dikey çizgili dar bir matematiksel sınırlayıcıdır. Doğu Asya noktalama işaretlerindeki geniş ayraçtan 〛 farklıdır ve matematik formüllerine özgü boşluklandırmaya sahiptir.
⟦ ⟧ kuralı nereden çıkmıştır?
Mantıkçılar sözdizimi ile anlamı kesin olarak ayırmak için çift ayraç kullandı.
1960'ların ortasında mantıkçı Dana Scott, formüller karmaşıklaştıkça üstçizgi işaretlerinin okunaksızlaşması sebebiyle çift köşeli ayraçlara geçti. Christopher Strachey ve Scott bu gösterimi denotasyonel anlambilimde yerleştirdi, daha sonra dilbilime de yayıldı.
Bu kural net bir ayrım sağlar: Ayraçların içinde salt sözdizimsel kod yer alır; ayraçlı ifadenin tamamı ise ortaya çıkan matematiksel nesneyi veya doğruluk değerini simgeler.
Mantık, anlambilim ve bilgisayar biliminde kesinlikle teknik gösterim.
Sıradan mesajlarda kullanmayın; birçok cihazda boş bir kutu olarak görünür.
Bu koleksiyonların parçası
Birinin size bunu göndermesi ne anlama gelir
Yorumlar: 3İçteki ifadenin denotasyonu veya anlambilimsel yorumu.
Şununla karıştırmayın
3
İlgili karakterler
1
Birleşim fikirleri
2Bilinmesi gerekenler
- Dana Scott, iç içe geçen karmaşık formüllerde üstçizgilerin birbirine karışması nedeniyle çift ayraç sistemini geliştirmiştir.
Sık sorulan sorular
2Peş peşe iki normal ayraç ]] yazmakla aynı mıdır?
Hayır. ⟧, matematik yazı tiplerinde kusursuz çizgi kalınlığı ve aralık sunmak üzere tasarlanmış tek bir Unicode karakteridir.
Sosyal medyada veya mesajlarda bir anlamı var mıdır?
Hayır. Günlük konuşma diliyle ilişkisi yoktur ve telefon klavyelerinde bulunmaz.
Benzerleri
15
〉Sağ açılı ayraç
〈Sol açılı ayraç
❱Kalın sağa bakan açılı parantez süsü
❯Ağır sağa bakan açılı tırnak süsü
⟅S biçimli sol bag ayracı
⟆S biçimli sağ çoklu küme ayracı
⸍Sağ üst eksiltme ayracı
⟥Sağa çizgili içi boş kare
⟦Matematiksel sol beyaz köşeli ayraç
⟨Matematiksel sol açılı ayraç
+Artı işareti
<Küçüktür işareti
=Eşittir işareti
>Büyüktür işareti
|Dikey çizgiBu sembolü içeren koleksiyonlar: ⟧
2
⟧ nasıl yazılır veya bulunur
- Diğer adı
- sağ torba ayracı · Z gösterimi sağ torba sınırlayıcısı · sağ anlambilim ayracı
- Şu şekilde arayın
- torba ayracı · Scott ayraçları · çift köşeli ayraç · denotasyon ayracı · anlambilim ayracı · matematik ayracı · Z gösterimi · rrbracket
- Şurada görünür
- Metin alanları · görünümü kullanılan yazı tipine bağlıdır
⟧\27E7Kodlar ve kodlamaKod noktaları: 1
Görünür bir sembol birden fazla kod noktası içerebilir. JS .length UTF-16 birimlerini, UTF-8 ise baytları sayar.