Trang 1 trên tổng số 3 123 Cuối cùngCuối cùng
Từ 1 tới 10 trên tổng số 22 kết quả

Đề tài: Chương trình chứng minh định lý bằng thuật toán Vương Hạo(Havard)

  1. #1
    Ngày gia nhập
    09 2007
    Bài viết
    724

    Mặc định Chương trình chứng minh định lý bằng thuật toán Vương Hạo(Havard)

    Đây là chương trình chứng minh một mệnh đề bằng thuật toán Vương Hạo.
    nó còn chưa xử lý được khi mệnh đề có dấu ngoặc đơn...

    cái này mình dùng MFC của vs2003.
    Attached Files Attached Files
    Đã được chỉnh sửa lần cuối bởi zkday2686 : 12-08-2008 lúc 01:06 PM.

  2. #2
    Ngày gia nhập
    10 2007
    Bài viết
    14

    cái này xài sao vậy, hông bít xài, tác giả cho ví dụ xem ^_^

  3. #3
    Ngày gia nhập
    09 2007
    Bài viết
    724

    Giả sử thế này nè bạn: bạn cần chứng minh mệnh đề sau đây:
    PHP Code:
    a&b&c|d->
    là đúng hay sai thì dùng cái chương trình của mình, nó sẽ đưa ra từng bước theo thuật giải Vương hạo(havard).

    Cách sử dụng:1 - nhập biểu thức cần chứng minh vào ô Nhập mệnh đề cần chứng minh
    2 - Chọn nút chứng minh.
    khi kết thúc chọn nút kết thúc

  4. #4
    Ngày gia nhập
    10 2007
    Bài viết
    14

    tác giả có thể nói rõ hơn về ràng buộc dữ liệu nhập trên textbox ko, các phép hội, phép tuyển ... thì nhập sao, các bài này giải thì nhập thế nào
    Code:
    VD1:
    Ta có các biểu thức sau là đúng:
    	avb, avc,¬a
    Chứng minh:
    	 b^c
    
    VD2:
    Ta có các biểu thức sau là đúng:
    	 AvB, A=> C, B=> D, ¬D 
     Chứng minh:
    	 C
    Đã được chỉnh sửa lần cuối bởi sinbad911 : 08-10-2008 lúc 10:31 AM.

  5. #5
    Ngày gia nhập
    09 2007
    Bài viết
    724

    1 - đối với các phép hội thì bạn có thể tham sử dụng phép toán (','[dấu phẩy], '|'(dấu or trong C/C++) với dấu ',' thì bên mệnh đề giả thiết thì nó sẽ hiểu là dấu &(dấu và) còn bên mệnh đề kết luận nó sẽ hiểu là dấu |(hoặc) ) còn đối với dấu phép toán ^(và) thì bạn có thể nhập dấu '&'.

    2 - Chương trình này nó sẽ không đáp ứng được các bài như của bạn nêu lên ở trên, nó chỉ giải quyết được một mệnh đề đã cho là đúng hay không cũng không thể đưa ra quyết định là mệnh đề sai hay không (cái này là do thuật giải zkday áp dụng vào).

    3 - chương trình này mình chỉ làm ở mức độ project thôi nên lâu rồi mình cũng chưa có ý phát triển nó thêm.


    ps: bài này mình làm bằng C nên sử dụng một số phép toán của C vào do quen (ví như: ! là phép NOT, & là phép and, | là phép or).

  6. #6
    Ngày gia nhập
    10 2007
    Bài viết
    1

    Mặc định Chương trình chứng minh định lý bằng thuật toán Vương Hạo(Havard)

    Cảm ơn xkday đã share tài liệu nha, mình đang cần tham khảo.

  7. #7
    Ngày gia nhập
    10 2008
    Nơi ở
    Hà Nội
    Bài viết
    49

    He he hôm vừa rồi học thuật toán Vương Hạo, hôm nay học thuật toán RobilSon. Vừa hay có tài liệu tham khảo, chắc chắn sẽ cần.
    Thank bạn nhiều!

  8. #8
    Ngày gia nhập
    11 2008
    Bài viết
    1

    bạn ơi tại sao tôi download về mà bung RAR không được vậy . nó ko bung rar gì cả . chương trình của bạn có chạy luon bằng file .exe hay ko. thank ban trước cái

  9. #9
    Ngày gia nhập
    09 2007
    Bài viết
    724

    Trích dẫn Nguyên bản được gửi bởi abject7 Xem bài viết
    bạn ơi tại sao tôi download về mà bung RAR không được vậy . nó ko bung rar gì cả . chương trình của bạn có chạy luon bằng file .exe hay ko. thank ban trước cái
    Bạn thử lại xem được không? mình thử và vẫn được .
    Chương trình của mình chạy luôn bằng file exe không qua quá trình settup(chưa biết làm ) do chế độ build lúc đưa ra bản Release mình build dạng link libary kiểu Static nên nó chạy mà ko cần một số dll của thư viện MFC.

  10. #10
    Ngày gia nhập
    01 2008
    Bài viết
    240

    Trích dẫn Nguyên bản được gửi bởi zkday2686 Xem bài viết
    Đây là chương trình chứng minh một mệnh đề bằng thuật toán Vương Hạo.
    nó còn chưa xử lý được khi mệnh đề có dấu ngoặc đơn...

    cái này mình dùng MFC của vs2003.
    Vuơng Hạo là cái ông nào vậy, người nước nào , mà thuật toán của ông ấy nói về cái gì
    Time

Các đề tài tương tự

  1. Algorithm Tìm hiểu thuật toán gom cụm sử dụng liên kết đầy đủ và cài đặt chương trình minh họa.
    Gửi bởi bang651990 trong diễn đàn Thắc mắc lập trình C#
    Trả lời: 5
    Bài viết cuối: 18-06-2017, 08:24 PM
  2. Chứng minh độ phức tạp thuật toán bất kỳ!
    Gửi bởi KimDaiHiep trong diễn đàn Thắc mắc lập trình C/C++/C++0x
    Trả lời: 12
    Bài viết cuối: 16-06-2012, 11:31 AM
  3. Thuật toán số thông minh với C#
    Gửi bởi tesulakata trong diễn đàn Thắc mắc lập trình C#
    Trả lời: 2
    Bài viết cuối: 13-08-2010, 07:30 AM
  4. Minh họa bằng đồ thị thuật toán sắp xếp trên C
    Gửi bởi Mr.Kjng trong diễn đàn Thắc mắc lập trình C/C++/C++0x
    Trả lời: 13
    Bài viết cuối: 12-08-2009, 10:24 AM
  5. [Khác]Chứng minh độ phức tạp của Thuật toán, vấn đề không dễ!
    Gửi bởi PoPoPoPo trong diễn đàn Thắc mắc lập trình C/C++/C++0x
    Trả lời: 3
    Bài viết cuối: 09-10-2007, 10:49 AM

Quyền hạn của bạn

  • Bạn không thể gửi đề tài mới
  • Bạn không thể gửi bài trả lời
  • Bạn không thể gửi các đính kèm
  • Bạn không thể chỉnh sửa bài viết của bạn