Co oznacza ⨡
Łączy dwa schematy i zostawia tylko zmienne drugiego. Notacja Z opisuje za pomocą teorii mnogości i logiki, co ma robić system komputerowy; powstała na Uniwersytecie Oksfordzkim od końca lat 70. i służy przy oprogramowaniu krytycznym. Jej podstawą jest schemat: nazwana ramka z deklaracjami zmiennych i warunkami, które muszą spełniać.
S ⨡ T oznacza: weź wszystko, czego wymagają razem S i T (jak koniunkcja S T), a potem ukryj każdą zmienną niezadeklarowaną w T. Reguły S nadal obowiązują, ale z zewnątrz widać tylko nazwy z T.
Należy do kolekcji
Nie myl z
1
Powiązane znaki
2
Warto wiedzieć
- Unicode 3.2 dodał w 2002 roku zestaw operatorów notacji Z — w tym samym roku Z stała się normą międzynarodową ISO/IEC 13568.
Najczęstsze pytania
2Czym projekcja różni się od ukrywania?
Ukrywanie mówi, co odrzucić; projekcja mówi, co zostawić, wskazując drugi schemat, którego zmienne pozostają.
Dlaczego ⨡ wyświetla się jako kwadracik?
Twoja czcionka go nie ma. Czcionki matematyczne, np. Cambria Math czy STIX Two, go zawierają.
Więcej podobnych
9
Jak wpisać lub znaleźć ⨡
- Znany też jako
- projekcja schematu · operator projekcji · projekcja Z
- Szukaj jako
- notacja Z · zproject · \project · symbol projekcji Z · specyfikacja formalna
- Pojawia się w
- Każde pole tekstowe · kształt zależy od czcionki
⨡\2A21\project.Kody i kodowaniePunkty kodowe: 1
Widoczny symbol może zawierać kilka punktów kodowych. JS .length liczy jednostki UTF-16, a UTF-8 liczy bajty.