logic vị từ toán rời rạc

... chưa học rời rạc Phủ định BT chứa lượng từ • Ví dụ “Mọi sinh viên máy tính học môn logic toán ∀xP (x) "Không phải sinh viên máy tính học môn logic toán ∃x¬P (x) Mệnh đề tương đương Logic Phủ ... giá trị chân lý II Lượng từ Lượng Từ ∀ Lượng Từ Lượng Từ ∃ Lượng từ ∀ • Lượng từ ∀ P(x) mệnh đề P(x) ∀ giá trị x không gian • Ký hiệu: ∀ x P(x) • Các cách xác định lượng từ ∀ * Cách 1: - Xác định ... = lượng từ Ví dụ: Mọi sinh viên máy tính phải học môn logic P (x) = “x phải học môn logic Mệnh đề: ∀ x P(x) Lượng từ ∀ * Cách 2: Nếu…thì… Ví dụ: Nếu bạn học sinh lớp bạn học toán rời rạc P(x):...

Ngày tải lên: 29/09/2014, 11:45

... 3: Vị từ lượng từ 3.2.3 Trọng lượng vị từ (Prédi cat) 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ừ ... 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 c) Các vị từ: Một kiện hay mệnh đề phép toán vị từ ... xn) gọi giá trị hàm mệnh đề P (x1, x2, , xn) P gọi vị từ 3.2.4 Phép toán vị từ Phép toán vị từ sử dụng phép toán logic mệnh đề mở rộng phép toán mệnh đề để thể rõ tri thức Ví dụ 1: Cần viết câu...

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

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

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

... toán tìm khung nhỏ Bài toán tìm khung nhỏ có thuật toán hiệu để giải chúng Ta xét hai số thuật toán vậy: thuật toán Kruskal thuật toán Prim 6.2.3 Thuật toán Kruskal:Thuật toán xây dựng tập cạnh ... Bài toán tìm khung nhỏ nhất: Bài toán tìm khung nhỏ đồ thị số toán tối ưu đồ thị tìm ứng dụng nhiều lĩnh 88 vực khác đời sống Trong phần ta có hai thuật toán để giải toán Trước hết, nội dung toán ... thuật toán Kruskal có độ phức tạp O(p2) 90 6.2.4 Thuật toán Prim: Thuật toán Kruskal làm việc hiệu đồ thị dày (đồ thị có số cạnh m  n(n1)/2) Trong trường hợp đó, thuật toán Prim tỏ hiệu Thuật toán...

Ngày tải lên: 12/09/2012, 16:20

... toán tìm khung nhỏ Bài toán tìm khung nhỏ có thuật toán hiệu để giải chúng Ta xét hai số thuật toán vậy: thuật toán Kruskal thuật toán Prim 5.2.3 Thuật toán Kruskal: Thuật toán xây dựng tập cạnh ... Bài toán tìm khung nhỏ nhất: Bài toán tìm khung nhỏ đồ thị số toán tối ưu đồ thị tìm ứng dụng nhiều lĩnh vực khác đời sống Trong phần ta có 106 Cây Nguy n Th Vinh- ĐHKH hai thuật toán để giải toán ... dài nhỏ Cây khung gọi khung nhỏ đồ thị toán đặt gọi toán tìm khung nhỏ Để minh hoạ cho ứng dụng toán khung nhỏ nhất, hai mô hình thực tế tiêu biểu cho Bài toán xây dựng hệ thống đường sắt: Giả...

Ngày tải lên: 12/09/2012, 22:09

... x2-2x + ≥ Lê Anh Nhật 22 Vị ngữ, lượng từ 2.3 Phủ định vị từ  Định nghĩa: Cho trước vị từ p(x), q(x) theo biến x ∈ A Khi ấy,   Phủ định vị từ p(x) kí hiệu ¬p(x) vị từ mà thay x phần tử cố định ... p(a1,a2,.,an) Khi ta nói p = p(x1,x2,.,xn) vị từ theo n biến (xác định A1×A2× ×An) Lê Anh Nhật 18 Vị ngữ, lượng từ 2.2 Vị từ  Ví dụ 1: Xét p(n) = “n > 2” vị từ biến xác định tập số tự nhiên N Ta ... Xét p(x,y) = “x2 + y = 1” vị từ theo hai biến xác định R2, ta thấy p(0,1) mệnh đề đúng, p(1,1) mệnh đề sai Lê Anh Nhật 19 Vị ngữ, lượng từ 2.2 Lượng từ  Đ/n: Cho p(x) vị từ theo biến xác định A...

