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ối ưu hóa thiết kế dạy học bằng mô hình TPACK và SAMR trong giáo dục nghề nghiệp gắn chuyển đổi số thực chất và hiệu quả
- Đặc điểm của nhóm động từ không độc lập trong báo cáo chính trị tại các kì đại hội đảng toàn quốc (từ đại hội II đến đại hội XIV)
- Khung hoá nỗi đau như một sinh thể: Phân tích ẩn dụ gốc đời sống trong thơ Hàn Mặc Tử bằng mô hình CMA bốn tầng
- Các phương tiện biểu hiện nghĩa tình thái ý kiến của phát ngôn hỏi trong chương trình bạn muốn hẹn hò
- Đặc điểm về từ ngữ trong luật dân sự của nước Cộng hòa nhân dân Trung Hoa