» Từ khóa: chương trình máy tính

Các khái niệm cơ sở của chương trình logic; Ngữ nghĩa tập trả lời của chương trình logic; Ứng dụng của chương trình logic với ngữ nghĩa tập trả lời. 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

 12 p husc 08/11/2024 8 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Ngôn ngữ bậc nhất, Xây dựng mô hình, Hệ thống clingo, Tập trả lời.

Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 9: Hàm, được biên soạn gồm các nội dung chính sau: Khái niệm hàm; Khai báo hàm; Đối số của hàm - đối số là tham trị; Kết quả trả về của hàm - lệnh RETURN; PROTOTYPE của một hàm; Hàm đệ quy. Mời các bạn cùng tham khảo!

 49 p husc 16/06/2024 18 0 Download

Từ khóa: Bài giảng Hệ thống máy tính, Ngôn ngữ C, Hệ thống máy tính, Khai báo hàm, Hàm đệ quy, Chương trình con

Bài giảng Hệ thống máy tính và ngôn ngữ C - Chương 5: Lập trình hợp ngữ LC, được biên soạn gồm các nội dung chính sau: Lập trình hợp ngữ; Các thành phần của một chương trình hợp ngữ; Quá trình hợp dịch; Chương trình với nhiều modul. Mời các bạn cùng tham khảo!

 35 p husc 16/06/2024 22 0 Download

Từ khóa: Bài giảng Hệ thống máy tính, Ngôn ngữ C, Hệ thống máy tính, Lập trình hợp ngữ LC-3, Lập trình hợp ngữ, Quá trình hợp dịch, Chương trình hợp ngữ

Bài giảng CAD/CAM - Chương 7: Điều khiển số nhờ máy tính - CNC. Chương này cung cấp cho học viên những nội dung gồm: tổng quan về máy CNC; đặc điểm của máy CNC; dụng cụ cắt dùng trên máy CNC; cấu trúc chương trình CNC; cấu trúc của một block; cấu trúc một từ lệnh;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 23 p husc 16/06/2024 11 0 Download

Từ khóa: Bài giảng CAD/CAM, Môn học CAD/CAM, Điều khiển số nhờ máy tính, Computer numerical control, Máy CNC, Cấu trúc chương trình CNC

Tổng quan về chương trình Datalog dạng tuyển; Chương trình Datalog dạng tuyển có thứ tự ưu tiên; Ứng dụng của chương trình Datalog dạng tuyển có thứ tự ưu tiê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

 11 p husc 21/05/2024 48 0 Download

Từ khóa: Khoa học máy tính, Chương trình datalog, Datalog dạng tuyển, Lập luận phỏng đoán, Phỏng đoán cực tiểu, Thủ tục tính tập, Hệ thống DLV

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 33 0 Download

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ổng quan về các cơ chế điều khiển tránh tắc nghẽn trong mạng TCP/IP; Quản lý hàng đợi RED và các cải tiến hàng đợi SRED và RARED; Cài đặt mô phỏng và đánh giá hiệu nă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 21/05/2024 15 0 Download

Từ khóa: Khoa học máy tính, Điều khiển tắc nghẽn, Quản lý hàng đợi, Hàng đợi Red, Thuật toán Red, Chương trình mô phỏng, Tận dụng băng thông

Tổng quan về chương trình Datalog; Chương trình Datalog dạng tuyển; Ứng dụng 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: 02343. 822440 - 02343. 832447

 11 p husc 06/05/2024 14 0 Download

Từ khóa: Khoa học máy tính, Ngôn ngữ logic, chương trình datalog, Datalog dạng tuyển, Ràng buộc mạnh, Ràng buộc yếu, Hệ thống DLV, Bài toán tìm đường, Bài toán tô màu

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 35 0 Download

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

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 31 0 Download

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

Giới thiệu Logic mô tả; Web ngữ nghĩa và ngôn ngữ Ontology dành cho Web Owl 2; Xây dựng Ontology Owl 2 biểu diễn cơ sở tri thức về chương trình đào tạo đại học và ứ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

 11 p husc 27/02/2024 50 0 Download

Từ khóa: Khoa học máy tính, Logic mô tả, Web ngữ nghĩa, Ngôn ngữ Ontology, Cây phân lớp, Định nghĩa lớp phức, Kiểu dữ liệu, Bài toán xây dựng, Chương trình java

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 59 0 Download

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