chuong 4 logic va suy luan toan

Chương 3: Logic và suy luận toán học

... z/x hữu tỷ, mâu thuẫn với y vô tỷ 40 *Chứng minh bác bỏ n2 - n + 41 nguyên tố n số nguyên dơng Chứng minh : Sai n = 41 n*n n + 41 = 41 * 41 41 + 41 hợp số 41 Chứng minh bác bỏ 2n + nguyên ... trời không ma có nhiều mây Suy luận có sở : Các suy luận dùng qui tắc suy diễn dựa công thức đồng Nguỵ biện : Các suy luận dùng qui tắc suy diễn dựa đồng sai tiếp liên Một suy luận có sở dẫn đến ... luận Qui tắc cộng Qui tắc tam đoạn luận 28 Xác định xem suy luận sau có không Nếu suy luận có 27 Chơng Lôgic suy luận toán học dùng quy tắc suy luận Nếu không ngụy biện đợc sử dụng a Nếu n số thực...

43
9,839
149

Bài tập Toán học rời rạc - Bài tập chơng 3: lôgic và suy luận toán học

Danh mục: Toán học

... (mod 4) Gọi q = p1 p2 pn + Chứng tỏ q có ớc nguyên tố đồng d theo môdun không nằm số nguyên tố p 1, p2, , pn) 44 Chứng minh bác bỏ p1, p2, , pn số nguyên tố nhỏ p1p2 pn+1 số nguyên tố 45 Chứng ... Nếu n số thực n > 2, n2 > Giả sử n Khi n2 24 Suy luận sau chứng minh không xác định lý Nếu n không chia hết cho n không chia hết cho Nguyên nhân dùng suy luận vòng tròn Sai lầm đâu ? Nếu n2 không ... tập hiểu đợc tài liệu Do đêm làm tập hiểu đợc tài liệu 23 Xác định xem suy luận sau có không Nếu suy luận có dùng quy tắc suy luận Nếu không ngụy biện đợc sử dụng a Nếu n số thực lớn n2 > Giả...

9
4,608
88

Logic và suy luận toán học

Danh mục: Toán học

... (mod 4) Gọi q = p1 p2 pn + Chứng tỏ q có ớc nguyên tố đồng d theo môdun không nằm số nguyên tố p 1, p2, , pn) 44 Chứng minh bác bỏ p1, p2, , pn số nguyên tố nhỏ p1p2 pn+1 số nguyên tố 45 Chứng ... Nếu n số thực n > 2, n2 > Giả sử n Khi n2 24 Suy luận sau chứng minh không xác định lý Nếu n không chia hết cho n không chia hết cho Nguyên nhân dùng suy luận vòng tròn Sai lầm đâu ? Nếu n2 không ... tập hiểu đợc tài liệu Do đêm làm tập hiểu đợc tài liệu 23 Xác định xem suy luận sau có không Nếu suy luận có dùng quy tắc suy luận Nếu không ngụy biện đợc sử dụng a Nếu n số thực lớn n2 > Giả...

9
1,922
16

Toán ứng dụng - Chương 1: Quan hệ và suy luận toán học

Danh mục: Toán học

... tập A = {1, 2, 3, 4} , quan hệ: • R1 = {(1,1), (1,2), (2,1), (2, 2), (3, 4) , (4, 1), (4, 4) } không phản xạ (3, 3)  R1 • R2 = {(1,1), (1,2), (1 ,4) , (2, 2), (3, 3), (4, 1), (4, 4) } phản xạ (1,1), ... hai Ví dụ Cho A = {1, 2, 3, 4} , R = {(a, b) | a ước b} Khi R = {(1, 1), (1, 2), (1, 3), (1, 4) , (2, 2), (2, 4) , (3, 3), (4, 4)} TOÁN ỨNG DỤNG 2 Chƣơng 1: QUAN HỆ - SUY LUẬN TOÁN HỌC 25 1.3 Quan ... HỆ - SUY LUẬN TOÁN HỌC 1.2 Suy luận toán học 4- Quy nạp toán học 5- Định nghĩa đệ quy 6- Các thuật toán đệ quy 7- Tính đắn chƣơng trình TOÁN ỨNG DỤNG Chƣơng 1: QUAN HỆ - SUY LUẬN TOÁN HỌC 4- Quy...