Ngày tải lên: 04/08/2013, 01:27

... toán tìm khung nhỏ Bài toán tìm khung nhỏ có thuật toán hiệu để giải chúng Ta xét hai số thuật toán vậy: thuật toán Kruskal thuật toán Prim 6.2.3 Thuật toán Kruskal:Thuật toán xây dựng tập cạnh ... Bài toán tìm khung nhỏ nhất: Bài toán tìm khung nhỏ đồ thị số toán tối ưu đồ thị tìm ứng dụng nhiều lĩnh vực khác đời sống Trong phần ta có hai thuật toán để giải toán Trước hết, nội dung toán ... thuật toán Kruskal có độ phức tạp O(p2) 6.2.4 Thuật toán Prim: Thuật toán Kruskal làm việc hiệu đồ thị dày (đồ thị có số cạnh m ≈ n(n−1)/2) Trong trường hợp đó, thuật toán Prim tỏ hiệu Thuật toán...

Ngày tải lên: 26/08/2013, 20:26

... hiệu rời rạc: Tín hiệu rời rạc x* ( t ) mô tả biểu thức: x (t ) = * ∞ ∑ x ( nT ) ∂ ( t − nT ) n =0 97 (6.4) Chương Mô tả toán học hệ thống điều khiển tự động rời rạc Chuyển đổi Laplace hàm rời rạc ... 6.4 HÀM TRUYỀN ĐẠT TRONG HỆ THỐNG RỜI RẠC Tương tự hệ thống liên tục tuyến tính, chuyển đổi Laplace rời rạc hàm trọng lượng rời rạc hàm truyền đạt hệ thống rời rạc 6.4.1 Hàm truyền đạt hệ hở * ... ảnh tín hiệu rời rạc, ta nghiên cứu giải tần số − ω0 ≤ ω ≤ ω0 6.3 MÔ TẢ TOÁN HỌC HỆ THỐNG RỜI RẠC 6.3.1 Biến đổi Z Thay z = e pT với p = α + jω vào (6.6), biểu thức ảnh hàm rời rạc là: X ( z)...

Ngày tải lên: 29/09/2013, 10:20

... tồn tại x >1” 43 Phần IV: Vị từ lượng từ II Lượng từ Lượng hóa vị từ Quan sát ví dụ sau: Cho tập hợp A = { 1,2,3,4,5} 44 Phần IV: Vị từ lượng từ (i) Liên kết với A vị từ: p(x) = “x số nguyên chẵn” ... - q(x,y) = “2x+ y3 = 1” - r(x,y,z) = “2x+ 9y> z2” 40 Phần IV: Vị từ lượng từ 41 Phần IV: Vị từ lượng từ 42 Phần IV: Vị từ lượng từ Lưu ý: Vị từ không phải là mệnh đề Phát biểu x > mệnh ... Các luật logic quy tắc thay I Các luật logic - Các luật logic sở để ta thực biến đổi biểu thức logic để có biểu thức logic tương đương logic với biểu thức logic có trước - Mỗi biểu thức logic chota...

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

... Cơ sở Logic Nội dung: gồm phần - Cơ sở logic - Phép đếm - Quan hệ - Hàm Bool - Đồ thị Cơ sở Logic Chương I: Cơ sở logic - Mệnh đề Dạng mệnh đề Qui tắc suy diễn Vị từ, lượng từ Tập hợp Ánh ... Qui tắc suy diễn Hôm An học Toán rời rạc học Anh văn Suy ra: Hôm An học Toán rời rạc 41 III Qui tắc suy diễn Qui tắc mâu thuẫn (chứng minh phản chứng) Ta có tương đương logic ( p1  p2   pn ...  Hoặc dạng sơ đồ pq q p 32 III Qui tắc suy diễn Nếu An học đầy đủ An đậu toán rời rạc An không đậu toán rời rạc Suy ra: An không học đầy đủ 33 III Qui tắc suy diễn Qui tắc tam đoạn luận...

Ngày tải lên: 24/05/2014, 00:39

... = n3 = 3q xử lí Nhiều thuật toán tính toán song song như: thuật toán Warshall, thuật toán chèn cạnh (Insert Edge), thuật toán Nhân ma trận đơn vị, đặc biệt thuật toán nhân ma trận boolean, độ ... song thuật toán tính toán song song áp dụng để tính toán bao đóng bắc cầu đồ thị a Những thuật toán tính toán song song: để thực hiện, người ta thường phân chia toán thành toán có kích thước nhỏ ... k> } Từ khóa Par câu lệnh phần thân thực cách đồng thời Đây song song mức dòng lệnh Những thuật toán song song: Những thuật toán song song giới thiệu gồm: thuật toán đồ thị song song thuật toán...

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

