Báo cáo tài liệu vi phạm
Giới thiệu
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
THỊ TRƯỜNG NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
NGÀNH HÀNG
NÔNG NGHIỆP, THỰC PHẨM
Gạo
Rau hoa quả
Nông sản khác
Sữa và sản phẩm
Thịt và sản phẩm
Dầu thực vật
Thủy sản
Thức ăn chăn nuôi, vật tư nông nghiệp
CÔNG NGHIỆP
Dệt may
Dược phẩm, Thiết bị y tế
Máy móc, thiết bị, phụ tùng
Nhựa - Hóa chất
Phân bón
Sản phẩm gỗ, Hàng thủ công mỹ nghệ
Sắt, thép
Ô tô và linh kiện
Xăng dầu
DỊCH VỤ
Logistics
Tài chính-Ngân hàng
NGHIÊN CỨU THỊ TRƯỜNG
Hoa Kỳ
Nhật Bản
Trung Quốc
Hàn Quốc
Châu Âu
ASEAN
BẢN TIN
Bản tin Thị trường hàng ngày
Bản tin Thị trường và dự báo tháng
Bản tin Thị trường giá cả vật tư
Thông tin
Tài liệu Xanh là gì
Điều khoản sử dụng
Chính sách bảo mật
0
Trang chủ
Luận Văn - Báo Cáo
Báo cáo khoa học
Báo cáo nghiên cứu khoa học: " NGỮ NGHĨA THỦ TỤC CỦA CHƯƠNG TRÌNH LOGIC CÓ RÀNG BUỘC"
Đang chuẩn bị liên kết để tải về tài liệu:
Báo cáo nghiên cứu khoa học: " NGỮ NGHĨA THỦ TỤC CỦA CHƯƠNG TRÌNH LOGIC CÓ RÀNG BUỘC"
Anh Thơ
124
11
pdf
Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG
Tải xuống
Lập trình logic ràng buộc (CLP) là một hướng mở rộng của lập trình logic, đã được nhiều người đầu tư nghiên cứu và có thể tìm thấy trong nhiều công trình [1], [2], [3], [8]. Cơ chế lập trình này đưa. | TẠP CHÍ KHOA HỌC Đại học Huế Số 53 2009 NGỮ NGHĨA THỦ TỤC CỦA CHƯƠNG TRÌNH LOGIC CÓ RÀNG BUỘC Trương Công Tuấn Trường Đại học Khoa học Đại học Huế Trần Thị Ngọc Trang Trung tâm Công nghệ thông tin Đại học Huế TÓM TẮT Lập trình logic ràng buộc CLP là một hướng tiếp cân mới trong lập trình logic được ra đời bởi sự kết hợp tính khai báo của lập trình logic với tính hiệu quả của quá trình giải quyết ràng buộc. Trong bài báo này chúng tôi tập trung trình bày ngữ nghĩa thủ tục của chương trình logic có ràng buộc thông qua các dẫn xuất và cây suy dẫn từ đích đồng thời ch ra những điều kiện trên hàm xử lý ràng buộc để đảm Mo rằng ngữ nghĩa này là độc lập với các quy tắc chọn literal trong đích. I. Mở đầu Lập trình logic ràng buộc CLP là một hướng mở rộng của lập trình logic đã được nhiều người đầu tư nghiên cứu và có thể tìm thấy trong nhiều công trình 1 2 3 8 . Cơ chế lập trình này đưa ra một khung hình thức với việc tổng quát hóa các hệ phương trình hạng thức trong lập trình logic thành các ràng buộc từ miền tính toán đã được định nghĩa trước. Việc nghiên cứu ngữ nghĩa của các ngôn ngữ CLP đã thực sự hữu dụng trong việc mô hình hóa hệ thống và giải quyết các bài toán tối ưu phức tạp trong cuộc sống. Trong bài báo này chúng tôi nghiên cứu ngữ nghĩa thủ tục của chương trình logic có ràng buộc và chỉ ra những điều kiện trên hàm xử lý ràng buộc để đảm bảo rằng ngữ nghĩa này là độc lập với các quy tắc chọn literal trong đích. II. Một số định nghĩa và khái niệm cơ sở Phần này chỉ trình bày tóm tắt một số khái niệm cơ sở của chương trình logic có ràng buộc chi tiết đầy đủ hơn cũng như một số khái niệm khác của lập trình logic có thể xem trong 10 . 2.1. Miền ràng buộc Định nghĩa 2.1. Bộ ký hiệu là một tập hữu hạn khác rỗng các ký hiệu bao gồm các ký hiệu hàm và ký hiệu vị từ. Mỗi ký hiệu có một số tự nhiên kèm theo gọi là bậc của ký hiệu. Bộ ký hiệu thường được ký hiệu là 145 Định nghĩa 2.2. Cho bộ ký hiệu Y một Y-cẳu trúc ký hiệu là D là một thể hiện của các ký hiệu trong Y bao
TÀI LIỆU LIÊN QUAN
Báo cáo nghiên cứu khoa học: "Quan hệ giữa cấu trúc và ngữ nghĩa câu văn trong tập truyện ngắn “Đêm tái sinh” của tác giả Trần Thuỳ Mai"
BÁO CÁO "NGHIÊN CỨU NGỮ NGHĨA CỦA TỪ ĐA NGHĨA “COEUR” (TIM) TRONG TIẾNG PHÁP VÀ CÁC CHUYỂN DỊCH SANG TIẾNG VIỆT "
Báo cáo nghiên cứu khoa học: "NGHIÊN CỨU VÀ TRIỂN KHAI LINKED DATA CHO CÁC ỨNG DỤNG WEB NGỮ NGHĨA"
Báo cáo nghiên cứu khoa học: "Cấu trúc nghĩa của các phát ngôn tục ngữ nói về các quan hệ trong gia đình người Việt"
Báo cáo nghiên cứu khoa học: "Nhóm thành ngữ so sánh [t 1 như B] và việc giải nghĩa từ láy tiếng Việt"
Báo cáo nghiên cứu khoa học: " PHƯƠNG PHÁP PHÁT HIỆN DỊCH VỤ WEB NGỮ NGHĨA VÀ ỨNG DỤNG TRONG CỘNG TÁC DOANH NGHIỆP"
Báo cáo nghiên cứu khoa học: " NGỮ NGHĨA VÀ PHƯƠNG PHÁP ĐỊNH GIÁ TRUY VẤN ĐỐI VỚI CƠ SỞ DỮ LIỆU SUY DIỄN CÓ YẾU TỐ THỜI GIAN"
Báo cáo nghiên cứu khoa học: "WEB NGỮ NGHĨA: NHỮNG THÁCH THỨC VÀ HƯỚNG TIẾP CẬN MỚI"
Báo cáo nghiên cứu khoa học: "SEMADESK: KHUNG ỨNG DỤNG NGỮ NGHĨA QUẢN LÝ THÔNG TIN DESKTOP"
Báo cáo nghiên cứu khoa học: " NGỮ NGHĨA THỦ TỤC CỦA CHƯƠNG TRÌNH LOGIC CÓ RÀNG BUỘC"
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.