Giải thuật Vương Hạo và Robinson


Diễn đàn chia sẻ kiến thức, kinh nghiệm về IT và cuộc sống!
 
Trang ChínhGalleryTrợ giúpTìm kiếmThành viênNhómĐăng kýĐăng Nhập
Top posters
Sakura (1124)
 
hotboy (705)
 
Già Làng (373)
 
con_ca_nho90 (289)
 
that_true (154)
 
theanhkkt (143)
 
phamay (137)
 
lovelonelyman (134)
 
o0ovioletstaro0o (128)
 
stevenhung (122)
 
Âm - Dương lịch
Clock
Logo
11TH02 Pro!
Liên kết
Tin tức 60s
Tin công nghệ
Thời sự 24h
Game Moblie

Share | 
 

 Giải thuật Vương Hạo và Robinson

Xem chủ đề cũ hơn Xem chủ đề mới hơn Go down 
Tác giảThông điệp
Sakura


avatar

Thú CƯng :
Nam Scorpio

Số bài viết : 1124
Điểm : 1688
Được cảm ơn : 35
Ngày sinh : 03/11/1990
Tham gia ngày : 16/03/2010
Tuổi : 26
Đến từ : Bình Dương
Ngề nghiệp : IT Student

Bài gửiTiêu đề: Giải thuật Vương Hạo và Robinson   7/12/2010, 07:43

Đây là bài viết mình sưu tầm được, các bạn có thể coi và tham khảo để làm bài thi tốt hơn!
Một trong những vấn đề khá quan trọng của logic mệnh đề là chứng minh tính đúng đắn của phép suy diễn (a ® b). Đây cũng chính là bài toán chứng minh thường gặp trong toán học.

Rõ ràng rằng với hai phép suy luận cơ bản của logic mệnh đề (Modus Ponens, Modus Tollens) cộng với các phép biến đổi hình thức, ta cũng có thể chứng minh được phép suy diễn. Tuy nhiên, thao tác biến đối hình thức là rất khó cài đặt được trên máy tính. Thậm chí điều này còn khó khăn với cả con người!

Với công cụ máy tính, bạn có thể cho rằng ta sẽ dễ dàng chứng minh được mọi bài toán bằng một phương pháp "thô bạo" là lập bảng chân trị . Tuy về lý thuyết, phương pháp lập bảng chân trị luôn cho được kết quả cuối cùng nhưng độ phức tạp của phương pháp này là quá lớn, O(2n) với n là số biến mệnh đề. Sau đây chúng ta sẽ nghiên cứu hai phương pháp chứng minh mệnh đề với độ phức tạp chỉ có O(n).


Do có nhiều ký hiệu mà Forum ko hỗ trợ nên các bạn có thể xem link trực tiếp ở đây!
[You must be registered and logged in to see this link.]
Chúc mọi người thi tốt!

_________________________________________________
Khách viếng thăm muốn liên hệ với mình thì xem thông tin phía dưới nha:
Email: [You must be registered and logged in to see this link.]
Nick Yahoo: Edward_Thien
Về Đầu Trang Go down
Xem lý lịch thành viên
con_ca_nho90

Member Nhiệt Tình


Member Nhiệt Tình
avatar

Thú CƯng :
Nam Aquarius

Số bài viết : 289
Điểm : 329
Được cảm ơn : 4
Ngày sinh : 17/02/1990
Tham gia ngày : 05/05/2010
Tuổi : 27
Đến từ : Nhà hàng xóm
Ngề nghiệp : click chuột định giang sơn :D
Chăm ngôn : Giang hồ hiểm ác không bằng mạng lag thất thường

Bài gửiTiêu đề: Re: Giải thuật Vương Hạo và Robinson   7/12/2010, 09:26

anh hoàng này tốt thật Very Happy
Về Đầu Trang Go down
Xem lý lịch thành viên https://plus.google.com/u/0/?hl=vi jeennguyen@ymail.com
con_ca_nho90

Member Nhiệt Tình


Member Nhiệt Tình
avatar

Thú CƯng :
Nam Aquarius

