» Từ khóa: logic

Chương 1: trình bày các khái niệm cơ sở, cú pháp, các cách tiếp cận ngữ nghĩa của chương trình logic. Chương 2: Tìm hiểu về chƣơng trình logic ƣu tiên - là sự mở rộng của chương trình logic bằng cách thêm vào các ưu tiên. Chương 3: Trình bày việc áp dụng chương trình logic ưu tiên để lập luận. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 9 p husc 07/01/2019 224 1 Download

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

Chương 1: Sẽ tìm hiểu về các kiến thức cơ bản của chương trình logic. Chương 2: Sẽ nghiên cứu về một số phép hợp giải đối với chƣơng trình logic xác định và chƣơng trình logic. Chương 3: Sẽ nghiên cứu về phép hợp giải SLT đối với chương trình logic. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343....

 12 p husc 04/01/2019 196 1 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Phép hợp giải, Cài đặt phần mềm, Phần mềm XSB, Phần mềm SWI - Prolog

Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ. Nội dung chính trong chương này gồm có: Logic toán và ứng dụng của nó vào CSDL, diễn giải và mô hình, ứng dụng logic toán trong CSDL,... Mời các bạn cùng tham khảo.

 20 p husc 24/12/2018 263 1 Download

Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Hệ quản trị cơ sở dữ liệu, Ngôn ngữ tân từ, Logic toán, Ứng dụng logic toán

Bài giảng nhập môn Toán cao cấp trình bày hai nội dung lớn: Lí thuyết tập hợp, logic. Nội dung phần lí thuyết tập hợp sẽ giúp sinh viên nắm vững những kiến thức cơ bản về tập hợp, quan hệ, ánh xạ, giải tích tổ hợp; xác định được mối liên hệ giữa những nội dung kiến thức này. Nội dung phần logic giúp sinh viên nắm vững những kiến thức cơ...

 48 p husc 30/11/2018 282 1 Download

Từ khóa: Toán cao cấp, Lí thuyết tập hợp, Giải tích tổ hợp, Logic mệnh đề, Đại số Boole, Bài giảng Toán cao cấp

Nghiên cứu cú pháp, ngữ nghĩa đối với lớp lớn các logic mô tả giàu ngữ nghĩa hơn so với các công trình đã có bằng cách cho phép sử dụng các thuộc tính như là các phân tử cơ bản của ngôn ngữ, các quan hệ thông qua các vai trò dữ liệu và đề cập đến đặc trưng F, N. Lớp các logic này bao phủ những logic mô tả...

 9 p husc 31/10/2018 334 1 Download

Từ khóa: Khoa học máy tính, Logic mô tả, Ngôn ngữ logic, Mô tả ALC, Thuật toán suy luận, Mô phỏng hai chiều, Quan hệ tương đương, Hệ thống thông tin

Bài giảng cung cấp cho người học các kiến thức: Trí tuệ nhân tạo. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu.

 240 p husc 30/10/2018 289 1 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Suy luận logic, Trò chơi đối kháng, Giải quyết vấn đề, Logic mệnh đề, Các nguyên lý tìm kiếm, Hệ cơ sở tri thức

Trình bày cú pháp và ngữ nghĩa của chương trình logic mô tả xác định và logic thông thườ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

 10 p husc 23/10/2018 268 1 Download

Từ khóa: Công nghệ thông tin, Logic mờ, logic xác định, Chương trình Logic, Bài toán ứng dụng, Mô hình bền vững

Giới thiệu mô hình hướng đối tượng (mô hình hạt nhân và mở rộng ngữ nghĩa của mô hình hạt nhân). Tổng quan về logic mô tả (khái lược về logic mô tả, cú pháp ngữ nghĩa của logic mô tả, hệ cơ sở tri thức dựa trên logic mô tả và mở rộng của ngôn ngữ mô tả). Mô hình hóa mô hình hướng đối tượng băng logic mô...

 13 p husc 23/10/2018 274 1 Download

Từ khóa: Công nghệ thông tin, Mô hình hạt nhân, Logic mô tả, Ngôn ngữ mô hình, Ngôn ngữ mô tả

Trình bày cú pháp, ngữ nghĩa và cơ sở tri thức của logic mô tả ALC; Lý thuyết tập mờ. Tìm hiểu các mở rộng của logic mô tả ALC (cú pháp, ngữ nghĩa và cơ sở tri thức và các tính chất trong logic mô tả ALC mờ). Nghiên cứu các lập luận trong logic mô tả ALC cũng như lập luận trong logic mô tả ALC mờ. Thông qua các lập...

 13 p husc 23/10/2018 226 1 Download

Từ khóa: Công nghệ thông tin, Logic mô tả, Lý thuyết tập mờ, Mô tả mờ, Phép bao hàm mờ

Bài giảng Điện tử số: Chương 2 giúp người học hiểu về "Hàm logic và cổng logic". Nội dung trình bày cụ thể gồm có: Các khái niệm cơ bản, đại số Boolean, biến và hàm logic, các hàm logic cơ bản, hàm logic 2 biến, các tính chất của đại số logic, các cổng logic cơ bản,...

 36 p husc 27/09/2018 240 1 Download

Từ khóa: Bài giảng Điện tử số, Điện tử số, Hàm logic và cổng logic, Đại số Boolean, Biểu diễn hàm logic, Phương pháp đại số

Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Mạch logic tổ hợp, biểu diễn mạch logic tổ hợp, tổng hợp (thiết kế) mạch logic tổ hợp, phân tích mạch logic tổ hợp, xây dựng hệ hàm,...Mời các bạn cùng tham khảo nội dung chi tiết.

 25 p husc 27/09/2018 224 1 Download

Từ khóa: Bài giảng Điện tử số, Điện tử số, Mạch logic tổ hợp, Mạch logic tổ hợp, Phân tích mạch logic tổ hợp, Xây dựng hệ hàm

Bài giảng Điện tử số: Chương 5b giúp người học hiểu về "ghi tiêu đề chương". Nội dung trình bày cụ thể gồm có: Tổng hợp mạch tuần tự, hệ phương trình đặc trưng của mạch tuần tự, các bước tổng hợp mạch tuần tự, định nghĩa về trạng thái tương đương,...

 31 p husc 27/09/2018 251 1 Download

Từ khóa: Bài giảng Điện tử số, Điện tử số, Tổng hợp và phân tích mạch logic tuần tự, Phân tích mạch logic tuần tự, Quy tắc Caldwell, Phương pháp phân hoạch