» Từ khóa: logic

Tổng quan về chương trình logic; Chương trình mô tả; Ứng dụng của chương trình logic mô 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

 10 p husc 15/03/2022 79 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Logic mô tả, Hệ thống DLV, Vị từ xây dựng, Thực thi chương trình, Bài toán ứng dụng

Tổng quan về chương trình datalog và web ngữ nghĩa; Chương trình datalog; Chuyển đổi logic mô tả DL- LITE về chươgn 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 - 02343. 832447

 11 p husc 15/03/2022 100 0 Download

Từ khóa: Khoa học máy tính, Chương trình datalog, Lý thuyết mô hình, Điểm bất động, Web ngữ nghĩa, Logic mô tả

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

Tổng quan về chương trình logic; Ngữ nghĩa chương trình logic ưu tiên; Ứng dụng chương trình logic ưu tiên đối với việc lập luận.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

 9 p husc 03/12/2021 105 0 Download

Từ khóa: Khoa học máy tính, Chương trình Logic, Ưu tiên dạng tuyển, Phỏng đoán cực tiểu, Phỏng đoán ưu tiên, Lập luận phỏng đoán, Hệ thống phần mềm

Tổng quan về chương trình logic; Phép hợp giải Sld và Sladnf; Phép hợp giải Slt và ứng dụng. 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

 12 p husc 25/11/2021 89 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Ngữ nghĩa chương trình, Phép hợp giải, So sánh phép hợp, Phần mềm Swi-Prolog, Phần mềm XSB

Bài giảng Toán rời rạc: Phương pháp chứng minh cung cấp cho người học những nội dung kiến thức như: Mệnh đề, tiên đề, và suy luận logic; phương pháp chứng minh; nguyên lý sắp thứ tự tốt. Mời các bạn cùng tham khảo.

 37 p husc 29/07/2021 150 0 Download

Từ khóa: Toán rời rạc, Bài giảng Toán rời rạc, Phương pháp chứng minh, Suy luận logic, Nguyên lý sắp thứ tự tốt, Giả thuyết Euler

Bài giảng Logic học: Chương 1 - Đại cương về Logic học cung cấp cho người học những kiến thức như: Logic học là gì? Quá trình nhận thức của tư duy; Hình thức – quy luật của logic; Sự hình thành và phát triển; Phân loại logic học. Mời các bạn cùng tham khảo!

 24 p husc 30/06/2021 113 0 Download

Từ khóa: Bài giảng Logic học, Logic học, Quá trình nhận thức của tư duy, Quy luật của logic, Phân loại logic học, Nhận thức cảm tính

Bài giảng Logic học: Chương 3 - Khái niệm cung cấp cho người học những kiến thức như: Khái quát Khái niệm; Khái niệm và từ; Quá trình hình thành khái niệm; Kết cấu logic của khái niệm; Các loại khái niệm; Quan hệ giữa các khái niệm; Mở rộng và thu hẹp khái niệm; Định nghĩa khái niệm; Phân chia khái niệm. Mời các bạn cùng tham khảo!

 48 p husc 30/06/2021 112 0 Download

Từ khóa: Bài giảng Logic học, Logic học, Kết cấu logic của khái niệm, Phân chia khái niệm, Quá trình hình thành khái niệm, Quan hệ đối chọi

Bài giảng Logic học: Chương 6 - Chứng minh và bác bỏ cung cấp cho người học những kiến thức như: Đặc trưng của chứng minh; Các phương pháp chứng minh; Đặc trưng chung của bác bỏ; Ngụy biện. Mời các bạn cùng tham khảo!

 28 p husc 30/06/2021 127 0 Download

Từ khóa: Bài giảng Logic học, Logic học, Chứng minh và bác bỏ, Đặc trưng của chứng minh, Phương pháp chứng minh

Bài giảng Toán rời rạc do TS. Đặng Xuân Thọ biên soạn gồm 7 chương được trình bày cụ thể như sau: Logic mệnh đề; Lý thuyết tập hợp; Một số công thức tổ hợp; Suy luận và kiểm chứng chương trình; Đại số Boole và cấu trúc mạch logic; Thuật toán; Lý thuyết đồ thị. Mời các bạn cùng tham khảo!

 9 p husc 30/06/2021 111 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Kiểm chứng chương trình, Logic mệnh đề, Lý thuyết đồ thị, Cấu trúc mạch logic

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 117 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 Toán rời rạc: Chương 5 Đại số Boole và cấu trúc mạch logic cung cấp cho người học những kiến thức như: Giúp tính toán các biểu thứ logic trên bảng giá trị chân lý 0 và 1 cho ra đời một ngành toán học mới là đại số Boole; Biểu thức Boole và hàm Boole; Xác định biểu thức Boole của hàm Boole; Sơ đồ mạch logic.

 25 p husc 30/06/2021 123 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Đại số Boole, Cấu trúc mạch logic, Xác định biểu thức Boole, Sơ đồ mạch logic