» Từ khóa: xac dinh ngu nghia

Kết quả 1-4 trong khoảng 4

Sự biểu đạt thời gian trong ca dao Thừa Thiên Huế

Những vấn đề chung; Các từ ngữ biểu đạt thời gian trong ca dao Thừa Thiên Huế; Giá trị thẫm mỹ của các hình thức ngôn ngữ biểu đạt thời gian trong ca dao Thừa Thiên Huế. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

20 p husc 03/01/2024 110 0

Từ khóa: Ngôn ngữ học, Chủ nghĩa duy vật, Nhận diện thời gian, Ngôn ngữ văn chương, Ca dao Thừa Thiên Huế, Thời gian hồi tưởng, Thời gian không xác định, Biểu trưng nghệ thuật, Biểu trưng văn hóa
Tìm hiểu ngữ nghĩa chương trình Logic mở rộng và ứng dụng.

Trình bày cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Các chương trình này cho phép phủ định mạnh và phủ định mặc định mở rộng của mô hình bền vững. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

10 p husc 27/09/2016 322 2

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Logic xác định, Ngữ nghĩa mô hình, Biên dịch hệ thống, Hệ thống DL-EX.
Tìm hiểu một số phương pháp hợp giải trong việc định giá câu truy vấn đối với chương trình logic

Trình bày những khái niệm cơ sở của chương trình logic. Ngữ nghĩa của chương trình logic xác định. Phép hợp giải SLD đối với chương trình logic xác định. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

5 p husc 01/06/2016 265 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog
Tìm hiểu về chương trình Datalogfs và ứng dụng.

Trình bày về cú pháp, ngữ nghĩa của chương trình DatalogFS, phân tầng khả năng biểu diễn DatalogFS bàng ngôn ngữ lập trình C#. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

5 p husc 31/05/2016 273 3

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Phủ định phân tầng, Mô hình khuếch tán, Xác định ngữ nghĩa, Ngữ nghĩa mô hình