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
- Một số phương tiện biểu đạt lịch sự của hành vi ngôn ngữ phàn nàn trong tiếng Việt
- Ẩn dụ ý niệm về tài chính trong tiếng Việt nhìn từ miền nguồn lửa
- Nghiên cứu cấu trúc thể loại của diễn ngôn tuyên bố tầm nhìn của các cơ sở giáo dục Đại học ở Việt Nam
- Vai trò của từ gần nghĩa trong tiếng Hán
- Chiến lược sử dụng ngôn ngữ đánh giá trong diễn ngôn báo chí về thiên tai: Phân tích diễn ngôn trong hai bản tin tiếng Anh về bão Yagi