ماذا يعني ⟦
إنه يفتح زوجًا خاصًا؛ والترميز هو ما يحدد ما يحيط به. يعتمد معنى القوس المزدوج على المجال: في الدلالة الشكلية، يشير ⟦M⟧ إلى مدلول M، أي الكائن الرياضي أو قيمة الصدق المسندة إلى تعبير لغوي أو برنامج.
في ستينيات القرن العشرين، انتقل دانا سكوت من الخطين المزدوجين إلى الأقواس لتمثيل قيمة صدق الصيغة عندما ازدادت الصيغ طولًا. ويُعد عمله المنشور عام 1967 مثالًا مطبوعًا مبكرًا على استخدام الأقواس للدلالة. ولهذا تحمل طريقة الترميز الدلالية اسم سكوت.
لماذا يشير الزوج نفسه أيضًا إلى مجموعة متعددة العناصر؟
في ترميز Z، يحيط بمجموعة متعددة العناصر.
يمكن أن يدل ⟦B⟧ على مجموعة متعددة العناصر: مجموعة تحتفظ بالعناصر المكررة ويهم فيها عدد مرات ظهور كل عنصر. هذا اصطلاح ترميزي مستقل؛ ويُعرف من سياق مواصفة Z المحيطة، لا من الأقواس وحدها.
جزء من المجموعات
ماذا يعني عندما يرسله إليك أحد
تفسيرات: 2مدلول M: الكائن أو قيمة الصدق المسندة إليه.
لا تخلطه مع
1أسئلة يطرحها الناس
1لماذا يبدو ⟦ عريضًا أكثر من اللازم؟
المحدِّد الرياضي مصمم ليكون ضيقًا، ولطباعة CJK أشكال عريضة منفصلة. إذا ظهر هذا الحرف عريضًا، فقد يكون الخط أو تخطيط النص يطبّق تباعد CJK.
مجموعات تتضمن ⟦
2كيف تكتب ⟦ أو تجده
- يُسمّى أيضًا
- القوس المزدوج الأيسر · القوس المربع المزدوج · قوس سكوت
- ابحث عنه كـ
- llbracket · القوس المزدوج · القوس الدلالي · قوس المجموعة في Z · قوس المجموعة متعددة العناصر
- يظهر في
- أي حقل نصي · شكله تحدده الخطوط
⟦\27E6stmaryrd الأمرين \llbracket و\rrbracket؛ اكتبهما حول M.\[\![M]\!] لإنشاء زوج الأقواس المزدوجة المقابل.الأكواد والترميزنقاط الترميز: 1
قد يتكون الرمز الظاهر من عدة نقاط ترميز. تحسب JS .length وحدات UTF-16، بينما يحسب UTF-8 البايتات.







