- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Sự biểu đạt thời gian trong ca dao Thừa Thiên Huế
Những vấn đề chung; Các từ ngữ biểu đạt thời gian trong ca dao Thừa Thiên Huế; Giá trị thẫm mỹ của các hình thức ngôn ngữ biểu đạ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 108 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 319 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 263 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 271 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
Đăng nhập
Bộ sưu tập nổi bật
Bộ sưu tập tài liệu Toán học hay
24 7811
17 13600
Tuyển tập tác phẩm văn học hay
15 7856
Tin nhanh
Công bố quyết định bổ nhiệm Phó Hiệu trưởng nhiệm kỳ 2009 – 2014.
Hội Cựu giáo chức Trường Đại học Khoa học Huế: Gặp mặt đầu năm Xuân Nhâm Thìn 2012.
Lễ kỷ niệm 82 năm thành lập Đảng Cộng Sản Việt Nam (3/2/1930 – 3/2/2012)
Gặp mặt chúc Tết cán bộ của Trường nghỉ hưu tại Huế nhân dịp Tết Nhâm Thìn 2012.