» Từ khóa: thuc thi chuong trinh

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

Một số phương pháp hợp giải để trả lời câu truy vấn đối với chương trình logic

Tổng quan về chương trình logic xác định; Phép hợp giải SLD; Phép hợp giải OLDT và 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 32 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ữ
Tìm hiểu ngữ nghĩa chương trình datalog dạng tuyển có tính kế thừa và ứng dụng

Các khái niệm cơ sở về chương trình datalog dạng tuyển; Ngữ nghĩa chương trình datalog dạng tuyển có 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 30 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 207 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 441 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.