Ch1. Bài 1. Mở đầu về Logic

Tốn rời rạc Thời lượng: 4tc Giáo trình: Tốn rời rạc ứng dụng tin học Keneth Rosen Dịch giả: Phạm Văn Thiều Đặng Đức Thịnh Toán rời rạc Đỗ Đức Giáo Bài tập Toán rời rạc Đỗ Đức Giáo Ngồi cịn có số giáo trình khác Phương thức học: - Học lớp - Làm Bài tập nhà Kiểm tra đánh giá: - Điểm lên bảng - Điểm Bài tập - Điểm kiểm tra 15’ - Điểm thi GK - Điểm chuyên cần - Điểm thi CK Nội dung Logic (Gồm Đại số Bool) Lý thuyết Đồ thị (Bao hàm Cây) Automat ngôn ngữ hình thức Bổ sung: Giải tích tổ hợp Xác suất rời rạc Thuật tốn Quan hệ Phép đếm Chương Logic Bài Mở đầu Định nghĩa Mệnh đề: Mệnh đề câu ( phát biểu) hoặc sai Ví dụ1: p:= “Anh Lê Việt Hồng người giàu tình u thương” q:= “Anh Lê Việt Hoàng nhiều bạn nữ yêu quý” Anh Vũ Hải Nam người bắn súng giỏi lớp “Anh Nguyễn Văn Minh chàng trai tài hoa” Anh Trần Đại Nghĩa người vui tính Chị Trang người yêu anh Nghĩa Anh Giang niên galan lớp ta Anh Trung Đức đẹp trai lớp Anh Phùng Quang Huy người Quan họ hát Quan họ hay Anh Trần Văn Hưởng Game thủ xuất sắc Chị Nhung Hoa hậu lớp ta sáng Ví dụ Hà Nội thủ có diện tích lớn giới Ví dụ “x+2=3” 2 Các phép toán Logic: 2.1 Phép tuyển: Giả sử p q mệnh đề Phép tuyển p q cho ta mệnh đề sai p q sai; tất trường hợp lại Bảng giá trị chân lý phép tuyển: p T q T p∨q T T F F F T F T T F Ví dụ: p:=“Anh Trí lớp trưởng Lớp TRR6” q:=”Anh Trí sv giỏi Lớp TRR6” p∨q=1 Ví dụ: p:=”Anh Đình Hiếu Lớp INT1050_5 chuyên gia lập trình” =1; q:=”Anh Giang anh Hiếu người thành thạo ngơn ngữ lập trình Java, C++, C, Java Script”=1 p∨q≡1 Phép toán phủ định Giả sử p mệnh đề phép tốn phủ định p ký hiệu ¬p p mệnh đề sai p ngược lại, p sai Ví dụ: r:= “Hôm trời mưa” Ký hiệu mệnh đề có giá trị T 1; Ký hiệu mệnh đề sai có giá trị F 0; Bảng giá trị chân lý p T F ¬p F T Ví dụ: p:=”Các chuyến bay từ Hàn Quốc hạ cánh xuống nội Bài từ ngày 29/3/2020” Phép hội: Giả sử p q mệnh đề Phép hội p q cho ta mệnh đề p q đúng; sai tất trường hợp lại Bảng giá trị chân lý phép hội: p T q T p∧q T T F F F T F F F F Phép kéo theo: Giả sử p q mệnh đề Phép toán p kéo theo q cho ta mệnh đề sai p q sai; tất trường hợp lại Bảng giá trị chân lý phép kéo theo: p T T F F q T F T F p→q T F T T Thứ tự thực phép toán logic: Phép phủ định Phép hội Phép tuyển Phép kéo theo Phùng Duy Dũng: 10 Nguyễn Chí Hiếu: 10 ... thi CK Nội dung Logic (Gồm Đại số Bool) Lý thuyết Đồ thị (Bao hàm Cây) Automat ngơn ngữ hình thức Bổ sung: Giải tích tổ hợp Xác suất rời rạc Thuật toán Quan hệ Phép đếm Chương Logic Bài Mở đầu... Nhung Hoa hậu lớp ta sáng Ví dụ Hà Nội thủ có diện tích lớn giới Ví dụ “x+2=3” 2 Các phép toán Logic: 2.1 Phép tuyển: Giả sử p q mệnh đề Phép tuyển p q cho ta mệnh đề sai p q sai; tất trường... hợp lại Bảng giá trị chân lý phép kéo theo: p T T F F q T F T F p→q T F T T Thứ tự thực phép toán logic: Phép phủ định Phép hội Phép tuyển Phép kéo theo Phùng Duy Dũng: 10 Nguyễn Chí Hiếu: 10