Số bài viết : 289
Điểm : 329
Được cảm ơn : 4
Ngày sinh : 17/02/1990
Tham gia ngày : 05/05/2010
Tuổi : 27
Đến từ : Nhà hàng xóm
Ngề nghiệp : click chuột định giang sơn :D
Chăm ngôn : Giang hồ hiểm ác không bằng mạng lag thất thường

Bài gửiTiêu đề: Re: Giải thuật Vương Hạo và Robinson   7/12/2010, 09:28

� cái dấu này đọc sao vậy hoàng
Về Đầu Trang Go down
Xem lý lịch thành viên https://plus.google.com/u/0/?hl=vi jeennguyen@ymail.com
con_ca_nho90

Member Nhiệt Tình


Member Nhiệt Tình
avatar

Thú CƯng :
Nam Aquarius

Số bài viết : 289
Điểm : 329
Được cảm ơn : 4
Ngày sinh : 17/02/1990
Tham gia ngày : 05/05/2010
Tuổi : 27
Đến từ : Nhà hàng xóm
Ngề nghiệp : click chuột định giang sơn :D
Chăm ngôn : Giang hồ hiểm ác không bằng mạng lag thất thường

Bài gửiTiêu đề: Re: Giải thuật Vương Hạo và Robinson   7/12/2010, 09:30

đọc được rồi thanks nhe =)) spm hơi nhiều sorry baby
Về Đầu Trang Go down
Xem lý lịch thành viên https://plus.google.com/u/0/?hl=vi jeennguyen@ymail.com
Già Làng


avatar

Thú CƯng :
Nam Libra

Số bài viết : 373
Điểm : 2200708
Được cảm ơn : 53
Ngày sinh : 20/10/1987
Tham gia ngày : 16/03/2010
Tuổi : 30
Đến từ : Bình Dương
Ngề nghiệp : Sinh Viên
Chăm ngôn : Cơm Cha - Áo Mẹ!

Bài gửiTiêu đề: Re: Giải thuật Vương Hạo và Robinson   7/12/2010, 11:19

Edward_Thien đã viết:

Do có nhiều ký hiệu mà Forum ko hỗ trợ nên các bạn có thể xem link trực tiếp ở đây!
[You must be registered and logged in to see this link.]
Chúc mọi người thi tốt!

Câu nói này sai nè nha! Bên trang gốc cũng vậy mà thôi. Do người soạn không chuẩn, chứ đâu phải lỗi do forum!

_________________________________________________
Khách viếng thăm đọc rồi thì thanks đi chứ!!
Về Đầu Trang Go down
Xem lý lịch thành viên http://itworld.4rumer.com
Sakura


avatar

Thú CƯng :
Nam Scorpio

Số bài viết : 1124
Điểm : 1688
Được cảm ơn : 35
Ngày sinh : 03/11/1990
Tham gia ngày : 16/03/2010
Tuổi : 26
Đến từ : Bình Dương
Ngề nghiệp : IT Student

Bài gửiTiêu đề: Re: Giải thuật Vương Hạo và Robinson   7/12/2010, 11:46

Già Làng đã viết:
Edward_Thien đã viết:

Do có nhiều ký hiệu mà Forum ko hỗ trợ nên các bạn có thể xem link trực tiếp ở đây!
[You must be registered and logged in to see this link.]
Chúc mọi người thi tốt!

Câu nói này sai nè nha! Bên trang gốc cũng vậy mà thôi. Do người soạn không chuẩn, chứ đâu phải lỗi do forum!

À ko! Bên đó khi tui thấy thì cũng lỗi vài lỗi hình thoi gì đó, còn khi mang qua đây, các lỗi đó vẫn còn, và các ký hiệu tuyển và hội... thì biến thành ký tự khác! Nói chung là các bạn cứ qua đó coi đi.
Admin làm gì mà nóng thế?Very Happy

_________________________________________________
Khách viếng thăm muốn liên hệ với mình thì xem thông tin phía dưới nha:
Email: [You must be registered and logged in to see this link.]
Nick Yahoo: Edward_Thien
Về Đầu Trang Go down
Xem lý lịch thành viên
con_ca_nho90