35
622
2

Tiểu luận môn biểu diễn tri thức và suy luận Ứng dụng Giải bài toán hóa học vô cơ chương trình THCS bằng phương pháp Suy diễn tiến có Heuristic

Danh mục: Hệ thống thông tin

... Yêu cầu điều chế NaNO3 Giải Suy luận: • Na + Cl2 -> NaCl • NaCl + AgNO3 -> NaNO3 + AgCl Kết luận: Điều chế II Đề xuất giải pháp Sử dụng mạng tính toán với phương pháp suy diễn tiến có Heuristic ... có vế phải ⊇ muctieu Nếu tìm thấy đến B3 Nếu không tìm thấy đến B4 B3: pu.uutien += giatriuutien; giatriuutien++; Quay lại B2 B4: Với phản ứng (pu) lại: pu.uutien = pu.uutien + giatriuutien; giatriuutien++; ... Hàm Heuristic Mỗi phản ứng có thuộc tính “uutien” để lưu trữ giá trị ưu tiên phản ứng Quá trình suy diễn xét phản ứng theo thứ tự giá trị “uutien” từ nhỏ đến lớn Mặc định, phản ứng chưa gán giá...

9
558
2

Chương 2: Suy luận toán học & Các phương pháp chứng minh doc

Danh mục: Toán học

... đây, tìm hiểu qui tắc suy luận 2.2.2 Các qui tắc suy luận Như giới thiệu trên, suy luận có dùng qui tắc suy diễn gọi suy luận có sở Khi tất suy luận có sở dẫn đến kết luận Một suy luận có sở dẫn ... gọi ngụy biện Ngụy biện giống qui tắc suy luận không dựa mà tiếp liên Đây khác suy luận suy luận sai Loại suy luận sai gọi ngộ nhận kết luận Ví dụ : Xét xem suy diễn sau có sở không ? " Nếu bạn ... Chương 2: Suy luận toán học & Các phương pháp chứng minh 2.2 Suy luận toán học 2.2.1 Khái niệm Suy luận xem tảng xây dựng nên ngành khoa học tự nhiên Từ xưa đến nay, nhờ suy luận mà người...

11
1,965
32

Chương 2: Suy luận toán học & Các phương pháp chứng minh phần 2 docx

Danh mục: Toán học

... 2.3 .4 Chứng minh gián tiếp 34 2.3.5 Chứng minh phản chứng 36 2.3.6 Chứng minh qui nạp 37 2 .4 Tổng kết chương 44 2.5 Bài tập chương 44 Trang 48 ... Trang 41 Chương 2: Suy luận toán học & Các phương pháp chứng minh S= n ∑ i(i + 1) i =1 n=1: S = 1 = 1+1 n=2: S = 1 +1 2 + = = = 2.3 2.3 + n=3: S = 2 .4 + 3 + = = = 3 .4 3 .4 +1 n =4: S = Khi 3.5 + 4 ... (a, b, ,c số nguyên tố) Ta có P(2) = { 2= 2.1} P(3) = { 3= 3.1} P (4) = { 4= 2 .4} P(18) = { 6.3= 3.2.3} Trang 43 Chương 2: Suy luận toán học & Các phương pháp chứng minh mệnh đề Giả sử P(n)...

10
1,242
17

Tiết: 4 ÁP DỤNG MỆNH ĐỀ VÀO SUY LUẬN TOÁN HỌC (tt) doc

Danh mục: Cao đẳng - Đại học

