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á nguy cơ ngã của người bệnh viêm khớp dạng thấp bằng thang điểm morse tại Bệnh viện Đại học Y Hà Nội
- Thực trạng lo âu và một số yếu tố liên quan ở người bệnh đến tiêm và hút dịch khớp tại Bệnh viện Đại học Y Hà Nội
- Đặc điểm hình thái tuyến giáp trên siêu âm ở phụ nữ sau mãn kinh
- Bước đầu đánh giá kết quả điều trị tắc động mạch phổi cấp ở bệnh nhân cao tuổi
- Thực trạng và kết quả điều trị thiếu máu ở người bệnh phẫu thuật chỉnh hình lớn tại Bệnh viện Đại học Y Hà Nội giai đoạn 2023-2024