... Chương Chương 1: CƠ SỞ LOGIC 1.1 Mệnh đề 1.2 Nguyên lý qui nạp toán học 1.3 Công thức truy hồi 1.1 Nguyên lí qui nạp toán học Giả sử cần chứng minh mệnh đề có dạng: “n ... nó, lần thay bậc n giảm đơn vị, đạt giá trị ban đầu Bài toán : Tháp Hà Nội Có cọc a, b, c Trên cọc a có n đĩa xếp chồng lên cho đĩa nhỏ đĩa lớn Cần chuyển chồng đĩa từ cọc a sang cọc c tuân thủ ... Phương pháp di chuyển đĩa sau:  Chuyển n – đĩa từ cọc a sang cọc b sử dụng cọc c làm trung gian  Chuyển đĩa lớn từ cọc a sang cọc c  Chuyển n – đĩa từ cọc b sang cọc c sử dụng cọc a làm trung...

Ngày tải lên: 04/07/2014, 14:46

... /ab  5c23cd2  acd/b  3d35 89 Trước hết, ý phép toán +, , *, /,  phép toán hai ngôi, nhị phân tương ứng, đỉnh mang dấu phép toán đỉnh có hai Các chữ số đặt Theo ký pháp Ba Lan (t.ư ... khung không đẳng cấu? 11 Tìm khung nhỏ đồ thị sau theo thuật toán Kruskal Prim 42 a 10 c 15 g 14 d b 11 e 20 f h 12 Tìm khung nhỏ thuật toán Prim đồ thị gồm đỉnh A, B, C, D, E, F, H, I cho ma trận ... Các chữ số đặt Theo ký pháp Ba Lan (t.ư Ba Lan đảo) T a b (t.ư a b T) có nghĩa a T b, với T phép toán +, , *, /,  * /   a b*5 c 3  c d 2*  a c d /   b*3 d 35         a b...

Ngày tải lên: 24/07/2014, 23:21

... ba thuật toán duyệt nhị phân T(r) Các thuật toán trình bày đệ quy Chú ý T(x) môt đỉnh x “duyệt T(x)” có nghĩa “thăm đỉnh x” Thí dụ 5: a b c d e g h l f i m j n o k p q 6.4.2 Các thuật toán duyệt ... đỉnh nhị phân, đỉnh lần Ta gọi việc duyệt nhị phân hay đọc nhị phân Có nhiều thuật toán duyệt nhị phân, thuật toán khác chủ yếu thứ tự thăm đỉnh Cây nhị phân T có gốc r ký hiệu T(r) Giả sử r có ... đỉnh x” Thí dụ 5: a b c d e g h l f i m j n o k p q 6.4.2 Các thuật toán duyệt nhị phân: 1) Thuật toán tiền thứ tự: Thăm gốc r Duyệt bên trái T(r) theo tiền thứ tự Duyệt bên phải T(r) theo tiền...

Ngày tải lên: 24/07/2014, 23:21

... thuật toán Kruskal có độ phức tạp O(p2) 6.2.4 Thuật toán Prim: Thuật toán Kruskal làm việc hiệu đồ thị dày (đồ thị có số cạnh m  n(n1)/2) Trong trường hợp đó, thuật toán Prim tỏ hiệu Thuật toán ... dựng theo thuật toán vừa mô tả không thuộc S Khi đồ thị G sinh S bổ sung cạnh ek chứa chu trình C qua ek Do chu trình C phải chứa cạnh e thuộc S không thuộc T nên đồ thị thu từ S cách thay cạnh ... (D,C), (I,H), (H,F) (A,B), (B,I), (I,D), (D,C), (I,H), (H,F), (I,E) Tính đắn thuật toán: Để chứng minh thuật toán Prim đúng, ta chứng minh quy nạp T(k) (k=1, 2, ,n), đồ thị nhận vòng lặp thứ k,...

Ngày tải lên: 24/07/2014, 23:21

