» Từ khóa: logic

Bài giảng Cơ sở Trí tuệ nhân tạo‎: Chương 3 Biễu diễn tri thức cung cấp cho người học những kiến thức như: Khái niệm; Biễu diễn tri thức bằng Logic hình thức; Biễu diễn tri thức bằng mạng ngữ nghĩa; Biễu diễn tri thức bằng hệ luật dẫn. Mời các bạn cùng tham khảo!

 109 p husc 26/01/2024 61 0 Download

Từ khóa: Trí tuệ nhân tạo, Bài giảng Cơ sở Trí tuệ nhân tạo, Cơ sở Trí tuệ nhân tạo, Biễu diễn tri thức, Logic hình thức, Phân loại tri thức

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 97 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

Bài giảng Hệ cơ sở dữ liệu: Chương 2.2 Mô hình thực thể - liên kết, cung cấp cho người học những kiến thức như: Các thành phần cơ bản của mô hình E-R; Các ràng buộc trên các kiểu liên kết; Biểu đồ E-R; Một số tính chất mở rộng của mô hình E-R; Ví dụ thực hành về thiết kết lược đồ thực E-R. Mời các bạn cùng tham khảo!

 86 p husc 23/12/2023 71 0 Download

Từ khóa: Bài giảng Hệ cơ sở dữ liệu, Hệ cơ sở dữ liệu, Mô hình thực thể, Mô hình hóa dữ liệu, Thiết kế logic, Quy trình phân tích cơ sở dữ liệu

Bài giảng Kiến trúc máy tính - Chương 3: Mạch logic số, chương này trình bày về cổng logic; đại số Boolean; biểu đồ Karnaugh; mạch logic số; mạch số học ALU; mạch tuần tự; mạch bộ nhớ;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 81 p husc 25/09/2023 80 1 Download

Từ khóa: Bài giảng Kiến trúc máy tính, Kiến trúc máy tính, Mạch logic số, Đại số Boolean, Biểu đồ Karnaugh, Mạch số học ALU, Mạch logic số, Mạch tuần tự

Bài giảng Toán rời rạc do ThS. Nguyễn Thị Thúy Hạnh biên soạn gồm 6 chương, với các nội dung chính như sau: Bài toán đếm; Các khái niệm cơ bản về đồ thị; Đồ thi euler, hamilton, đồ thị phân đôi, đồ thị phẳng; Cây và một số ứng dụng của cây; Một số bài toán tối ưu trên đồ thị; Đại cương về toán logic.

 113 p husc 21/04/2022 142 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cây khung của đồ thị, Toán logic, Đồ thị Euler, Đồ thị phân đôi, Bài toán tối ưu trên đồ thị

Chương trình logic dạng tuyển; Ngữ nghĩa chương trình logic dạng tuyển; Tập trả lời của Lpod; Tính các tập trả lời ưu tiên; Giới thiệu hệ thống Psmodels; Một số bài toán minh họ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

 9 p husc 15/03/2022 94 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Logic dạng tuyển, Hệ thống Psmodels, Bào toán minh họa

Tổng quan về chương trình logic; Chương trình mô tả; Ứng dụng của chương trình logic 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

 10 p husc 15/03/2022 95 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Logic mô tả, Hệ thống DLV, Vị từ xây dựng, Thực thi chương trình, Bài toán ứng dụng

Tổng quan về chương trình datalog và web ngữ nghĩa; Chương trình datalog; Chuyển đổi logic mô tả DL- LITE về chươgn trình datalog. 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 15/03/2022 118 0 Download

Từ khóa: Khoa học máy tính, Chương trình datalog, Lý thuyết mô hình, Điểm bất động, Web ngữ nghĩa, Logic mô tả

Bài giảng Toán rời rạc: Bài 1 - Vũ Thương Huyền cung cấp cho học viên các kiến thức cơ bản về logic; sự tương đương các mệnh đề; vị từ và lượng từ; các phép suy diễn; chuẩn tắc hội, chuẩn tắc tuyển; các phương pháp chứng minh;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 80 p husc 28/12/2021 125 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Toán tử logic, Chuẩn tắc hội, Chuẩn tắc tuyển, Bảng giá trị chân lí, Mệnh đề kéo theo, Phép suy diễn

Tổng quan về chương trình logic; Ngữ nghĩa chương trình logic ưu tiên; Ứng dụng chương trình logic ưu tiên đối với việc lập luậ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

 9 p husc 03/12/2021 119 0 Download

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

Tổng quan về chương trình logic; Phép hợp giải Sld và Sladnf; Phép hợp giải Slt 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

 12 p husc 25/11/2021 104 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Ngữ nghĩa chương trình, Phép hợp giải, So sánh phép hợp, Phần mềm Swi-Prolog, Phần mềm XSB

Bài giảng Toán rời rạc: Phương pháp chứng minh cung cấp cho người học những nội dung kiến thức như: Mệnh đề, tiên đề, và suy luận logic; phương pháp chứng minh; nguyên lý sắp thứ tự tốt. Mời các bạn cùng tham khảo.

 37 p husc 29/07/2021 166 0 Download

Từ khóa: Toán rời rạc, Bài giảng Toán rời rạc, Phương pháp chứng minh, Suy luận logic, Nguyên lý sắp thứ tự tốt, Giả thuyết Euler