» Từ khóa: logic

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 57 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 72 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 134 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 86 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 88 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 108 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 113 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 112 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 95 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 159 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

Bài giảng Logic học: Chương 1 - Đại cương về Logic học cung cấp cho người học những kiến thức như: Logic học là gì? Quá trình nhận thức của tư duy; Hình thức – quy luật của logic; Sự hình thành và phát triển; Phân loại logic học. Mời các bạn cùng tham khảo!

 24 p husc 30/06/2021 122 0 Download

Từ khóa: Bài giảng Logic học, Logic học, Quá trình nhận thức của tư duy, Quy luật của logic, Phân loại logic học, Nhận thức cảm tính

Bài giảng Toán rời rạc: Chương 1 Logic mệnh đề cung cấp cho người học những kiến thức như: Thế nào là một mệnh đề; Các toán tử logic; Phân tích mệnh đề logic phức hợp; Các phép toán logic với các bit. Mời các bạn cùng tham khảo!

 36 p husc 30/06/2021 126 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Logic mệnh đề, Mệnh đề logic phức hợp, Toán tử logic, Phép toán logic với các bit