- 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
Một số phương pháp hợp giải để trả lời câu truy vấn đối với chương trình logic
Tổng quan về chương trình logic xác định; Phép hợp giải SLD; Phép hợp giải OLDT và SLG. 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
11 p husc 21/05/2024 36 0
Từ khóa: Khoa học máy tính, Chương trình logic, Phép hợp giải, Thực thi câu truy vấn, Truy vấn bàng ngôn ngữ
Tìm hiểu ngữ nghĩa chương trình datalog dạng tuyển có tính kế thừa và ứng dụng
Các khái niệm cơ sở về chương trình datalog dạng tuyển; Ngữ nghĩa chương trình datalog dạng tuyển có sự kế thừa. 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
11 p husc 04/04/2024 33 0
Từ khóa: Khoa học máy tính, Chương trình datalog, Hệ thống DLV, Thực thi chương trình, Datalog dạng tuyển
Bài giảng Lập trình C: Bài 2 - Võ Đức Hoàng
Mục tiêu của bài giảng là giới thiệu ngôn ngữ lập trình, sử dụng công cụ hỗ trợ lập trình, cấu trúc và cách thực thi chương trình, các khái niệm, ký hiệu, quy tắc trong, kiểu dữ liệu cơ sở, các toán tử, các hàm thư viện C cơ bản,... Mời các bạn cùng tham khảo.
75 p husc 30/07/2020 211 1
Từ khóa: Bài giảng Lập trình C, Lập trình C, Kỹ thuật lập trình, Kiểu dữ liệu cơ sở, Thực thi chương trình, Công cụ hỗ trợ lập trình
Tìm hiểu chương trình Datalog và ứng dụng.
Giới thiệu về hệ thống lập trình logic DLV , đưa ra một số ứng dụng của chương trình Datalog dạng tuyển . 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
11 p husc 27/09/2016 446 6
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog dạng tuyển, Hệ thống DLV, Cấu trúc chương trình, Thực thi chương trình.
Đăng nhập
Bộ sưu tập nổi bật
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.