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
- Tỷ lệ đọ chéo tiền ghép thận dương tính do kháng thể IGM xác định bằng phương pháp bất hoạt kháng thể bằng nhiệt độ tại bệnh viện Chợ Rẫy
- Đánh giá đáp ứng sau hóa trị tân hỗ trợ bằng phác đồ Docetaxel, Carboplatin và Trastuzumab ở bệnh nhân ung thư vú có thụ thể HER2 dương tính giai đoạn II, III
- Đặc điểm lâm sàng và đánh giá hiệu quả điều trị tấn công bệnh bạch cầu cấp ở trẻ nhũ nhi tại bệnh viện Truyền máu Huyết học
- Đánh giá hiệu quả điều trị của eltrombopag phối hợp với antithymocyte globulin và cyclosporine trên bệnh suy tủy xương người lớn tại bệnh viện Truyền máu Huyết học
- Phân tích các yếu tố ảnh hưởng đến tình trạng tái phát trong bệnh bạch cầu cấp dòng tủy ở trẻ em