Member Nhiệt Tình


Member Nhiệt Tình
avatar

Thú CƯng :
Nam Aquarius

Số bài viết : 289
Điểm : 329
Được cảm ơn : 4
Ngày sinh : 17/02/1990
Tham gia ngày : 05/05/2010
Tuổi : 27
Đến từ : Nhà hàng xóm
Ngề nghiệp : click chuột định giang sơn :D
Chăm ngôn : Giang hồ hiểm ác không bằng mạng lag thất thường

Bài gửiTiêu đề: Re: Giải thuật Vương Hạo và Robinson   7/12/2010, 12:51

kaka nóng như ka tra mà sao lại đổ thừa rum mình thế (có lổi thì cũng nói nhỏ nhỏ thui chứ =)) )
Về Đầu Trang Go down
Xem lý lịch thành viên https://plus.google.com/u/0/?hl=vi jeennguyen@ymail.com
letrungdung1001




Nam Virgo

Số bài viết : 1
Điểm : 1
Được cảm ơn : 0
Ngày sinh : 20/09/1987
Tham gia ngày : 14/12/2010
Tuổi : 30
Đến từ : Ha Tinh

Bài gửiTiêu đề: Re: Giải thuật Vương Hạo và Robinson   14/12/2010, 00:22

Edward_Thien đã viết:
Đây là bài viết mình sưu tầm được, các bạn có thể coi và tham khảo để làm bài thi tốt hơn!
Một trong những vấn đề khá quan trọng của logic mệnh đề là chứng minh tính đúng đắn của phép suy diễn (a ® b). Đây cũng chính là bài toán chứng minh thường gặp trong toán học.

Rõ ràng rằng với hai phép suy luận cơ bản của logic mệnh đề (Modus Ponens, Modus Tollens) cộng với các phép biến đổi hình thức, ta cũng có thể chứng minh được phép suy diễn. Tuy nhiên, thao tác biến đối hình thức là rất khó cài đặt được trên máy tính. Thậm chí điều này còn khó khăn với cả con người!

Với công cụ máy tính, bạn có thể cho rằng ta sẽ dễ dàng chứng minh được mọi bài toán bằng một phương pháp "thô bạo" là lập bảng chân trị . Tuy về lý thuyết, phương pháp lập bảng chân trị luôn cho được kết quả cuối cùng nhưng độ phức tạp của phương pháp này là quá lớn, O(2n) với n là số biến mệnh đề. Sau đây chúng ta sẽ nghiên cứu hai phương pháp chứng minh mệnh đề với độ phức tạp chỉ có O(n).


Do có nhiều ký hiệu mà Forum ko hỗ trợ nên các bạn có thể xem link trực tiếp ở đây!
[You must be registered and logged in to see this link.]
Chúc mọi người thi tốt!

Cảm ơn bạn.
Về Đầu Trang Go down
Xem lý lịch thành viên
Sponsored content




Bài gửiTiêu đề: Re: Giải thuật Vương Hạo và Robinson   

Về Đầu Trang Go down
 

Giải thuật Vương Hạo và Robinson

Xem chủ đề cũ hơn Xem chủ đề mới hơn Về Đầu Trang 
Trang 1 trong tổng số 1 trang

 Similar topics

-
» 0912976289 - Vải địa kỹ thuật, giấy dầu xây dựng, rọ đá, matit chèn khe, lưới B40 mạ kẽm bọc nhựa PVC
» Bán đất KD mặt đường Lê Viết Thuật TP Vinh
» Bán nhà khu dân cư Thuận Giao Bình Dương
» Cần sang nhượng Quầy thuốc, tại Kiều Mai, xã Phú Diễn, huyện Từ Liêm, Hà Nội.
» Cần chuyển nhượng nhà thuốc GPP, tại số 29 Đặng Tiến Đông, quận Đống Đa, Hà Nội.

Permissions in this forum:Bạn không có quyền trả lời bài viết
IT World! :: HỌC TẬP :: HỌC KỲ V :: Cơ Sở Trí Tuệ - Trí Tuệ Nhân Tạo-