» Từ khóa: logic

Bài giảng Thiết kế logic số: Lecture 2.1 giúp người học hiểu về " Giới thiệu VHDL, cấu trúc chương trình VHDL". Nội dung trình bày cụ thể gồm có: Lịch sử phát triển ngôn ngữ VHDL, Cấu trúc chương trình VHDL, Các dạng mô tả kiến trúc và ví dụ.

 36 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ố, Giới thiệu VHDL, Cấu trúc chương trình VHDL, Đặc điểm của VHDL

Bài giảng Thiết kế logic số: Lecture 2.2 trình bày về "Ngôn ngữ VHDL". Nội dung cụ thể của chương này gồm: Mô phỏng trên ModelSim, Configuration, đối tượng dữ liệu, kiểu dữ liệu. Mời các bạn cùng tham khảo!

 17 p husc 30/08/2018 251 1 Download

Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Mô phỏng thiết kế VHDL, Mô phỏng trên ModelSim, Kiểu dữ liệu

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: Toán tử và biểu thức, phép dịch và khối dịch không sử dụng toán tử. Mời các bạn cùng tham khảo!

 14 p husc 30/08/2018 229 1 Download

Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Toán tử dịch, Dịch số học, Khối dịch không sử dụng toán tử

Bài giảng Thiết kế logic số: Lecture 2.4 trình bày về "Phát biểu tuần tự". Nội dung cụ thể của chương này gồm có: VHDL statements, sequential statements (Phát biểu tuần tự), lệnh LOOP: 3 kiểu, trắc nghiệm. Mời các bạn cùng tham khảo.

 22 p husc 30/08/2018 280 1 Download

Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Phát biểu tuần tự, Cơ chế ảnh hưởng của sensitive list, Sequential statements

Bài giảng Môn điện tử số gồm 9 chương cung cấp cho người học những kiến thức cơ bản lẫn nâng cao về bộ môn này: Hệ đếm, đại số Boole và các phương pháp biểu diễn hàm, mạch logic tổ hợp, mạch logic tuần tự, mạch phát xung và tạo dạng xung, bộ nhớ bán dẫn,... Qua đó giúp các bạn hiểu và nắm vững các kiến thức có trong bài giảng. Mời...

 273 p husc 30/08/2018 340 2 Download

Từ khóa: Bài giảng môn điện tử, Điện tử số, Đại số Boole, Phương pháp biểu diễn hàm, Cấu kiện logic khả trình, Ngôn ngữ mô tả phần cứng

Bài giảng Trí tuệ nhân tạo: Chương 5 do Nguyễn Văn Hòa biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm: Phép toán mệnh đề, biểu diễn sự kiện đơn giản, biểu diễn: isa và instance, các hàm và vị từ khả tính toán, luật phân giải, phân giải mệnh đề, phân giải mệnh đề, đưa về clause form.

 35 p husc 31/03/2018 317 2 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Sử dụng logic mệnh đề và vị từ, Phép toán mệnh đề, Phân giải mệnh đề

Bài giảng Đặc tả hình thức: Chương 4, trình bày các nội dung sau: Các phép toán logic, thứ tự ưu tiên các phép toán, tập bằng cách định nghĩa thuộc tính,...Mời các bạn cung tham khảo!

 24 p husc 31/01/2018 305 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Giới thiệu về Alloy, Các phép toán logic, Cấu trúc Family

Giới thiệu tổng quan về Datalog dạng tuyển trong đó có cú pháp, ngữ nghĩa của Datalog dạng tuyển. đưa ra bài toán ứng dụng thực tế mô tả công tác thi và tổ chức thi cuối kỳ của phòng khảo thí trường Đại học Tây Nguyên sử dụng việc tích hợp của logic mô tả và Datalog dạng tuyển. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 11 p husc 10/01/2018 403 1 Download

Từ khóa: Công nghệ thông tin, Chương trình Datalog, Datalog dạng tuyển, Bài toán ứng dụng, Logic mô tả

Trình bày tổng quan về logic mô tả và tập trung vào cú pháp, ngữ nghĩa của logic mô tả thông qua một số bài toán và sử dụng hệ thống lập trình logic DLV kết hợp với hệ thống lập luận OWL RACER để thực thi các bài toá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

 10 p husc 10/01/2018 386 1 Download

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

Giới thiệu mô hình ER và mô hình mở rộng của mô hình này là mô hình EER. để áp dụng phương pháp chuyển đổi một lược đồ EER thành cơ sở tri thức trong logic mô tả, chúng tôi đã thực hiện việc mô hình hóa cho một mô hình EER thực 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

 13 p husc 10/01/2018 329 1 Download

Từ khóa: Công nghệ thông tin, Cơ sở dữ liệu, Quan hệ mở rộng, Ngôn ngữ mô tả, Logic mô tả, Mô hình EER

Giới thiệu mô hình hướng đối tượng, trong đó giới thiệu về mô hình hạt nhân và mở rộng ngữ nghĩa của mô hình hạt nhân về logic mô tả, bao gồm các nội dung: 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ả. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 13 p husc 10/01/2018 325 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ô tả, Hộp thuật ngữ, Giao diện người dùng

Trình bày khái quát về khái niệm phân lớp dữ liệu, các kỹ thuật phân lớp dữ liệu gồm phân lớp cây quyết định và phân lớp K – láng giềng gần nhất; các vấn đề trong phân lớp dữ liệu như chuẩn bị dữ liệu, làm sạch dữ liệu, chuyển đổi dữ liệu. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...

 9 p husc 10/01/2018 288 1 Download

Từ khóa: Công nghệ thông tin, Phân lớp dữ liệu, Dữ liệu mờ, Biến ngôn ngữ, Logic mờ, Bài toán tư vấn