Cấu Trúc Rời Rạc Lê Hoàng Tuấn UIT Vở chép

... định: [(p → q) ∧ ¬q ] → ¬ p p→q ¬q ∴¬p Ví dụ: • Nếu Sơn học đầy đủ Sơn đậu toán rời rạc • Sơn không đậu toán rời rạc Suy ra: Sơn không học đầy đủ Chương Cơ sở lôgic Chương Cơ sở lôgic 23 Qui tắc ... 0 0 1 0 Ví dụ: 1 P: “Hôm chủ nhật” Q: “Hôm trời mưa” P ∧ Q: “ Hôm chủ nhật trời mưa” Chương Cơ sở lôgic Chương Cơ sở lôgic Mệnh đề Phép tuyển (nối rời, hợp): hai mệnh đề P, Q kí hiệu P ∨...

Ngày tải lên: 17/02/2014, 23:20

... Phong Cơ sở Logic CẤU TRÚC RỜI RẠC CƠ SỞ LOGIC Cơ sở Logic CƠ SỞ LOGIC I MỆNH ĐỀ II DẠNG MỆNH ĐỀ III QUY TẮC SUY DIỄN IV VỊ TỪ, LƯỢNG TỪ V QUY NẠP TOÁN HỌC Cơ sở Logic CƠ SỞ LOGIC Cơ sở Logic ... 0 1 Cơ sở Logic 16 Các phép toán với mệnh đề Phép kéo theo hai chiều (phép tương đương)  𝑃 = “𝜋 > 3” 𝑄 = “5 = 3” 𝑃 ↔ 𝑄 = "𝜋 > kéo theo = 3“ (Sai) Ví dụ Cơ sở...

Ngày tải lên: 06/03/2014, 20:20

... định: [(p → q) ∧ ¬q ] → ¬ p Ví dụ: p→q ¬q ∴¬p • Nếu Sơn học đầy đủ Sơn đậu toán rời rạc • Sơn không đậu toán rời rạc Suy ra: Sơn không học đầy đủ Chương Cơ sở lôgic Chương Cơ sở lôgic 23 Qui tắc ... trị Ví dụ: P: “Hôm chủ nhật” Q: “Hôm trời mưa” P Q P∧Q 0 1 1 0 P ∧ Q: “ Hôm chủ nhật trời mưa” Chương Cơ sở lôgic Chương Cơ sở lôgic Mệnh đề Phép tuyển (nối rời, hợp): hai mệnh đề P, Q kí...

Ngày tải lên: 15/03/2014, 23:20

... nguyên: n(n-1) số chẵn → n(n-1) +5 = n2 – n + số lẻ • Các phương pháp chứng minh PP2: Chứng minh lựa chọn VD: CMR với n nguyên, 9n2 + 3n – số chẵn CM: Ta có 9n2 + 3n – = (3n+2) (3n-1) Xảy TH - TH1: ... 9n2 + 3n – = (3n+2) (3n-1) Xảy TH - TH1: 3n+2 số chẵn → (3n+2) (3n-1) số chẵn - TH2: 3n+2 số lẻ → (3n+2 )-3 số chẵn → (3n+2)(3n-1) số chẵn • Các phương pháp chứng minh PP3: Chứng...

Ngày tải lên: 23/03/2014, 03:20

... 2 .phép đếm Chương 2 .phép đếm A Chương 2 .phép đếm B A B Chương 2 .phép đếm Chương 2 .phép đếm 10 Chương 2 .phép đếm 11 Chương 2 .phép đếm 12 Ví dụ 1: cho tập hợp A ={1,3,5) B={1,2,3} Chương 2 .phép đếm ... 2 .phép đếm 14 Hằng đẳng thức tập hợp Chương 2 .phép đếm 15 Chứng minh tập hợp Chương 2 .phép đếm 16 Chứng minh tập hợp Chương 2 .phép đếm 17 Tổng quát...

Ngày tải lên: 29/03/2014, 21:20

... định: [(p → q) ∧ ¬q ] → ¬ p p→q ¬q ∴¬p Ví dụ: • Nếu Sơn học đầy đủ Sơn đậu toán rời rạc • Sơn không đậu toán rời rạc Suy ra: Sơn không học đầy đủ Chương Cơ sở lôgic Chương Cơ sở lôgic 23 Qui tắc ... Ví dụ: 0 0 1 0 1 P: “Hôm chủ nhật” Q: “Hôm trời mưa” P ∧ Q: “ Hôm chủ nhật trời mưa” Chương Cơ sở lôgic Chương Cơ sở lôgic Mệnh đề Phép tuyển (nối rời, hợp): hai mệnh đề P, Q kí hiệu P ∨...

Ngày tải lên: 02/03/2015, 08:47

... tập hợp Ví dụ - Giản đồ Venn biểu diễn tập V nguyên âm tiếng Anh a i U o e - Giản đồ Venn biểu diễn tập A tập B U A B 1.4 Tập hợp lũy thừa Định nghĩa Cho tập S, tập lũy thừa S tập tất tập S Tập ... A tập hợp sinh viên năm thứ hai trường bạn B tập sinh viên học môn toán rời rạc trường bạn biểu diễn tập sau qua A B a) Tập hợp sinh viên năm thứ hai học môn...

Ngày tải lên: 01/10/2015, 14:24

