» Từ khóa: phép toán logic

Bài giảng Toán rời rạc: Bài 1 - Vũ Thương Huyền cung cấp cho học viên các kiến thức cơ bản về logic; sự tương đương các mệnh đề; vị từ và lượng từ; các phép suy diễn; chuẩn tắc hội, chuẩn tắc tuyển; các phương pháp chứng minh;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 80 p husc 28/12/2021 88 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Toán tử logic, Chuẩn tắc hội, Chuẩn tắc tuyển, Bảng giá trị chân lí, Mệnh đề kéo theo, Phép suy diễn

Bài giảng Toán rời rạc: Chương 1 Logic mệnh đề cung cấp cho người học những kiến thức như: Thế nào là một mệnh đề; Các toán tử logic; Phân tích mệnh đề logic phức hợp; Các phép toán logic với các bit. Mời các bạn cùng tham khảo!

 36 p husc 30/06/2021 100 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Logic mệnh đề, Mệnh đề logic phức hợp, Toán tử logic, Phép toán logic với các bit

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 241 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 239 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

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

Bài giảng "Tin học đại cương - Bài 4: Cấu trúc điều kiện (rẽ nhánh)" cung cấp cho người học các kiến thức: Giới thiệu về cấu trúc rẽ nhánh, các phép toán logic và quan hệ, cấu trúc điều kiện. Mời các bạn cùng tham khảo nội dung chi tiết.

 13 p husc 24/02/2017 209 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Cấu trúc điều kiện, Cấu trúc rẽ nhánh, Phép toán logic, Phép toán quan hệ

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

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

Toán học rời rạc là một bộ phận của toán học nhằm nghiên cứu các đối tượng rời rạc: Nghiên cứu các cấu trúc rời rạc khác nhau và các phương pháp giải các vấn đề có liên quan đến cấu trúc này. Thông tin lưu trữ vận hành trong máy tính dưới dạng các tín hiệu rời rạc ( các máy tính liên tục chỉ là các máy tính tương tự, chuyên dụng). Vì...

 197 p husc 01/10/2013 668 8 Download

Từ khóa: Toán cao Cấp, Giáo Trính toán học, phương pháp chứng minh logic, thuật toán euclid, nguyên lý phép đếm, đại số boole, mã tuyến tính