Thành viên : Đăng nhập |Đăng ký |Kiến thức upload
Tìm kiếm
Tổ chức: khoa học máy tính [Sửa đổi ]
Khái niệm về thể chế đã được tạo ra bởi Joseph Goguen và Rod Burstall vào cuối những năm 1970 để đối phó với "bùng nổ dân số giữa các hệ thống logic được sử dụng trong khoa học máy tính". Khái niệm này cố gắng nắm bắt được bản chất của khái niệm "hệ thống logic".
Việc sử dụng các thể chế làm cho nó có thể phát triển các khái niệm về các ngôn ngữ đặc tả (như cấu trúc các đặc tả, tham số hóa, thực hiện, sàng lọc, phát triển), tính toán và thậm chí các công cụ theo cách hoàn toàn độc lập với hệ thống logic cơ bản. Cũng có những hình thái cho phép liên hệ và dịch các hệ thống logic. Các ứng dụng quan trọng của việc này là tái sử dụng cấu trúc lôgic (còn gọi là vay), đặc tả không đồng nhất và sự kết hợp của logic.
Sự lây lan của lý thuyết mô hình thể chế đã khái quát khái niệm khác nhau và kết quả của lý thuyết mô hình và các tổ chức mình đã ảnh hưởng đến sự tiến bộ của logic phổ quát.
[Dụng cụ][Lý thuyết mô hình]
1.Định nghĩa
2.Ví dụ về các tổ chức
[Tải lên Hơn Nội dung ]


Bản quyền @2018 Lxjkh