... động ví dụ: với số tự nhiên 2:học sinh n,nếu n chia hết cho 24 n hoạt động chia hết cho Tổ Toán - Trường THPT Thừa Lưu “ n chia hết cho 24 điều nhóm: kiện đủ để n chia hết cho 8” H2: hoạc “n chia ... chia hết cho 15” Hoạt động 3: Q(n)=”n chia hết cho 5” Xét mệnh đề Ví dụ 4: P(x)=>Q(x) (1) P(n)=”mọi n thuộc N , nchia hết cho 24 Là mệnh đề đươc Q(n)= “n chia hết cho 8” goi gì.? Xét mệnh đề Tổ ... hết cho 8” H2: hoạc “n chia hết cho điều gọi đại diện kiện cần để n chia hết cho nhóm lên trình 24 bày Giáo viên cho học sinh nhận xét làm nhóm khác nhóm 1:”mọi n thuộc N*,n chia hết cho 15 n...

5
396
0

suy luận toán học và phương pháp chứng minh

Danh mục: Toán học

... đây, tìm hiểu qui tắc suy luận Các qui tắc suy luận Như giới thiệu trên, suy luận có dùng qui tắc suy diễn gọi suy luận có sở Khi tất suy luận có sở dẫn đến kết luận Một suy luận có sở dẫn đến ... tin" Đây suy diễn dựa qui tắc cộng Ngụy biện Các phương pháp chứng minh sai gọi ngụy biện Ngụy biện giống qui tắc suy luận không dựa mà tiếp liên Đây khác suy luận suy luận sai Loại suy luận ... thích môn logic b/ Không có nhiều sinh viên thích môn logic môn toán không dễ c/ Môn toán dễ môn logic khó d/ Môn logic không khó môn toán không dễ e/ Nếu nhiều sinh viên thích môn logic môn...

34
4,913
5

Tiểu luận môn biểu diễn tri thức và suy luận MÔ HÌNH COKB VÀ ỨNG DỤNG VÀO GIẢI TOÁN HÌNH HỌC

Danh mục: Hệ thống thông tin

... knownVal := GT; knownVar := {}; # start of bo them vao F dua vao rules for g in GT if evalb(SetVars(rhs(g),nameObj) = {}) then knownVar := {lhs(g), op(knownVar)}; else # duyet rules va gan vao ... b=5, GocA = m*(b+c), GocA = 2*GocB, a^2=b^2+c^2}, KL = { GocB, GocC} Lời giải: Suy töø Suy từ Suy từ Suy từ Suy Suy từ từ HVTH: Trần Quốc Cường Trang: 13 Báo cáo môn học: Biểu Diễn TT Và Ứng ... duoc ket qua \n"); end if; knownVar := `union`(knownVar, Vnew); # sub: thay the KnownVal ctrinh r knownVal := `union`(knownVal, solve(subs(knownVal, parse(r)), Vnew)); findResultPath := [op(findResultPath),...

32
1,140
6

Tiểu luận môn biểu diễn tri thức và suy luận TÌM HIỂU MÔ HÌNH COKB- ONTO SUY DIỄN SỬ DỤNG BÀI TOÁN MẪU

Danh mục: Hệ thống thông tin

... Las Vegas, USA, 2000, pp 144 1- 144 7 [6] Do Van Nhon, Ontology for Knowledge Representation and Applications (Slide COKB-ONTO (DIKM 2008)) SVTH : CH13010 74 – Nguyễn Hải Yến 41 ... O3.a }, M(f2) = { O1.b , O4.a }, M(f3) = { O2.b , O4.a }, M(f4) = { O2.c , O3.a }, M(f5) = { O1.α , O2.α }, SVTH : CH13010 74 – Nguyễn Hải Yến 13 Biểu diễn tri thức suy luận PGS.TS Đỗ Văn Nhơn ... O2.c, O2.A , O2.a, O3.a, O4.a } Thuật toán sinh giải: D = [ f5, O1, f1, f2, f3, f4, O2], Và trình mở rộng tập thuộc tính sau: f5 O1 A0 → A1 → A2 f 1→  f2 f3 f4 A3 → A4 → A5 → O A6 2→...

41
657
5

Tiểu luận môn biểu diễn tri thức và suy luận ỨNG DỤNG MẠNG TÍNH TOÁN TRONG HÓA HỌC

