» Từ khóa: logic

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 344 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 405 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 335 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 299 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 314 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 257 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 279 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 267 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 5a trình bày về "Mạch logic tuần tự". Nội dung cụ thể của chương này gồm có: Định nghĩa, mô hình, các phương pháp biểu diễn, mạch tuần tự đồng bộ và không đồng bộ, mạch tuần tự dạng Mealy và dạng Moore, các phần tử nhớ.

 36 p husc 27/09/2018 269 1 Download

Từ khóa: Bài giảng Điện tử số, Điện tử số, Vô tuyến điện tử, Mạch logic tuần tự, Mạch tuần tự đồng bộ, Mạch tuần tự dạng Mealy

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

Bài giảng Thiết kế logic số: Lecture 1 với mục tiêu chung nhằm trang bị kiến thức về thiết kế, kiểm tra các mạch logic số, các thành phần của hệ thống điện tử số. Mời các bạn cùng tham khảo!

 45 p husc 30/08/2018 281 1 Download

Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Hệ thống ứng dụng ICT, Hệ thống IoT, Mô hình trừu tượng, Các IC khả trình

Bài giảng Thiết kế logic số: Lecture 3.2 trình bày về "Cấu trúc FPGA". Nội dung cụ thể của chương này gồm có: Nhắc lại bài trước: Cấu trúc FPGA, qui trình thiết kế hệ thống số trên FPGA, các ví dụ thiết kế.

 42 p husc 30/08/2018 292 1 Download

Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Tái cấu hình cho FPGA, Hoạt động của FPGA, Kiến trúc của Configurable Logic Blocks