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
- Phân bố loài Candida spp. trên bệnh nhân viêm âm hộ - âm đạo do nấm
- Khó tiêu chức năng có dùng Itopride hydrochloride
- Đặc điểm lâm sàng, cận lâm sàng động kinh ở trẻ em tại Bệnh viện Nhi Thái Bình
- Hiệu quả điều trị loét tá tràng có nhiễm helicobacter pylori ở trẻ em bằng phác đồ 4 thuốc có bismuth tại Bệnh viện Nhi Thái Bình
- Kiến thức về bệnh sùi mào gà và một số yếu tố liên quan trên người bệnh sùi mào gà được điều trị tại Bệnh viện Da Liễu Hà Nội năm 2020