Danh mục: Hệ thống thông tin

... BẢN Logic mệnh đề logic vị từ Dạng biểu diễn tri thức cổ điển máy tính logic, với dạng phổ biến logic mệnh đề logic vị từ Cả dạng dùng ký hiệu để biểu diễn tri thức toán tử áp lên ký hiệu để suy ... tính - giá trị) Ví dụ: cam – màu vàng Phương pháp suy luận cách biểu diễn tri thức dạng sử dụng suy diễn tiến suy diễn lùi: Suy diễn tiến: trình suy luận xuất phát từ số kiện ban đầu, xác định ... sau: Mg + H2SO4 → Fe(OH)3 + H2SO4 → Biểu diễn tri thức ứng dụng Trang 16 Ứng dụng mạng tính toán hóa học K2CO3 + H2SO4 → Ba(NO3)2 + H2SO4 → Mô hình toán: O = { [Mg + H2SO4 = …], [Fe(OH)3...

19
551
1

Tiểu luận môn biểu diễn tri thức và suy luận MẠNG TÍNH TOÁN

Danh mục: Hệ thống thông tin

... số mô hình biểu diễn tri thức bản: 3.1 ° Logic hình thức Sử dụng biểu thức logic hình thức hệ thống logic để diễn đạt kiện luật sở tri thức ° Phép tính logic vị từ cấp sử dụng phổ biến có ngôn ... b.sinC = c.sinB - f 14: hb = a.sinC = c.sinA - f15: hc = a.sinB = b.sinA Các công thức tính đường trung tuyến: - f16: 4. ma2 = 2.(b2 + c2) – a2 - f17: 4. mb2 = 2.(a2 + c2) – b2 - f18: 4. mc2 = 2.(a2 + ... 19 CH1301085 – Nguyễn Phương Thanh Diệu S + O2 → SO2 SO2 + O2 → SO3 SO3 + H2O → H2SO4 H2SO4 + NaOH → Na2SO4 + H2O 20 CH1301085 – Nguyễn Phương Thanh Diệu II TÀI LIỆU THAM KHẢO [1] Enn Tyugu (1988)...

21
464
3

Tiểu luận môn biểu diễn tri thức và suy luận SỬ DỤNG MÔ HÌNH COKB TRONG VIỆC GIẢI QUYẾT BÀI TOÁN HÌNH HỌC PHẲNG

Danh mục: Hệ thống thông tin

... toán quan trọng 2.2.2 Lược đồ biểu diễn tri thức Lược đồ logic: • Dùng biểu thức logic hình thức để biểu diễn phép toán vị từ • Các luật suy diễn áp dụng cho lược đồ • Ngôn ngữ thực tốt cho loại ... = HINHCHIEU(A, DOAN[B,C]) , DOAN[B,C].dai = 6, DOAN[A,B].dai = 4; } Goal = {DOAN[A,H].dai} Ta xây dựng suy diễn chương trình Động suy diễn mô trình tìm lời giải toán tương tự cách giải người, cách ... -> F, toán kí hiệu thành L → G 2.3.3 Thuật giải Thuật giải 4. 1: Cho toán P= L→G mô hình ontology COKB sử dụng toán mẫu, dựa vào định lý 4. 1, ta tìm lời giải toán P qua bước sau: - Bước 1: Thu thập...

18
599
2

Tiểu luận môn biểu diễn tri thức và suy luận TÌM HIỂU MẠNG TÍNH TOÁN VÀ CÁC ĐỐI TƯỢNG TÍNH TOÁN XÂY DỰNG ỨNG DỤNG DEMO

Danh mục: Hệ thống thông tin

... O1.c , O3.a }, M(f2) = { O1.b , O4.a }, M(f3) = { O2.b , O4.a }, M(f4) = { O2.c , O3.a }, M(f5) = { O1.α , O2.α }, M = { O1.b, O1.c, O1.α, O2.b, O2.c, O2.α, O3.a, O4.a, O2.a} Lưu ý O2.a (cạnh EG ... thức tam giác vào đối tượng MangTinhToan Thuật giải suy diễn tiến để suy diễn luật F, tìm lời giải từ giả thiết cho trước Thiết kế class MangCacDoiTuongTinhToan gồm thành phần sau: • • • O = {O1,O2, ... giải tam giác http://bienuit.wordpress.com/2013/03/06/giaibai -toan- tam-giac-bang-mo-hinh-he-luat-dan-dung-thuat-giai -suy- dien-tien -va- suy- dien-luipart-1/ Trang 25 ...

25
443
1

Tiểu luận môn biểu diễn tri thức và suy luận GIẢI BÀI TOÁN TAM GIÁC BẰNG MÔ HÌNH HỆ LUẬT DẪN

Danh mục: Hệ thống thông tin

... 12 1.1.1 Thuật giải Suy diễn tiến 12 1.1.2 Thuật giải Suy diễn lùi 14 3 .4 Tính toán trình bày kết .18 1.1.3 Tính toán 18 1.1 .4 Trình bày kết ... Tính hc: a,B->hc 1.1.2 Thuật giải Suy diễn lùi Trong thuật giải Suy diễn lùi, ta dùng kỹ thuật đệ quy để thực suy diễn lùi Để suy kết luận, ta thực tìm luật để suy đích kết luận, ta phải lùi để ... để suy đích Nếu ta cho hàm đệ quy thực Suy diễn lùi vô hạn số trường hợp toán giải ta giải Suy diễn tiến, ta phải đặt số lần quay lui hàm đệ quy Trong đặt số lần quay lui hàm đệ quy Sau lần suy...

22
1,393
15

Tiểu luận môn biểu diễn tri thức và suy luận BIỂU DIỄN TRI THỨC VÀ ỨNG DỤNG GIẢI BÀI TOÁN TAM GIÁC

Danh mục: Hệ thống thông tin

... expr logic- expr ::= logic- expr OR logic- term | logic- expr IMPLIES logic- term| NOT logic- term | logic- term | logic- term ::= logic- term AND logic- primary | ::= expr | ::= FORALL(name *), logic- expr ... giác AEG, O3: hình vuông ABDE, O4: hình vuông ACFG} va F = {f1, f2, f3, f4, f5} gồm các quan hệ sau F1: O1.c = O3.a F2: O1.b = O4.a F3: O2.b = O4.a F4: O2.c = O3.a F5: O1.A + O2.A = 180 ... 2.b.cosβ a = 2.c.cosγ 2.p = a + 2b S = b2.sinα / 4. ma2 = 4. b2 - a2 4. mb2 = 2.a2 + b2 4. mc2 = 2.a2 + c2 f29 : pa = p.(p − a) a.b2 4. S f32 : f36 : R= 4. R = + 2.rb - r 18 Tam giác vuông Không làm tính...

41
634
1

Tiểu luận môn biểu diễn tri thức và suy luận Cơ sở lý thuyết về hệ chuyên gia và mạng các đối tượng tính toán

Danh mục: Hệ thống thông tin

... giả thiết chương trình kết thúc • Suy diễn lùi: Trong thuật giải suy diễn lùi, ta dùng kỹ thuật đệ quy để thực suy diễn lùi Để suy kết luận, ta thực tìm luật để suy đến đích kết luận, ta phải quay ... O1.c , O3.a }, M(f2) = { O1.b , O4.a }, M(f3) = { O2.b , O4.a }, M(f4) = { O2.c , O3.a }, M(f5) = { O1.α , O2.α }, M = { O1.b, O1.c, O1.α, O2.b, O2.c, O2.α, O3.a, O4.a, O2.a} Ở O2.a (cạnh EG tam ... cho suy diễn Bộ suy diễn vào yêu cầu để tìm đến sở tri thức phù hợp suy diễn cho kết quả, trả giao diện hiển thị cho người dùng 3.2 Thiết kế sở tri thức HVTH: Võ Thị Thúy Lan – CH1301096Trang 14...

23
807
1