... I)Kiểm chứngchương trình Các qui tắc suyluận để kiểm chứngchương trình Một qui tắc có ích chứngminh tính đứng đắn chương trình là: Chia chương trình thành dãy đoạn chương trình sau chứng tỏ ... thay chứngminh (p ⇒ q) ta cần chứngminh ( ¬ q ⇒ ¬ p) (Đoi gọi chứngminh phản chứng) Ví dụ: Chứngminh “Nếu 3n+2 lẻ n lẻ” Giải: Giả sử n không lẻ, ie: n chẵn n chẵn ⇒ n = k với k số nguyên ⇒ 3n+2= ... pháp chứngminh đònh lý Phần lớn đònh lý toán học đề đưa dạng p ⇒ q Vì p ta cần chứng tỏ phép kéo theo (p ⇒ q) không cần chứngminh q Chứngminh trực tiếp: chứngminh mệnh đề (p ⇒ q) cách chứng...
... pháp chứngminh đònh lý Phần lớn đònh lý toán học đề đưa dạng p ⇒ q Vì p ta cần chứng tỏ phép kéo theo (p ⇒ q) không cần chứngminh q Chứngminh trực tiếp: chứngminh mệnh đề (p ⇒ q) cách chứng ... thay chứngminh (p ⇒ q) ta cần chứngminh ( ¬ q ⇒ ¬ p) (Đôi gọi chứngminh phản chứng) Ví dụ: Chứngminh “Nếu 3n+2 lẻ n lẻ” Giải: Giả sử n không lẻ, ie: n chẵn n chẵn ⇒ n = k với k số nguyên ⇒ 3n+2= ... kết luận Để đảm bảo cho kết luận chặt chẻ2 dãy suyluận phải thỏa mãn: - Áp dụng qui tắc suyluận - Chỉ suyluận dựa khái niệm ban đầu, giả thiết, khái niệm đònh nghóa, tính chất, đònh lý (đã chứng...
... relation)⇔ ∀a,b ∈A, aRb ⇒ bRa Ví dụ 2 .3: A={1,2 ,3} , xét quan hệ A R3 = {(1,1), (3, 2), (1 ,3) , (3, 1), (2 ,3) } quan hệ đối xứng R4 = {(2,1), (1,2), (3, 2), (1 ,3) , (3, 1), (3, 3)} quan hệ không đối xứng c) Tính ... 4.1: Cho A={1,2 ,3, 4,5,6} , quan hệ định nghĩa: ∀x,y∈A, x R y ⇔ “x tính chẵn lẻ với y” R={(1,1),(1 ,3) , (1,5), (2,2),(2,4), (2,6), (3, 1), (3, 3), (3, 5), (4,2), (4,4), (4,6), (5,1), (5 ,3) , (5,5), (6,2), ... (reflexivity): R phản xạ (reflexive relaiton)⇔ ∀a∈A, aRa Ví dụ 2.1: Cho A={1,2 ,3, 4,5}, R: Một quan hệ A R={(1,1),(2,2),(2 ,3) , (3, 3), (3, 4), (3, 5),(4,2) ,(4,4), (5,1), (5,5)} R: có tính phản xạ ∆ A • • • • •...
... n Một biến n gán trị P(n) mệnh đề Ví dụ 3: Cho vị từ P(x) = {x >3} Xác định chân trị P(4) P(2) Giải: P(4) = {4 >3} : mệnh đề P(2) = {2 >3} : mệnh đề sai 3. 2.2 Không gian vị từ (Prédi cat) Người ... 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 ... gian vị từ Không gian rõ giá trị biến x làm cho P(x) trở thành mệnh đề sai Trang: 49 Chương 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...
... độ dài 10 bắt đầu 00 kết thúc 11? 3.3 BÀI TOÁN LIỆT KÊ 3. 3.1 GiỚI THIỆU BÀI TOÁN3. 3.2 PHƯƠNG PHÁP SINH 3.3 .3 THUẬT TOÁN QUAY LUI 3. 3.1 GiỚI THIỆU BÀI TOÁN Ví dụ: Một băng video ghi C giây Ta ... 3 BÀI TOÁN TỒN TẠI 3. 2 BÀI TOÁN ĐẾM TỔ HỢP 3.3 BÀI TOÁN LIỆT KÊ 3. 4 BÀI TOÁN TỐI ƯU BÀI TOÁN TỒN TẠ I MỞ ĐẦU Trong nhiều toán tổ hợp, việc tồn cấu hình tổ hợp ... Dirichlet có người số người quen 3. 2 BÀI TOÁN ĐẾM 3. 2.1 CÁC NGUYÊN LÝ CƠ BẢN 3. 2.2 CÁC CẤU HÌNH TỔ HỢP ĐƠN GiẢN 3. 2 .3 MỘT SỐ VÍ DỤ ỨNG DỤNG 3. 2.4 NGUYÊN LÝ BÙ TRỪ 3. 2.1 MỘT SỐ NGUYÊN LÍ CƠ BẢN a...
... N I DUNG 3. 1 Gi i thi u toán3. 2 Nguyên lý Bù tr 3.3 Bi n i v toán n gi n 3. 4 Quan h gi a t p h p dãy nh phân 3. 5 H th c truy h i 3. 6 Bài t p @Copyrights by Dr Ngo Huu ... Don Technical University 3.3 Bi n i v toán i v i toán tr n gi n (1/ 13) m, có th a v toán ng d ng nguyên lý Bù n gi n h n Trong ph n xem xét m t s toán: Bài toán b th Bài toán s p khách Lucas 15 ... N(F) = 8 13; N(R) = 114; N(E F) = 1 03; N(E R) = 23; N(F R) = 14 N(S F R) = 2092 N(E F R) = N(E) + N(F) + N(R) - N(E R) - N(E F) - N(F R) + N(E F R) Ta có: 2092 = 1202 + 8 13 + 114 - 1 03 - 23 - 14...
... Chẳng hạn, 215 –1 = 32 767 < 60 032 < 216 –1 = 65 535 nên muốn biểu diễn số 60 032 dec chiều dài ghi phải 16 bit Nếu không mở rộng ghi (nghóa chuyển sang kiểu liệu khác) kết tính toán đem lại nhiều ... liệu khác 53 Cộng/Trừ số nguyên với số bù 2: Khi biểu diễn số nguyên dạng số bù thực phép toán cộng trừ bình thường Ví dụ: 5dec – 3dec = 0101bin + 1101bin = 0010bin= +2dec -5dec + 3dec = 1011bin ... Kiểu Kiểu liệu không dấu liệu có dấu Thập phân 0000 0 -1 15 1111 0001 1 -2 14 1110 0010 2 -3 13 1101 0011 3 -4 12 1100 0100 4 -5 11 1011 0101 5 -6 10 1010 0110 6 -7 1001 0111 7 8 1000 Đối chiếu...
... nêu Chứngminh với 11 53 người hỏi tìm 10 người trả lời giống hệt Có 17 nhà bác học viết thư cho trao đổi vấn đề Chứngminh tìm người trao đổi vấn đề Trong kỳ thi kết thúc học phần toán học rờirạc ... dần đến e (nghĩa > ) n lớn n! Số N toán gọi số thứ tự ký hiệu Dn Dưới vài giá trị Dn, cho ta thấy Dn tăng nhanh so với n: n 10 11 Dn 44 265 1854 14 833 133 496 133 4961 14684570 2.2 NGUYÊN LÝ DIRICHLET ... dạng an = 11 n + 22n + 33 n Các điều kiện ban đầu a0 = = 1 + 2 + 3 a1 = = 1 + 22 + 33 a2 = 15 = 1 + 24 + 39 Giải hệ phương trình ta nhận 1= 1, 2 = 1, 3 = Vì thế, nghiệm hệ thức...
... thông yếu G đồ thị Euler đỉnh G có bậc vào bậc Chứng minh: Chứngminh tương tự chứngminh Định lý 4.1.2 điều kiện đủ cần có bổ đề tương tự Bổ đề 4.1 .3 4.1.8 Bổ đề: Nếu bậc vào bậc đỉnh đồ thị có ... đồng hồ với góc quay: n 36 0 36 00 36 0 36 00 , , , , , n 1 n 1 n 1 n 1 n 3 n 1 khung phân biệt với khung Do ta có chu trình 2 Hamilton phân biệt Thí dụ 5: Giải toán xếp chỗ ngồi với n=11 ... dego(y)+1, degt(v) = dego(v), vV, v x, v y Chứng minh: Chứngminh tương tự Hệ 4.1.4 4.2 ĐƯỜNG ĐI HAMILTON VÀ ĐỒ THỊ HAMILTON Năm 1857, nhà toán học người Ailen Hamilton(1805-1865) đưa trò...
... 2p hay 3n p Từ suy 3d+3n 2p+p hay d+n p, trái với hệ thức Euler d+n=p+2 7.2 ĐỒ THỊ KHÔNG PHẲNG 7.2.1 Định lý: Đồ thị phân đôi đầy đủ K3 ,3 đồ thị không phẳng Chứng minh: Giả sử K3 ,3 đồ thị ... màu để tô Có lẽ chứngminh sai tiếng toán học chứngminh sai “bài toán bốn màu” công bố năm 1879 luật sư, nhà toán học nghiệp dư Luân Đôn tên Alfred Kempe Nhờ công bố lời giải “bài toán bốn màu”, ... Hoàng gia Anh Các nhà toán học chấp nhận cách chứngminh ông ta 1890, Percy Heawood phát sai lầm chứngminh Kempe Mặt khác, dùng phương pháp Kempe, Heawood chứngminh “bài toán năm màu” (tức đồ...
... phố Hồ Chí Minh, 1999 [2] Hoàng Chúng, Đại cương toán học hữu hạn, NXB Giáo dục, 1997 [3] Phan Đình Diệu, Lý thuyết Ô-tô-mat thuật toán, NXB Đại học THCN, 1977 [4] Đỗ Đức Giáo, Toánrời rạc, NXB ... Xuân Quỳnh, Cơ sở toánrờirạc ứng dụng, NXB Giáo dục, 1995 [6] Đặng Huy Ruận, Lý thuyết đồ thị ứng dụng, NXB Khoa học Kỹ thuật, 2000 [7] Nguyễn Tô Thành-Nguyễn Đức Nghĩa, Toánrời rạc, NXB Giáo ... nguyên dương 70, với phép toán •, + ’ định nghĩa S sau: a • b = UCLN(a, b), a + b = BCNN(a, b), a ’ = 70/a Chứng tỏ S với phép toán •, + ’ lập thành đại số Boole Chứngminh trực tiếp định lý 6b,...