Co oznacza ⦇
To obraz zbioru S przez relację R.
Relacja jest zbiorem powiązań między wartościami. S zawiera wartości początkowe, a R⦇S⦈ zbiera wszystkie wartości, do których prowadzą te powiązania. Jeśli na przykład R łączy osoby z książkami, które wypożyczyły, a S jest grupą osób, wynikiem będzie zbiór książek wypożyczonych przez kogokolwiek z tej grupy. Każda książka występuje w wyniku tylko raz, nawet jeśli wypożyczyło ją kilka osób.
Oba nawiasy obejmują S, a R stoi przed nimi. Sam nawias otwierający nie oznacza wyniku — robi to całe wyrażenie. Taki zapis spotkasz w specyfikacjach formalnych, czyli matematycznych opisach tego, co ma robić oprogramowanie lub inny system.
Specjalistyczna notacja matematyczna do specyfikacji Z i obrazów zbiorów przez relacje.
Pasującym znakiem zamykającym jest ⦈, a nie zwykły nawias okrągły.
Należy do kolekcji
Powiązane znaki
1
Warto wiedzieć
- Z wywodzi się z prac Jeana-Raymonda Abriala z końca lat 70. Rozwijano go w Oksfordzie, w latach 80. wykorzystywano w przemyśle, a później także nauczano w ramach metod formalnych.
Więcej podobnych
9
Jak wpisać lub znaleźć ⦇
- Szukaj jako
- nawias obrazu relacji · lewy nawias obrazu · notacja Z · limg · R⦇S⦈
- Pojawia się w
- Każde pole tekstowe · kształt zależy od czcionki
⦇\2987Kody i kodowaniePunkty kodowe: 1
Widoczny symbol może zawierać kilka punktów kodowych. JS .length liczy jednostki UTF-16, a UTF-8 liczy bajty.