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
- Chất lượng cuộc sống của người bệnh sau phẫu thuật thay khớp gối toàn phần tại Bệnh viện Hữu nghị Việt Đức năm 2025
- Đặc điểm dịch tễ học, lâm sàng, thực trạng sơ cứu và xử trí ban đầu bệnh nhân rắn độc cắn tại Bệnh viện Hữu nghị Đa khoa Nghệ An
- Giá trị của thang điểm Rajan's Heart Failure (R-hf) trong tiên lượng kết cục ngắn hạn ở bệnh nhân suy tim mất bù cấp
- Đánh giá chức năng gan và thận ở bệnh nhân HIV điều trị ARV tại Bệnh viện Thành phố Thủ Đức trong giai đoạn 2023-2024 và các yếu tố liên quan
- Tỷ lệ mắc và một số nguyên nhân gây tổn thương thận cấp ở trẻ sơ sinh tại trung tâm sơ sinh, Bệnh viện Nhi Trung ương