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ụ ta khụng thng thỡ cụ ta s mt tt c " Nguyn Quang Chõu Khoa CNTT HBK Tp.HCM Biu thc mnh (LOGICAL CONNECTIVES) C hai mnh chớnh biu thc mnh ny l mnh phc hp Cú th nh ngha cỏc bin mnh nh...

bài giảng cấu trúc rời rạc phần logic vị từ

... Đ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 Châu – Khoa CNTT ĐHBK Tp.HCM Các vị ... vị từ Phép tốn vị từ sử dụng phép tốn logic mệnh đề mở rộng phép tốn mệnh đề để thể rõ tri thức Ví dụ 1: Cần viết câu "nếu hai người thích người họ khơng thích nhau“ dạng logic vị từ...

Silde bài giảng cấu trúc rời rạc phần đại số boole

... 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ọi hàm Boole ... n • Hàm Boole thường biểu diễn cách dùng biểu thức tạo biến phép toán Boole n Ví22dụ: F(x, y, z) = xy + z • Có hàm Boole bậc n khác ? 07-09-2007 Bài giảng Môn học Các đẳng thức đại số Boole Hằng...

Silde bài giảng cấu trúc rời rạc phần truy chứng hữu hạn

... 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 hạn I = vô hạn, Ai = vô hạn → ∩Ai = không xác ... TỬ − TRÊN TẬP VH Hữu hạn − Hữu hạn = Hữu hạn {a, b, c, d, e} − {a, c, d, 1, 2, 3, 4} = {b, e} Hữu hạn − Vô hạn = Hữu hạn {1, 2, 3} − {2, 4, 6, … } = {1, 3} Vô hạn − Hữu hạn = Vô hạn {a, b, c, 1,...

Silde bài giảng cấu trúc rời rạc phần ánh xạ

... 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 a d e Nguyễn ... NỐI ÁNH XẠ Tìm đường từ tập đầu ánh xạ thứ đến tập cuối ánh xạ thứ Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM ĐIỀU KIỆN HP NỐI Cho ánh xạ f : A → B g : C → D Điều kiện để hợp nối ánh xạ : f(A)...

Silde bài giảng cấu trúc rời rạc phần đánh chỉ số

... ĐÁ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ó nhiều số Để đánh số tất X chọn ... CN Tp.HCM THÍ DỤ (ĐÁNH CHỈ SỐ) ϕ : N → R, x  xπ Tập {π, 2π, … } đánh số N ϕ : R → R, x  x2 Tập R+ đánh số R Nguyễn Quang Châu- Khoa CNTT- Trường CN Tp.HCM THÍ DỤ (ĐÁNH CHỈ SỐ) Program XXX; Type...

Silde bài giảng cấu trúc rời rạc phần dao động truyền

... 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 1 0 1 1 1 1 Nguyễn Quang Châu - Khoa CNTT ĐHCN TpHCM s BAO ĐÓNG TRUYỀN Quan hệ R tập miền trò có n phần tử bao đóng truyền R : C(R) = R1 ∪ R2 ∪ … ∪ Rn Biểu diễn quan hệ R ma trận nhò phân...

Silde bài giảng cấu trúc rời rạc phần lý thuyết tập hợp

... Đ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 ÝÙ NGHĨA CỦA TẬP HP Mỗi tập hợp ... ∅, Tập hợp có phần tử ? Nguyễn Quang Châu – Khoa CNTT ĐHCN Tp.HCM CÁC TẬP HP Tập trống : ∅ Tập : X ⊆ Y ↔ (∀x)( x ∈X → x ∈Y) Tập 2X = P(X) (power set ≠ power of set) Tập phổ dụng Tập tách biệt Tập...

Silde bài giảng cấu trúc rời rạc phần quan hệ thứ tự

... 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- Khoa CNTT- Trường CN Tp.HCM QUAN HỆ THỨ ... ĐẠI-CỰC TIỂU TỐI ĐẠI-TỐI TIỂU Phần tử cực đại (maximum) quan hệ thứ tự R phần tử : − có quan hệ với phần tử, − bên trái quan hệ với phần tử khác a c f h b d e i j k g Nguyễn Quang Châu- Khoa CNTT- Trường...

Silde bài giảng cấu trúc rời rạc phần tích hai tập hợpk

... 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 (A ... CỦA TÍCH A × B ≠ B × A A × ∅ = ∅ ∅ × A = ∅ Tạo hai tập hợp tách biệt : A × {0} B × {1} B B × {1} A A × {0} Nguyễn Quang Châu - Khoa CNTT ĐHCN TpHCM s QUAN HỆ  Phân loại ngôn ngữ lập trình Cấu trúc...

Bài giảng Cấu trúc dữ liệu,Phần cuối

...

Bài giảng Cấu trúc dữ liệu_ Phần Tree

... 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, other than ... concept of a complete tree is related to the balance of a tree • A tree is considered complete if it is balanced and all of the leaves at level h are on the left side of the tree • While a seemingly...

giáo trình cấu trúc rời rạc phần tập hợp

... 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 toán rời rạc trường bạn b) Tập hợp ... toán học ngành tin ( hai nghành) Định nghĩa Hợp n tập hợp tập hợp chứa tất phần tử thuộc số n tập hợp Ta ký hiệu: n A1 ∪ A2 ∪ ∪ An = ∪ Ai i −1 để hợp tập hợp A1 , A2 , , An Ví dụ Ai = {i, i +1,...

CẤU TRÚC RỜI RẠC - Cơ sở Logic pot

... 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ở Logic 17 CƠ SỞ LOGIC Cơ sở Logic ... q) ˅ r ⇔ ¬ (p → q) ˅ r ⇔ (p ˅ r) ∧ (¬q ˅ r) ⇔ (p → q) → r ⇔ (¬p → r) ∧ (q → r) Cơ sở Logic 29 CƠ SỞ LOGIC Cơ sở Logic 30 Áp dụng quy tắc suy diễn để làm gì? chứng minh toán học, xuất phát từ...

60
1,751
1

Bài giảng cấu trúc dữ liệu - Chương 2 Cấu trúc dữ liệu danh sách Phần 2 pdf

... 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 sách: thao tác tách phần tất phần tử DS đưa sang danh ... DUNG TRÌNH BÀY Danh sách Danh sách đặc Danh sách liên kết Ngăn xếp Hàng đợi 1 Danh sách a Định nghĩa b Các phép toán danh sách Danh sách a Định nghĩa Danh sách tập hợp hữu hạn phần tử kiểu (Elementtype)...

Xem thêm