CSDL Bài trích Báo - Tạp chí
Áp dụng lí thuyết Logic của Hoare đối với câu mệnh lệnh
Tác giả: Bùi Việt Hà, Bùi Duy Dương
Số trang:
Tr. 30-36.
Số phát hành:
Số 2 (400)
Kiểu tài liệu:
Tạp chí trong nước
Nơi lưu trữ:
03 Quang Trung
Mã phân loại:
400
Ngôn ngữ:
Tiếng Việt
Từ khóa:
Câu mệnh lệnh, lí thuyết logic, hoare
Chủ đề:
Tiếng Việt--Ngữ pháp
Tóm tắt:
Trình bày một số vấn đề về áp dụng lí thuyết Logic của Hoare đối với câu mệnh lệnh. Từ đó, sẽ hỗ trợ ngôn ngữ học tính toán bằng cách tái tạo ra mô hình ngữ nghĩa với những công thức nhằm xử lí câu mệnh lệnh một cách rõ ràng và chính xác hơn.
Tạp chí liên quan
- Đánh giá sự hài lòng của khách du lịch với ẩm thực đường phố tại thành phố Đà Nẵng = Evaluation of tourist satisfaction on street food in Da Nang city
- Đánh giá sự hài lòng của du khách đối với chất lượng điểm đến du lịch nông thôn tại Hội An, tỉnh Quảng Nam = Evaluating tourist satisfaction with the quality of rural
- Khai thác các giá trị của danh thắng Ngũ Hành Sơn - Đà Nẵng trong hoạt động du lịch = Exporing the values of Danang Marble Mountains in tourism activities
- Tác động của khả năng sinh lợi và cơ hội tăng trưởng đến cấu trúc vốn của 100 doanh nghiệp niêm yết hàng đầu Việt Nam = Impact of profitability and growth opportunities on capital structure of the top 100 listed enterprises in Vietnam
- Phân tích các nhân tố ảnh hưởng đến sự hài lòng của khách hàng về chất lượng dịch vụ dược tại các nhà thuốc Bệnh viện Trung ương Huế = Analyzing the factors influencing customer satisfaction with pharmaceutical service quality at hospital pharmacies - Hue