Ngoặc đóng liên kết trong ký pháp Z

⦊ là dấu ngoặc đóng liên kết trong ký pháp Z, một ngôn ngữ toán học mô tả cách phần mềm và các hệ thống khác cần hoạt động. Dấu mở tương ứng là ⦉. Cặp ngoặc bao quanh các giá trị có tên được xem như một đối tượng, tương tự bản ghi gồm những trường có nhãn.

Ký hiệu văn bản

⦊ có nghĩa là gì

Nó đóng một tập hợp tên và các giá trị tương ứng. Trong Z, tập hợp này được gọi là liên kết. Hãy hình dung một bản ghi chứa tên và tuổi của một người: mỗi trường có tên và giá trị, còn toàn bộ bản ghi là một đối tượng.

Hai dấu ngoặc xác định ranh giới của đối tượng ấy; ⦊ đánh dấu điểm kết thúc. Đây là một ký tự toán học riêng, nên thay bằng ] thông thường sẽ làm thay đổi ký pháp.

Z phát triển trong các thập niên 1970 và 1980 từ lý thuyết tập hợp, ngành toán học nghiên cứu các tập hợp, và logic vị từ, dùng để biểu đạt các mệnh đề về đối tượng. Z cho phép mô tả chính xác trạng thái và các thao tác của hệ thống mà không cần viết chương trình thực hiện chúng.

Ký pháp toán học chuyên môn dùng để mô tả hệ thống một cách hình thức.