» Từ khóa: mệnh đề

Bài giảng Luận lý Toán học (Mathematical Logic) - Chương 2 (phần 3) trang bị cho người học những kiến thức về ngữ nghĩa của luận lý mệnh đề. Trong chương này người học sẽ tìm hiểu về: Gán thực trị, diễn dịch, thực trị của một công thức, bảng thực trị, thủ tục số học,... Mời các bạn cùng tham khảo.

 82 p husc 31/05/2019 284 1 Download

Từ khóa: Bài giảng Luận lý Toán học, Luận lý toán học, Luận lý mệnh đề, Suy luận tự nhiên, Mathematical Logic, Gán thực trị

Bài giảng nhập môn Toán cao cấp trình bày hai nội dung lớn: Lí thuyết tập hợp, logic. Nội dung phần lí thuyết tập hợp sẽ giúp sinh viên nắm vững những kiến thức cơ bản về tập hợp, quan hệ, ánh xạ, giải tích tổ hợp; xác định được mối liên hệ giữa những nội dung kiến thức này. Nội dung phần logic giúp sinh viên nắm vững những kiến thức cơ...

 48 p husc 30/11/2018 270 1 Download

Từ khóa: Toán cao cấp, Lí thuyết tập hợp, Giải tích tổ hợp, Logic mệnh đề, Đại số Boole, Bài giảng Toán cao cấp

Bài giảng cung cấp cho người học các kiến thức: Trí tuệ nhân tạo. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu.

 240 p husc 30/10/2018 278 1 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Suy luận logic, Trò chơi đối kháng, Giải quyết vấn đề, Logic mệnh đề, Các nguyên lý tìm kiếm, Hệ cơ sở tri thức

Bài giảng "Toán rời rạc - Chương 1: Cơ sở logic" cung cấp cho người học các kiến thức: Mệnh đề, phép tính mệnh đề, dạng mệnh đề, vị từ và lượng tử, quy tắc suy diễn, phương pháp quy nạp toán học,... Mời các bạn cùng tham khảo.

 64 p husc 27/09/2018 321 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Toán cao cấp, Phép tính mệnh đề, Dạng mệnh đề, Quy tắc suy diễn, Phương pháp quy nạp toán học

Bài giảng cung cấp cho người học các kiến thức: Sứ mệnh lịch sử toàn thế giới của giai cấp công nhân. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên đang theo học môn dùng làm tài liệu học tập và nghiên cứu.

 71 p husc 29/06/2018 328 2 Download

Từ khóa: Bài giảng Những vấn đề cơ bản, Tư tưởng Hồ Chí Minh, Chủ nghĩa Mác-Lênin, Sứ mệnh lịch sử toàn thế giới, Giai cấp công nhân

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 249 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 đề

Ứng dụng lập luận xấp xỉ trong việc dự đoán năng suất nuôi trồng thủy sản tại tỉnh An Giang. Để mô phỏng xây dựng bộ dự đoán năng suất nuôi trồng thủy sản sử dụng công cụ trong môi trường MATLAB. 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

 5 p husc 20/10/2017 243 1 Download

Từ khóa: Công nghệ thông tin, Tập hợp mờ, Biến ngôn ngữ, Luật hợp thành, Mệnh đề mờ, Tập luật mờ, Biến đổi khí hậu, Nuôi trồng thủy sản, Hệ thống dự đoán.

Trình bày một số kiến thức cơ sở liên quan đến tập mờ, các phép toán trên tập mờ và hệ chuyên gia mờ, về một số vấn đề liên quan đến phương pháp lập luận xấp xỉ , tổng quan về việc chẩn đoán bệnh Tăng huyết áp.Để ứng dụng xây dựng hệ trợ giúp chẩn đoán bệnh tăng huyết áp. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email:...

 5 p husc 13/10/2017 256 1 Download

Từ khóa: Công nghệ thông tin, Biến ngôn ngữ, Giao của hai tập mờ, Hợp của hai tập mờ, Phép phủ định, Phép tuyển, Quan hệ mờ, Phép kéo theo, Mệnh đề mờ, Diễn tri thức mờ, Phần mềm ứng dụng.

Trình bày một số kiến thức cơ sở về lý thuyết tập mờ như biến ngôn ngữ, các phép tính trên tập mờ, đại số các tập mờ và phương pháp lập luận xấp xỉ. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 30/12/2016 321 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập hợp mờ, Biến ngôn ngữ, Mờ hóa, Khử mờ, Luật hợp thành, Mệnh đề hợp thành, Mô hình mờ, Bộ dự đoán.

Trình bày một số kiến thức cơ sở về lý thuyết tập mờ. logic mờ như biến ngôn ngữ, các phép tính trên tập mờ, mờ hóa, khử mờ, mệnh đề mờ, mô hình chuẩn đoán bệnh đái tháo đường. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 10 p husc 27/09/2016 241 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập hợp mờ, Biến ngôn ngữ, Mệnh đề mờ, Luật hợp thành, Chuẩn đoán bệnh.

Ứng dụng để xây dựng hệ thống chuẩn đoán bệnh sỏi thận, để mô phỏng hệ thống chuẩn đoán. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 26/09/2016 260 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Biến ngôn ngữ, Mệnh đề mờ, Tập luật mờ, Bộ khử mờ, Bệnh sỏi thận, Hệ thống chuẩn đoán, Kết quả chuẩn đoán.

Nghiên cứu mô hình điều khiển mờ sử dụng lý thuyết tập mờ và sử dụng đại số gia tử. Mô hình điều khiển mờ sử dụng đại số gia tử theo cách tiếp cận điều chỉnh ngữ nghĩa định lượng và giải thuật di truyền. 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/05/2016 307 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tập mờ, Biến ngôn ngữ, Luật hợp thành, Mệnh đề hợp thành, Đại số gia tử, Giải thuật di truyền, Mô hình mờ, Mô hình hệ thống.