Please use this identifier to cite or link to this item:
https://dspace.ctu.edu.vn/jspui/handle/123456789/104945
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Bùi, Việt Hà | - |
dc.contributor.author | Bùi, Duy Dương | - |
dc.date.accessioned | 2024-07-10T07:36:37Z | - |
dc.date.available | 2024-07-10T07:36:37Z | - |
dc.date.issued | 2024 | - |
dc.identifier.issn | 0866-7519 | - |
dc.identifier.uri | https://dspace.ctu.edu.vn/jspui/handle/123456789/104945 | - |
dc.description.abstract | Ngày nay, xử lý ngôn ngữ tự nhiên (NLP) và ngôn ngữ học máy tính đang phát triển nhanh chóng. Vì vậy, chúng đặt ra các vấn đề về mô hình ngữ nghĩa thích hợp cho các ngôn ngữ tự nhiên. Trong phạm vi bài viết, giới thiệu câu mệnh lệnh trong tư duy logic của Hoare. Tác giả đề xuất bổ sung và mô hình hóa những kết nối logic ảnh hưởng đến ngữ nghĩa của câu mệnh lệnh. Từ đó, sẽ hỗ trợ ngôn ngữ học tính toán bằng cách 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. | vi_VN |
dc.language.iso | vi | vi_VN |
dc.relation.ispartofseries | Tạp chí Ngôn ngữ;Số 02 .- Tr.30-36 | - |
dc.subject | Câu mệnh lệnh | vi_VN |
dc.subject | Ngôn ngữ tự nhiên | vi_VN |
dc.subject | Ngôn ngữ học máy tính | vi_VN |
dc.subject | Tư duy logic Hoare | vi_VN |
dc.title | Áp dụng lí thuyết logic của Hoare đối với câu mệnh lệnh | vi_VN |
dc.type | Article | vi_VN |
Appears in Collections: | Ngôn ngữ |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
_file_ Restricted Access | 2.66 MB | Adobe PDF | ||
Your IP: 3.144.95.167 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.