- 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
Chương trình Logic tập trả lời (ASP) và ứng dụng để biểu diễn tri thức.
Các khái niệm cơ sở; Chương trình Logic tập trả lời; Ứng dụng của chương trình logic tập trả lời để biểu diễn tri thức. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447
13 p husc 17/12/2024 4 0
Từ khóa: Khoa học máy tính, Ngôn ngữ bậc nhất, Ngôn ngữ logic, Chương trình logic, Hệ thống Clingo, Thuật ngữ xây dựng, Bài toán ứng dụng.
Tìm hiểu ngữ nghĩa và phướng pháp định giá truy vấn đối với chương trình Datalog mô tả
Tổng quan về chương trình datalog và logic mô tả; Ngữ nghĩa của chương trình datalog mô tả; Phương pháp trả lời câu truy vấn và ứng dụng của chương trình datalog mô tả. 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 37 0
Từ khóa: Khoa học máy tính, Chương trình datalog, Logic mô tả, Ứng dụng chương trình, Cài đặt bài toán
Bài giảng Chính phủ điện tử - Chương 3: Ứng dụng chính phủ điện tử
Bài giảng Chính phủ điện tử - Chương 3: Ứng dụng chính phủ điện tử. Chương này cung cấp cho sinh viên những nội dung kiến thức về: ứng dụng chính phủ điện tử ở cấp độ quốc tế; ứng dụng chính phủ điện tử ở cấp độ quốc gia và địa phương;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
24 p husc 22/03/2024 23 0
Từ khóa: Bài giảng Chính phủ điện tử, Chính phủ điện tử, Ứng dụng chính phủ điện tử, Điện toán đám mây tư nhân, Quản lý nội dung doanh nghiệp, Chương trình chính phủ
Phân lớp dữ liệu với thuật toán mạng Neural
Tổng quan về học máy và trí tuệ nhân tạo; Một số thuật toán phân lớp dữ liệu phổ biến - mạng Neural. 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
10 p husc 16/01/2024 49 0
Từ khóa: Toán ứng dụng, Hồi quy, Phân nhóm, Phân cụm, Dịch tự động, Hồi quy tuyến tính, Chương trình python
Tìm hiểu hệ thống lập trình logic Clingo và ứng dụng
Tổng quan về lập trình trả lời; Hệ thống lập trình tập trả lời của Clingo; Một số bài toán ứng dụng. 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
12 p husc 28/12/2023 62 0
Từ khóa: Khoa học máy tính, Chương trình logic, Hệ thống clingo, Hệ thống lập trình, Bài toán ứng dụng
Thiết kế thiết bị ngoại vi không dây chuẩn USB hỗ trợ điều khiển, cấu hình hệ thống
Bài viết này trình bày kết quả nghiên cứu và thiết kế một thiết bị ngoại vi không dây chuẩn USB (Universal Serial Bus) được gọi là “Touch USB”, thông qua thiết bị này nhiều ngoại vi khác nhau có thể kết nối với máy tính qua cổng USB.
9 p husc 29/06/2020 158 1
Từ khóa: Vi điều khiển, Cảm ứng điện dung, Thiết kế thiết bị ngoại vi không dây, Thiết kế Touch USB, Chương trình điều khiển giao tiếp ngoại vi
Tìm hiểu việc kết hợp của Logic mô tả và Datalog dạng tuyển
Giới thiệu tổng quan về Datalog dạng tuyển trong đó có cú pháp, ngữ nghĩa của Datalog dạng tuyển. đưa ra bài toán ứng dụng thực tế mô tả công tác thi và tổ chức thi cuối kỳ của phòng khảo thí trường Đại học Tây Nguyên sử dụng việc tích hợp của logic mô tả và Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...
11 p husc 10/01/2018 325 1
Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Bài toán ứng dụng, Logic mô tả
Tìm hiểu việc kết hợp ngữ nghĩa lập trình logic với logic mô tả
Trình bày tổng quan về logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả thông qua một số bài toán và sử dụng hệ thống lập trình logic DLV kết hợp với hệ thống lập luận OWL RACER để thực thi các bài toán. 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
10 p husc 10/01/2018 310 1
Từ khóa: Công nghệ thông tin, Chương trình logic, Logic thông thường, Logic mô tả, Bài toán ứng dụng, Mô hình bền vững
Tìm hiểu việc biểu diễn tri thức trong A-PROLOG.
Trình bày một mở rộng của A-Prolog, gọi là DA-Prolog, trong đó phần đầu của các mệnh đề trong chương trình A-Prolog có chứa phép tuyển logic. 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 30/12/2016 250 1
Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Phủ định mặc định, Phủ định mạnh, Chương trình A-PROLOG, Phần mềm SMODELS, Chạy ứng dụng.
Xây dựng ngôn ngữ mô tả cơ sở tri thức motor suy diễn phục vụ chứng minh bài toán hình học phổ thông
Gồm 4 chương: 1. Chứng minh bài toán hình học có sự trợ giúp của máy tính; 2. Xây dựng ngôn ngữ mô tả cơ sở tri thức; 3. Thiết kế mô tơ suy diễn trợ giúp chứng minh; 4. Chương trình. 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
2 p husc 27/11/2015 226 1
Từ khóa: Tin học, Công nghệ thông tin, Chương trình ứng dụng, Ngôn ngữ mô tả, Chứng minh bài toán, Hình học, Motor suy diễn, Trợ giúp chứng minh
Xây dựng hệ chương trình ứng dụng
Gồm: 1. Trình ứng dụng tạo menu builder; 2. Trình ứng dụng nén file theo mã huffman; 3. Trình ứng dụng chuyển mã code converter. 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
2 p husc 27/11/2015 326 1
Từ khóa: Tin học, Công nghệ thông tin, Chương trình ứng dụng, Nén file, Menu builder, Chuyển mã code converter, Mã huffman, Xây dựng các bảng mã
Bài giảng Hệ điều hành Unix: Chương 3 - Ngô Duy Hòa
Chương 3 của bài giảng Hệ điều hành Unix giới thiệu một số chương trình ứng dụng cơ bản dành cho người dùng thường và người quản trị. Bài giảng cũng trình bày về hoạt động quản lý chương trình ứng dụng như cách cài đặt và tháo gỡ. Mời các bạn cùng tham khảo.
19 p husc 23/11/2015 221 1
Từ khóa: Hệ điều hành Unix, Bài giảng Hệ điều hành Unix, Chương trình ứng dụng, Quản lý chương trình ứng dụng, Linux Office, System Settings Menu
Đă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.