» 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 234 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 201 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 194 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 231 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 Thiết kế logic số: Lecture 2.5 do TS. Hoàng Văn Phúc 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át biểu đồng thời, mô hình FSM và testbench trên VHDL, nắm được cách sử dụng các phát biểu đồng thời, cách mô tả FSM và viết testbench trên VHDL.

 42 p husc 30/08/2018 235 1 Download

Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Phát biểu đồng thời, Gán tín hiệu, Bộ đếm cấu hình

Bài giảng Thiết kế logic số: Lecture 3.1 cung cấp cho người học các kiến thức: Giới thiệu FPGA, cấu trúc FPGA, các thành phần cơ bản trong FPGA. Mời các bạn cùng tham khảo nội dung chi tiết.

 54 p husc 30/08/2018 237 1 Download

Từ khóa: Bài giảng Thiết kế logic số, Thiết kế logic số, Giới thiệu FPGA, Cấu trúc FPGA, Thành phần cơ bản trong FPGA, Công nghệ chế tạo FPGA

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 269 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 260 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 257 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 340 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 323 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 271 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