bài giảng cấu trúc rời rạc phần logic mệnh đề

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

... QUAN HỆ THỨ TỰ Thí dụ : * Quan hệ ≤ tập hợp số quan hệ thứ tự 12 ≤ 26, 45 ≤ 90, 60 ≤ 60, … * Quan hệ ⊆ chứa tập hợp quan hệ thứ tự A B Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM QUAN HỆ THỨ ... Quang Châu- Khoa CNTT- Trường CN Tp.HCM QUAN HỆ THỨ TỰ Quan hệ thứ tự toàn phần (∀x, y)( (x, y) ∈ R ∨ (y, x) ∈ R)) a a b d e b c c d e NguyễnfQuang Châu- Kho...

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

... hệ “loại ngôn ngữ lập trình” tập hợp {(Pascal, cấutrúc), (C++, cấu trúc) , (C++, đốitượng), (Fortran, cấutrúc), (Prolog, logic), (Small talk, object), (Cobol, cấutrúc), (Lisp, hàm)} Nguyễn Quang ... TÍCH HAI TẬP HP Lấy A = {a, b, c}, B = {1, 2, 3, 4} B = {(a, 1), (a, 2), (a, 3), (a, 4), (b, 1), (b, 2), (b, 3), (b, 4), (c, 1), (c, 2), (c, 3), (c, 4)}  Mỗi phần tử (x, y) tập tích...

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

Ngày tải lên: 16/07/2014, 01:00

... Define trees as data structures Define the terms associated with trees Discuss the possible implementations of trees Analyze tree implementations of collections Discuss methods for traversing trees ... Examine a binary tree example Copyright © 2005 Pearson Addison-Wesley All rights reserved 12-2 Trees • A Tree is a non-linear structure defined by the concept that each node in the tree,...

Ngày tải lên: 16/07/2014, 01:00

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

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

... Danh sách b Các phép toán danh sách Thêm phần tử vào danh sách: thao tác thêm phần tử Vào danh sách Phần tử thêm vào cuối, đầu danh sách Chú ý danh sách đầy Ví dụ: Danh sách b Các phép toán danh ... tự danh sách: thao tác lại thứ tự phần tử danh sách theo quy tắc Ví dụ: Danh sách b Các phép toán danh sách Tách danh sách thành nhiều danh...

Ngày tải lên: 03/04/2014, 00:21