Logic mô tả

Phiên tòa giả định được xem là một phương pháp tiếp cận mới, là xu hướng trong việc đào tạo những sinh viên luật trong khoảng thời gian gần đây tại phần lớn các trường đại học đào tạo về ngành luật. Thông qua phiên tòa giả định, mỗi sinh viên sẽ tiếp thu được nhiều kiến thức, kỹ năng pháp lý cần thiết về ngành luật. Tuy nhiên, không ít kiến thức, kỹ năng trong số đó lại rất khó nắm bắt, khó để áp dụng hiệu quả đối với phần lớn các sinh viên.

9p viindranooyi 09-05-2022 6 2   Download

Bài giảng Logic mờ và ứng dụng trình bày nội dung về tập hợp mờ, logic mờ, các phép toán trên tập hợp mờ, quan hệ, phép toán và quy tắc liên kết trong ngữ cảnh lập luận mờ, sử dụng lập luận mờ trong bài toán điều khiển, phân loại dựa trên lập luận mờ, ngôn ngữ Python trong việc những vấn đề đặt ra. Mời các bạn tham khảo!

288p lavender2022 23-04-2022 19 1   Download

Bài giảng Logic mờ và ứng dụng ( Dành cho cao học) trình bày những vấn đề chung của Logic mờ (Fuzzy Logic), đingh nghĩa tập mờ, các phép toán trên tập mờ, quan hệ mờ, quá trình mờ hóa, hàm chân trị trong logic mờ, hệ luật mờ, ứng dụng của logic mờ. Mời các bạn tham khảo nội dung chi tiết.

122p lavender2022 23-04-2022 18 1   Download

Bài viết mô tả vắn tắt kết hợp phân tích nhận xét, đánh giá thực trạng học tập môn Cơ sở Toán học 1 (CSTH1) của sinh viên (SV) khoa Giáo dục Tiểu học (GDTH) trường Đại học Sư phạm (ĐHSP) Huế hiện nay. Đồng thời, bài viết cũng đưa ra một số nguyên nhân chính dẫn đến thực trạng cũng như những mong muốn, nguyện vọng và những thuận lợi, khó khăn của SV.

9p vistephenhawking 20-04-2022 2 0   Download

Giáo trình Trí tuệ nhân tạo - Phần 2: Biểu diễn tri thức và lập luận, Phần này đề cập đến các ngôn ngữ biểu diễn tri thức, đặc biệt là các logic và các phương pháp luận trong mỗi ngôn ngữ biểu diễn tri thức. Các kỹ thuật biểu diễn tri thức và lập luận đóng vai trò quan trọng trong việc thiết kế các hệ thông minh. Mời các bạn cùng tham khảo!

286p hoaanhdao709 19-01-2022 29 5   Download

Bài giảng môn Điện tử số gồm có 9 chương như sau: Chương 1: hệ đếm, chương 2: đại số boole và các phương pháp biểu diễn hàm, chương 3: cổng logic TTL và CMOS, chương 4: mạch logic tổ hợp, chương 5: mạch logic tuần tự, chương 6: mạch phát xung và tạo dạng xung, chương 7: bộ nhớ bán dẫn, chương 8: cấu kiện logic khả trình (PLD), chương 9: ngôn ngữ mô tả phần cứng (VHDL).

273p cucngoainhan3 10-11-2021 11 4   Download

Đề tài nghiên cứu thiết kế và chế tạo Robot nhỏ có thể dùng để giải trí và học tập nghiên cứu... Robot sử dụng được nhiều nơi như lớp học, nhà riêng, khu vui chơi vì kích thước nhỏ gọn lưu động. Robot giúp chúng ta cải thiện sự quan sát tập trung và kiên nhẫn qua các bài học lắp ráp mô h nh. Tăng cường khả năng tư duy logic với những mô hình có thể chuyển động được.

8p vibigates 31-10-2021 11 0   Download

Giáo trình "Thiết kế logic số" gồm có 4 chương, 4 phụ lục và được chia thành 2 phần, phần 1 của giáo trình cung cấp cho người học những kiến thức, khái niệm cơ bản về thiết kế các khối số, trong đó có những kiến thức được nhắc lại với những bổ xung phù hợp với mục đích môn học; giới thiệu về ngôn ngữ mô tả phần cứng VHDL; thiết kế các khối mạch dãy và tổ hợp thông dụng; thiết kế mạch số trên FPGA. Mời các bạn cùng tham khảo.

312p cucngoainhan2 21-10-2021 12 0   Download

