fsymbols
🔍
Завантаження символів…
››
⨟

Композиція схем у нотації Z

Композиція схем у нотації Z

⨟ позначає композицію схем у нотації Z: він поєднує два описи операцій системи в один. Проміжні змінні, що їх з’єднують, приховуються в результаті. Z — математична нотація для формального опису комп’ютерних систем.

Текстовий символ
Шукайте як
композиція схем · нотація Z · оператор схем Z · схеми Z · числення схем · формальна специфікація
Використовується в
У будь-якому текстовому полі · його вигляд залежить від шрифту

Що означає ⨟

Він поєднує дві схеми Z — іменовані описи системи. Схема — це іменований блок змінних і умов, що описує стан системи або її операцію. Змінні стану після першої операції відповідають змінним стану, якого очікує друга операція перед початком; у результаті Z приховує цей спільний проміжний стан.

Нотацію Z задумали наприкінці 1970-х років, щоб описувати комп’ютерні системи за допомогою математики; вона розвивалася протягом 1980-х. Перший широко опублікований довідковий посібник з’явився 1989 року. Z спирається на теорію множин — математику про сукупності — і логіку предикатів, яка виражає умови, що можуть бути істинними або хибними.

Використовуйте ⨟ лише в нотації Z

Це оператор числення схем Z, тобто правил поєднання схем. Він не позначає загальну композицію функцій або відношень.

Не плутайте з

1
⨾
Композиція відношень у нотації Z
⨾ позначає композицію відношень у нотації Z, а ⨟ — композицію схем. Це різні оператори.

Як набрати ⨟

Windows (Word)
Alt+XВведіть 2A1F, потім натисніть Alt+X, щоб отримати ⨟.
Windows
Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win + .).
macOS
Control+Command+SpaceВідкрийте переглядач символів і знайдіть «z notation schema composition».
Linux
Ctrl+Shift+UВведіть 2a1f, потім натисніть Enter або пробіл.
HTML
⨟
CSS
\2A1F
Коди й кодуванняКодових точок: 1
HTML десятковий
⨟
HTML шістнадцятковий
⨟
Вміст CSS
content: "\2A1F";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%A8%9F
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8

Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.

Групи цього символу

1

Математика й числаСимволів: 1 835

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