... toán tìm khung nhỏ Bài toán tìm khung nhỏ có thuật toán hiệu để giải chúng Ta xét hai số thuật toán vậy: thuật toán Kruskal thuật toán Prim 6.2.3 Thuật toán Kruskal:Thuật toán xây dựng tập cạnh ... Bài toán tìm khung nhỏ nhất: Bài toán tìm khung nhỏ đồ thị số toán tối ưu đồ thị tìm ứng dụng nhiều lĩnh vực khác đời sống Trong phần ta có hai thuật toán để giải toán Trước hết, nội dung toán ... m(T)=  m ( e) e E T Bài toán đặt số tất khung đồ thị G, tìm khung có độ dài nhỏ Cây khung gọi khung nhỏ đồ thị toán đặt gọi toán tìm khung nhỏ Để minh hoạ cho ứng dụng toán khung nhỏ nhất, hai...

Ngày tải lên: 24/07/2014, 23:21

... đề(P ∧Q ) ∨ ¬Q p q ¬q p∧ q (p∧ q)v ¬q T T F F T F T F F T F T T F F F T T F T Bảng tương đương Logic Sự tương đương Tên luật p∧TpvFp p ∧ F  F p v T T P∧ppvp ¬(¬p) ⇔p p∨q ⇔ q∨p p∧q ⇔ q∧p ... ⇔ p∨(q∨r) (p∧q)∧r ⇔ p∧(q∧r) Kết hợp • Ngoài tương đương thường dùng bảng trên, có tương • đương logic khác mà hay gặp chứng minh • Đó : • P ∨( P ∧Q ) = P • P ∧( P ∨Q ) = P Đỗ Văn Anh – KHMT3 ...

Ngày tải lên: 05/10/2014, 23:11

... (ηαψ Σ, Φ) Logic mệnh đề  Ξτ χ〈χ κη ẳνγ địνη σαυ χ⌠ πη ảι λ◊ µ ệνη đề ηαψ κηνγ?  Paris thành phố Mỹ mệnh đề  n số tự nhiên mệnh đề  Con nhà mà xinh !  số nguyên tố  Toán rời rạc môn bắt ... ” Logic mệnh đề  ς δ ụ: Χη ỉ ρα χ〈χ µ ệνη đề σ χ ấπ τ χ〈χ µ ệνη σαυ:  không số nguyên tố  số nguyên tố  Nếu 3>4 trời mưa mệnh đề sơ cấp  An xem phim hay An học  Hôm trời đẹp +1 =3 Logic ... κηνγ λ◊ µ νη  Μ τ µ νη κηνγ τη ể ϖ ừα đνγ ϖ ừα σαι Logic mệnh đề  ς δ ụ: - Mặt trời quay quanh trái đất mệnh đề - 1+1 = mệnh đề - Hôm trời đẹp ! - Học ! - số chẵn phải không? -X+1=2 -X+Y=Z...

Ngày tải lên: 07/02/2015, 20:00

... toán chia để trị 25/08/2014 GVC, ThS.Võ Minh Đức 20 Khái niệm    VI Quan Chia: Chia toán cần giải thành nhiều toán độc lập Trị: Giải toán Tổng hợp: Xây dựng lời giải toán từ lời giải kết toán ... (mỗi toán a toán con) hệ chia chia_tri(n/b); để Tổng hợp lời giải từ a toán để có lời giải toán End; trị End; 25/08/2014 GVC, ThS.Võ Minh Đức 22 VÍ DỤ BÀI TOÁN tìm kiếm nhị phân -> thuật toán ... TOÁN RỜI RẠC CH1: Đọc giá trị dãy số gồm giai thừa số, 0: 0, 1, 2, 6, 12, 20, ,n! a1, a2, a3, a4…an 25/08/2014 GVC, ThS.Võ Minh Đức TOÁN RỜI RẠC Định nghĩa 1: Hệ thức...

Ngày tải lên: 19/05/2015, 13:06

... loại hệ thống Logic học theo khác logic toán kết toán học hóa logic Logic toán gì? Logic toán ngành toán học nghiên cứu hệ thống hình thức việc mã hóa khái niệm trực quan đối tượng toán học chang ... hơn, đầy đủ Mặc dù logic mệnh đề, logic vị từ số hạn chế, chưa ứng dụng nhiều logic mờ, chưa phải đỉnh cao logic học điều mà logic mệnh đề, logic vị từ cống hiến thực to lớn, sở logic chung tư xác, ... lớp học môn Toán rời rạc 2” o Câu câu sử dụng lượng từ với sau: x P(x) Trong P(x) = {X học môn Toán rời rạc 2} o Phủ định câu là: “Không phải tất sinh viên lớp học môn Toán rời rạc 2” Điều có...

Ngày tải lên: 23/05/2015, 01:36