» Từ khóa: logic

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 2) tập trung thảo luận về suy luận tự nhiên trong luận lý mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 45 p husc 31/05/2019 235 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Suy luận tự nhiên, Luận lý mệnh đề, Mathematical Logic, Cấu trúc luận lý mệnh đề

Chương này giới thiệu các hàm logic cơ bản và các tính chất cần thiết để giúp sinh viên hiểu vận hành của một hệ thống logic. Nội dung trình gồm gồm có: Hàm logic cơ bản, các dạng chuẩn của hàm logic, rút gọn hàm logic. Mời các bạn cùng tham khảo.

 25 p husc 25/02/2019 244 1 Download

Từ khóa: Kỹ thuật số, Bài giảng Kỹ thuật số, Hàm logic cơ bản, Dạng chuẩn của hàm logic, Rút gọn hàm logic, Phương pháp đại số

Cổng logic là tên gọi chung của các mạch điện tử có chức năng thực hiện các hàm logic. Cổng logic có thể được chế tạo bằng các công nghệ khác nhau (Lưỡng cực, MOS), có thể được tổ hợp bằng các linh kiện rời nhưng thường được chế tạo bởi công nghệ tích hợp IC (Integrated circuit). Chương này giới thiệu các loại cổng cơ bản, các họ IC số,...

 23 p husc 25/02/2019 230 1 Download

Từ khóa: Kỹ thuật số, Bài giảng Kỹ thuật số, Cổng logic, Tín hiệu tương tự, Tín hiệu số, Cổng phức AOI

Mời các bạn tham khảo Bài giảng Cơ sở dữ liệu nâng cao - Chương 3: Cơ sở dữ liệu suy diễn sau đây để bổ sung thêm những kiến thức về khái niệm CSDL suy diễn, cách sử dụng logic, hình thức hóa và đánh giá các câu truy vấn đệ quy.

 50 p husc 25/02/2019 231 1 Download

Từ khóa: Cơ sở dữ liệu nâng cao, Bài giảng Cơ sở dữ liệu nâng cao, Cơ sở dữ liệu suy diễn, Cách sử dụng logic, Câu truy vấn đệ quy, Hình thức hóa câu truy vấn đệ quy

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 229 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 201 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 270 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 301 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 346 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 296 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 273 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 281 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ả