» Từ khóa: logic

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 132 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 117 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 180 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 146 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 2 - Những quy luật cơ bản của tư duy cung cấp cho người học những kiến thức như: Quy luật đồng nhất; Quy luật phi mâu thuẫn (phủ định); Quy luật loại trừ (triệt tam); Quy luật lý do đầy đủ. Mời các bạn cùng tham khảo!

 18 p husc 30/06/2021 144 1 Download

Từ khóa: Bài giảng Logic học, Logic học, Quy luật cơ bản của tư duy, Quy luật phi mâu thuẫn, Quy luật đồng nhất, Quy luật loại trừ

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 144 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 4 - Phán đoán (Mệnh đề) cung cấp cho người học những kiến thức như: Khái quát về phán đoán; Phân loại phán đoán; Phán đoán đơn; Phán đoán phức. Mời các bạn cùng tham khảo!

 54 p husc 30/06/2021 137 0 Download

Từ khóa: Bài giảng Logic học, Logic học, Phán đoán, Phân loại phán đoán, Phán đoán phức, Phán đoán đơn

Bài giảng Logic học: Chương 5 - Suy luận cung cấp cho người học những kiến thức như: Khái quát về suy luận; Các loại suy luận; Suy luận quy nạp; Tương tự. Mời các bạn cùng tham khảo!

 67 p husc 30/06/2021 123 0 Download

Từ khóa: Bài giảng Logic học, Logic học, Các loại suy luận, Suy luận quy nạp, Cấu trúc của suy luận, Suy diễn trực tiếp

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 156 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 149 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 148 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 151 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