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
- Đặc điểm lâm sàng, cận lâm sàng bệnh nhân gãy kín đầu dưới xương đùi được phẫu thuật kết hợp xương bằng nẹp khóa tại Bệnh viện Đa khoa Trung ương Cần Thơ
- Phân tích một số yếu tố liên quan đến thực trạng nuôi dưỡng ở người bệnh viêm tụy cấp tại Bệnh viện Đại học Y Hà Nội
- Thực trạng hội chứng dễ bị tổn thương ở người bệnh cao tuổi mắc suy tim mạn tính
- Đặc điểm hình ảnh thoát vị đĩa đệm trên cộng hưởng từ và triệu chứng lâm sàng ở bệnh nhân chèn ép rễ thần kinh hông to
- Thực trạng cấp cứu ngoại viện bệnh nhân chấn thương sọ não tại một số Bệnh viện tại Hà Nội