» 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 2075 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

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

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

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 294 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 368 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 594 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 270 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 412 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

Nghiên cứu tổng quan về cơ sở dữ liệu có yếu tố thời gian và giới thiệu các mô hình thời gian. Tìm hiểu logic mô tả. Mô hình hóa mô hình ER thời gian. Ứng dụng logic mô tả trong mô hình hóa mô hình Timeer. 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

 6 p husc 27/03/2015 380 1 Download

Từ khóa: Tin học, Cơ sở dữ liệu có yếu tố thời gian, Logic mô tả, Mô hình hóa mô hình ER thời gian

Nghiên cứu tổng quan về logic mô tả, hệ cơ sở tri thức và các thuật toán suy luận; Logic mô tả và cơ sở dữ liệu hướng đối tượng; Phương pháp biểu diễn câu truy vấn bằng logic mô tả. 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

 6 p husc 24/03/2015 307 1 Download

Từ khóa: Tin học, Logic mô tả, Hệ cơ sở tri thức, Thuật toán suy luận, Cơ sở dữ liệu hướng đối tượng, Biểu diễn câu truy vấn