» Từ khóa: logic so

Bài giảng “Cơ sở lý thuyết tập hợp và lôgic toán”, giúp cho sinh viên ngành giáo dục tiểu học có thêm một tài liệu để học tập và nghiên cứu khi học tập học phần này và các học phần tiếp theo. Bài giảng gồm có 2 chương: Cơ sở lý thuyết tập hợp, Cơ sở lôgic toán.

 53 p husc 30/08/2018 2092 2 Download

Từ khóa: Cơ sở lý thuyết tập hợp và lôgic toán, Cơ sở lý thuyết tập hợp, Bài giảng Cơ sở lý thuyết tập hợp, Cơ sở lôgic toán, Quy tắc suy luận

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 249 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 217 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 206 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 247 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 286 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

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

Trình bày cú pháp và ngữ nghĩa của chương trình logic với rang buộc bản số và trọng số. Cách tiếp cận ngữ nghĩa của lớp chương trình này là sự mở rộng của ngữ nghĩa mô hình bền vững, ứng dụng của chương trình logic với các ràng buộc bản số, trọng số vào một số bài toán cụ thể và thực thi chương trình bằng phần mềm hệ thống Smodels....

 5 p husc 23/10/2017 314 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Ràng buộc bản số, Ràng buộc trọng số, Hệ thống Smodels, Logic bậc nhất, Ngôn ngữ Logic.

Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của chương trình Datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...

 6 p husc 13/10/2017 394 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.

Bài giảng Toán cao cấp: Cơ sở toán học" cung cấp cho người học một số khái niệm về logic và tập hợp, các phép toán logic, tương đương logic, hệ quả logic, quan hệ giữa các tập hợp, các phép toán trên tập hợp. Mời các bạn cùng tham khảo nội dung chi tiết.

 28 p husc 31/05/2017 613 8 Download

Từ khóa: Bài giảng Toán cao cấp, Toán cao cấp, Cơ sở toán học tài chính, Phép toán logic, Tương đương logic, Hệ quả logic, Quan hệ giữa các tập hợp

Trình bày cách xây dựng miền giá trị chân lý ngôn ngữ dựa trên đại số gia tử đơn điệu hữu hạn, ánh xạ ngược của gia tử, logic đa trị ngôn ngữ, phương pháp lập luận ngôn ngữ dựa trên các quy tắc suy diễn trong logic đa trị ngôn ngữ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 01/06/2016 290 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mờ, Tập mờ, Phép kéo theo mờ, Biến ngôn ngữ, Đại số gia tử, Ánh sáng ngược, Logic đa trị, Quy tắc suy diễn, Đa trị ngôn ngữ

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

 5 p husc 17/03/2016 432 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn