Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Phần 1 giáo trình gồm nội dung 5 bài học đầu tiên: Khái quát về logic, logic mệnh đề, logic tính toán, cài đặt minh họa, suy diễn logic và vị từ. Mời các bạn tham khảo nội dung chi tiết của tài liệu. | Giáo trình Logic Toán MỤC LỤC BÀI 1 KHÁI QUÁT VỀ LOGÍC.3 1. Giới thiệu .3 2. Định nghĩa logic học .3 3. Sự hình thành và phát triển của logic học .3 4. Ứng dụng của logic học .4 5. Đôi nét về logic mờ.5 BÀI 2 LOGÍC MỆNH ĐỀ.9 1. Định nghĩa .10 2. Phân tích .10 3. Các phép toán logic cơ bản .11 Bảng chân trị.12 4. Công thức trong đại số logic .12 4.1 Công thức .12 4.2 Công thức tương đương .13 4.3 Các qui tắc thay thế .14 5. Hệ quả logic và tương đương logic .17 6. Công thức đối ngẫu.17 7. Tính đầy đủ của một hệ các phép toán.17 7. Ứng dụng logic mệnh đề để vẽ mạch điện tử.18 BÀI 3 LoỏíC tÍNh toán. . .24 1. Khái niệm .24 1.1 Dạng tuyển chuẩn .24 1.2 Dạng hội chuẩn .24 2. Số logic .25 2.1 Định nghĩa .25 2.2 Hàm logic .26 2.2 Tương đương logic .28 3. Thuật toán biểu diễn một công thức logic dưới dạng tuyển chuấn .28 4. Thuật toán biểu diễn một công thức logic dưới dạng hội chuấn .30 Bài 4 CÀI ĐẶT MIẩ H HỌA. .33 1. Thuật toán tính số logic của một công thức .33 2. Chương trình minh họa việc kiểm tra 2 công thức tương đương .39 BÀI 5 SUY DIỄẩ LOGIC VÀ VỊ TỪ.42 1. Giới thiệu .42 2. Định nghĩa qui tắc suy diễn .42 3. Kiểm tra một qui tắc suy diễn .44 4. Các qui tắc suy diễn cơ bản .45 5. Các ví dụ áp dụng trong suy luận và chứng minh.48 6. Định nghĩa vị từ và ví dụ.50 6.1 Định nghĩa .50 6.2 Các phép toán trên các vị từ.50 Gv Trịnh Huy Hoàng Trang 1 SR r Giáo trình Logic Toán 6.3 Qui tắc phủ định mệnh đề có lượng từ.51 6.4 Một số qui tắc dùng trong suy luận .53 BÀI 6 Ị GỔỊ Ị Gữ PROLOG.58 1. Tư duy lập trình và định nghĩa vấn đề trên Prolog.58 2. Các clause cách giải thích các vấn đề trên Prolog.60 3. Thực thi chương trình. - Đặt câu hỏi và nhận câu trả lời.62 4. Phép hợp nhất - Cơ chế tìm câu trả lời của Prolog.65 4.1 Phép hợp nhất.65 4.2 Cơ chế tìm câu trả lời của Prolog.66 5. Sự quay lui - Khống chế số lượng lời giải -Vị từ nhát cắt và fail.68 6. Lập trình đệ quy với Prolog.72 7. Danh sách trên Prolog.74 8. Lập trình đệ quy với danh sách trên Prolog.75 9. Danh sách hai .
