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
- Bước đầu khảo sát đặc điểm biến thể xoang tĩnh mạch sọ não trên MRI ở bệnh nhân đau đầu mạn tính
- Độ sâu xâm lấn trên cộng hưởng từ và tình trạng di căn hạch cổ ở ung thư lưỡi
- U thận chứa mỡ ở trẻ em: Báo cáo ca bệnh u quái thận nguyên phát và u nguyên bào thận dạng quái
- Đánh giá độ dày xương và mô mềm khẩu cái trên phim CBCT (Cone-Beam Computed Tomography)
- Nhận thức về vi-rút HPV của sinh viên y dược: Từ những hiểu lầm về phòng bệnh đến sự thiếu hụt kiến thức ở nam giới