» Từ khóa: logic so

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 276 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 348 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 570 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

Nối tiếp nội dung phần 1 cuốn sách "Toán rời rạc cho kỹ thuật số", phần 2 giới thiệu tới người học các kiến thức: Các phép tính đạo hàm và vi phân Boole, phân giải các hàm chuyển mạch, các hàm chuyển mạch đặc biệt, các hàm logic đa trị, lý thuyết nhóm, vành, trường. Mời các bạn cùng tham khảo nội dung chi tiết.

 112 p husc 19/08/2016 281 2 Download

Từ khóa: Toán rời rạc, Toán rời rạc cho kỹ thuật số, Phép tính đạo hàm, Vi phân Boole, Hàm chuyển mạch, Hàm logic đa trị, Lý thuyết nhóm

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 252 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ữ

Với kết cấu nội dung gồm 6 chương, giáo trình "Cơ sở toán học" trình bày về Logic toán và tập hợp, ánh xạ, quan hệ, số tự nhiên và số nguyên, số hữu tỉ, số thực, số phức,... Đây là tài liệu tham khảo hữu ích cho các bạn chuyên ngành Toán học.

 157 p husc 26/05/2016 3510 34 Download

Từ khóa: Giáo trình Cơ sở toán học, Cơ sở toán học, Tài liệu Cơ sở toán học, Tìm hiểu Logic toán, Số tự nhiên, Số hữu tỉ

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

Ebook Lập trình Matlab gồm 23 chương. Nội dung trình bày các kiến thức về các bài toán kỹ thuật, đặc điểm các cửa sổ lệnh trong Matlab, thao tác với mảng, phép tính logic và quan hệ, vòng lặp điều khiển, các phép tính đối với đa thức,... Tham khảo để nắm bắt nội dung chi tiết.

 312 p husc 15/05/2015 267 4 Download

Từ khóa: Lập trình Matlab, Cửa sổ lệnh trong Matlab, Thao tác với mảng, Phép tính logic và quan hệ, Vòng lặp điều khiển, Đồ họa trong tọa độ phẳng

Giáo trình Kỹ thuật số và mạch logic ngoài việc đề cập tới những nội dung cơ bản về mạch số như sơ đồ, nguyên lý hoạt động của các mạch, còn giới thiệu một loạt kiến thức khác như phương pháp thiết kế mạch tổ hợp, một số mạch số ứng dụng trong thực tế.

 231 p husc 15/05/2015 316 2 Download

Từ khóa: Giáo trình Kỹ thuật số, Kỹ thuật số và mạch logic, Nguyên lý hoạt động của mạch logic, Thiết kế mạch tổ hợp, Phương pháp thiết kế mạch, Sơ đồ mạch

Giáo trình Kỹ thuật số được biên soạn theo đề cương do vụ Giáo dục chuyên nghiệp, Bộ GD - ĐT xây dựng và thông qua. Nội dung giáo trình gồm 5 chương, trình bày về cơ sở kỹ thuật số, các cổng logic cơ bản và mạch điện cổng, các mạch logic tổ hợp, trigơ số và các phần tử logic dãy, các bộ nhớ bán dẫn. Giáo trình dùng cho các trường đào tạo...

 254 p husc 15/05/2015 309 3 Download

Từ khóa: Kỹ thuật số, Giáo trình Kỹ thuật số, Cơ sở kỹ thuật số, Cổng logic cơ bản, Mạch điện cổng, Mạch logic tổ hợp

Ebook Kỹ thuật số này nhằm đáp ứng nhu cầu tiếp cận kỹ thuật hiện đại và chương trình đào tạo của Bộ giáo dục và Đào tạo đối với các ngành điện tử-tin học-viễn thông. Ebook này gồm 3 phần: phần 1 đại số Boole và vi mạch số trình bày cơ sở toán và kỹ thuật mạch số, phần 2 mạch tổ hợp giới thiệu những vấn đề lý thuyết cơ...

 358 p husc 13/04/2015 242 2 Download

Từ khóa: Kỹ thuật số, Vi mạch số, Đại số Boole, Mạch tổ hợp, Kỹ thuật mạch số, Thiết kế logic mạch số

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