... Chõu Khoa CNTT HBK Tp.HCM Tng ng Logic (LOGICALLY EQUIVALENT) Vy F v G l tng ng logic hay F=G Vớ d 2: Cho F = P Q G = PQ Xột xem hai mnh trờn l cú tng ng logic khụng ? P Q PQ T T T T F F ... Khoa CNTT HBK Tp.HCM Biu thc mnh (LOGICAL CONNECTIVES) Vớ d : Tỡm chõn tr ca biu thc mnh ơP (Q R ) Nguyn Quang Chõu Khoa CNTT HBK Tp.HCM Biu thc mnh (LOGICAL CONNECTIVES) Do biu thc mnh ... nu cụ...

Ngày tải lên: 01/10/2015, 14:25

... ĐHBK Tp.HCM Trọng lượng vị từ „ „ „ Chúng ta thường gặp câu có nhiều biến Vị từ xuất hàm nhiều biến, số biến gọi trọng lượng vị từ Ví dụ 1: Vị từ P(a,b) = {a + b = 5} vị từ biến khơng gian N Ta ... dùng vị từ có biến để thể vị từ tương tự Ví dụ: Vị từ "Quả bóng màu xanh" viết lại: "X màu Y" Quả bóng xanh xác định khơng gian vị từ X, Y biến „ Nguyễn Quang C...

Ngày tải lên: 01/10/2015, 14:25

... Mở đầu • Đại số Boole đưa phép toán làm việc với tập {0, 1} • Các phép toán thường dùng đại số Boole: – Phép lấy phần bù định nghĩa : = 1=0 – Phép lấy tổng Boole, ký hiệu ‘+’: + ... kết đại số Boole dịch trực tiếp thành mệnh đề ngược lại 07-09-2007 Bài giảng Môn học Hàm Boole • Định nghĩa: Cho B = {0,1} – Biến x gọi biến Boole nhận giá trị từ B – Một hàm từ Bn B g...

Ngày tải lên: 01/10/2015, 14:25

... I = hữu hạn, Ai = hữu hạn → ΠAi = hữu hạn I = hữu hạn, Ai = vô hạn → ΠAi = vô hạn I = {1, 2}, A1 = {a}, A2 = N, A1×A2 = vô hạn I = vô hạn, Ai = vô hạn → ΠAi = vô hạn I = vô hạn, Ai = hữu hạn ... rộng ∩Ai tập số I : I = hữu hạn, Ai = hữu hạn → ∩Ai = hữu hạn I = hữu hạn, Ai = vô hạn → ∩Ai = không xác đònh I = vô hạn, Ai = hữu hạn → ∩Ai = hữu...

Ngày tải lên: 01/10/2015, 14:25

... Quang Châu- Khoa CNTT- Trường CN Tp.HCM ÁNH XẠ ĐẢO Điều kiện để ánh xạ f có chiều ngược lại ánh xạ f b a c e d g ánh xạ ? f phải 1-1 để g ánh xạ g gọi ánh xạ đảo f ký hiệu f −1 Nguyễn Quang Châu- ... BÀI TẬP ÁNH XẠ Cho biết quan hệ sau có phải ánh xạ hay không c b a d e Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM ÁNH XẠ 1-1 & TRÊN Ánh xạ 1-1 Ánh xạ c b...

Ngày tải lên: 01/10/2015, 14:25

... ĐÁNH CHỈ SỐ Đánh số phần tập X tập I Chọn ánh xạ ϕ : I → X Tập ϕ(I) tập đánh số ϕ ánh xạ đánh số Tập I tập số q p r u t s X Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM ĐÁNH CHỈ SỐ Ánh xạ đánh ... Ánh xạ đánh số ϕ : I → X Ký hiệu ϕ(I) = (xi)i ∈ I = (xi)i = {xi | ∀i ∈ I}, với xi phần tử X đánh số Nhận xét : nh xạ đánh số không cần phải 1-1 Mỗi phần tử X có n...

Ngày tải lên: 01/10/2015, 14:25

... BAO ĐÓNG TRUYỀN Thí dụ : Tìm bao đóng truyền R : R = {(a, b), (b, d), (a, c), (d, f)} Kiểm tra tính truyền R (a, b) + (b, d) → thêm vào (a, d) Kiểm tra tính truyền R∪{(a, d)} (a, ... CNTT ĐHCN TpHCM s BAO ĐÓNG TRUYỀN Ký hiệu : R1 = R, R2 = R : R, Rn = Rn-1 : R Bao đóng truyền R : ∞ C(R) =  R.n Nguyễn Quang Châu - Khoa CNTT ĐHCN TpHCM s BAO ĐÓNG TRUYỀN Biểu diễn quan hệ tập ... 1 1 1...

Ngày tải lên: 01/10/2015, 14:26

... ĐHCN Tp.HCM s TẬP CÁC TẬP CON Tìm tập tất tập X = {a, b, c} ? Tập phần tử : ∅ Tập phần tử : a → {a}, b → {b}, c → {c} Tập phần tử : a, b → {a, b}, a, c → {a, c}, b, c → {b, c} Tập phần tử : a, ... ý * Tập hợp đếm * phần tử trùng * Các phần tử trật tự Trưng tính * Cần tập hợp cho trước * Tập hợp đạt đến không đếm Nguyễn Quang Châu – Khoa CNTT ĐHCN Tp.HCM s Ý...

Ngày tải lên: 01/10/2015, 14:26