Đánh giá mức độ đạt được năng lực tự học trực tuyến của sinh viên trong mô hình dạy học kết hợp dựa trên việc nghiên cứu, xây dựng rubric hướng dẫn đánh giá và tự đánh giá có cấu trúc 3 tầng bậc gồm: Các tiêu chuẩn (standard), các tiêu chí (criteria) và các chỉ báo (indicator) mô tả cụ thể chỉ số hành vi trong mối quan hệ chặt chẽ với nhau, phù hợp với yêu cầu sư phạm và lôgic cấu trúc thao tác của mỗi kĩ năng thành phần, cho phép thu thập được những thông tin cần thiết để đánh giá khách quan, chính xác mức độ đạt được năng lực tự học trực tuyến của sinh viên trong mô hình dạy học kết hợp (...

9p viwendy2711 05-10-2021 27 3   Download

Bài viết này trình bày quy trình xây dựng khung năng lực tư duy logic; đồng thời mô tả chi tiết các tiêu chí và chỉ báo của năng lực tư duy logic cho học sinh thông qua dạy học bài tập hóa học ở trường Trung học phổ thông.

10p viaespa2711 31-07-2021 18 0   Download

Trong tiến trình phát triển Web ngữ nghĩa, việc tích hợp các lớp khác nhau trong kiến trúc của nó đóng vai trò cốt lõi. Bài viết này đưa ra một cái nhìn khá toàn diện về tổng quan và có sự so sánh, đánh giá các giải pháp như vậy trong việc kết hợp các quy tắc và ontology trong kiến trúc Web ngữ nghĩa.

12p vijijen2711 11-06-2021 14 1   Download

Bài viết nhằm nghiên cứu và đánh giá Horn-DL trong quan hệ so sánh với các ngôn ngữ có độ phức tạp tương đương. Dựa trên các phân tích chúng tôi kết luận được rằng, khả năng biểu diễn tri thức của ngôn ngữ Horn-DL mạnh hơn hẳn các ngôn ngữ đã đưa ra so sánh.

9p vijijen2711 11-06-2021 4 0   Download

Bài viết trình bày phương pháp hình thức sử dụng đặc tả logic cho việc đánh giá và phân tích lỗ hổng an ninh mạng. Với phương pháp này các lỗ hổng được phát hiện mà không cần phải mô phỏng các cuộc tấn công và nó cũng có thể dễ dàng tích hợp với các công cụ bảo mật khác dựa trên cơ sở dữ liệu quan hệ.

19p vijichoo2711 04-06-2021 13 1   Download

Bài viết này tập trung vào việc sử dụng logic mô tả để xây dựng một cơ sở tri thức về thuốc. Chúng tôi chạy thử mô hình thông qua Ontology thuốc được tạo bằng phần mềm Protégé dựa trên thông tin thuốc tra cứu từ tài liệu liên quan. Cùng với các dịch vụ suy luận, Ontology về thuốc có thể giúp người dùng sàng lọc thuốc trong điều trị trên cơ sở kiến thức nền được thiết lập, đồng thời nó cũng hỗ trợ việc truy xuất thông tin thuốc khi cần.

8p angicungduoc11 18-04-2021 11 0   Download

Bài viết này xác định thông tin của các phán đoán theo kiểu của Bar-Hillel và Carnap để nghiên cứu các hệ thống suy luận trực tiếp tương ứng với các diễn giải phán đoán khác nhau đó. Kết quả cho thấy quan hệ được biểu diễn bằng hình vuông logic và phép đảo ngược của các phán đoán thuộc tính đơn thay đổi trong các hệ thống khác nhau.

12p kethamoi10 22-01-2021 26 0   Download

Trong bài báo này, các tác giả đề xuất một phương pháp phân tách ontology tự động dựa vào lát cắt tối thiểu và tiến hành thử nghiệm trên một phần của các TBox như Vedaall, tambis, ... trong hệ thống FaCT, và đưa ra một số kết quả đánh giá.

13p tamynhan8 04-11-2020 11 1   Download

Bài báo trình bày ngôn ngữ biểu diễn tri thức logic mô tả mờ (Fuzzy description logics), xây dựng luật mờ dựa trên ngôn ngữ f-SWRL, sử dụng bộ truy vấn Fuzzy description logics query trong plugin fuzzy OWL 2 và xây dựng một hệ thống ứng dụng trong tư vấn chọn nghề cho học sinh phổ thông.

9p tamynhan8 04-11-2020 14 0   Download

"Bài giảng Kỹ thuật số - Chương 5: Flip – Flops" cung cấp các nội dung về sơ đồ hệ thống số tổng quát bao gồm thành phần nhớ và các cổng logic; mạch chốt cổng NAND; mạch chốt cổng NAND; trạng thái SET mạch chốt; trạng thái clear mạch chốt; mạch chốt cổng NAND; mô tả tương đương mạch chốt; dạng sóng mạch chốt cổng NOR...

24p kequaidan7 03-09-2020 18 5   Download

Mục tiêu của đề tài là xây dựng định nghĩa mô phỏng hai chiều và tương tự hai chiều trong LGMT mờ theo ngữ nghĩa Gódel phát biểu và chứng minh tính chất Hennessy–Milner và tính bảo toàn của mô phỏng hai chiều và tương tự hai chiều đã được xây dựng.

142p tamynhan0 04-07-2020 8 1   Download

Đề cương chi tiết học phần Logic học đại cương cung cấp các thông tin về môn học, điều kiện tiên quyết, mục tiêu của học phần, mô tả tóm tắt nội dung học phần, nhiệm vụ của sinh viên; các thang điểm và nội dung chi tiết học phần.

13p nguyenanhtuan_qb 08-07-2020 86 3   Download