-
12-08-2008, 08:15 AM #1Junior Member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
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.View more random threads:
- Source code KMS Server kích hoạt Windows và Office
- Virtual Keyboard viết bằng MFC
- CD/DVD-Rom TrayManager v2.0 viết bằng C++
- Source code VC++ | Trò chơi con rắn viết trên C++
- Cách xài GDI+ trên VC 6
- -=]VC6[=- SmallUltilities : Draw analog clock, date and time, notice, and bonus!!!
- Source code hack Chicken Invaders 4 - Ultimate Omelette
- Source code hack Virtual Villagers 4 : The Tree of Life
- WinDib - Giấu tập tin trong ảnh với MFC
- Source autoclick mình viết bằng c++ win32api mong mọi người cho ý kiến :)
-
07-10-2008, 08:23 AM #2Junior Member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
Giả sử thế này nè bạn: bạn cần chứng minh mệnh đề sau đây:
Mã nguồn PHP:a&b&c|d->d
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
-
07-10-2008, 05:38 PM #3Junior Member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
cái này xài sao vậy, hông bít xài, tác giả cho ví dụ xem ^_^
-
08-10-2008, 05:24 PM #4Junior Member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
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
Mã: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
-
17-10-2008, 06:59 PM #5Junior Member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
Cảm ơn xkday đã share tài liệu nha, mình đang cần tham khảo.
-
18-10-2008, 07:54 PM #6Junior Member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
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!
-
14-11-2008, 09:29 AM #7Silver member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
Gửi bởi zkday2686
-
14-11-2008, 06:23 PM #8Junior Member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
bạn ơi tại sao tôi download về mà bung RAR không được vậy [IMG]images/smilies/Cry.gif[/IMG] . nó ko bung rar gì cả [IMG]images/smilies/icon_question.gif[/IMG] . chương trình của bạn có chạy luon bằng file .exe hay ko. thank ban trước cái [IMG]images/smilies/applause.gif[/IMG]
-
14-11-2008, 07:28 PM #9Junior Member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
Gửi bởi abject7
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 [IMG]images/smilies/tongue.png[/IMG]) 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.
-
15-11-2008, 12:35 PM #10Junior Member
- Ngày tham gia
- Sep 2015
- Bài viết
- 0
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ì
Còn thuật toán này làm gì, bạn kéo lên trên đọc sẽ hiểu [IMG]images/smilies/biggrin.png[/IMG]
Mà sao bạn hỏi những câu khích tướng kiểu này nhỉ ??? không nói dễ nghe hơn được à? bó toàn thân. [IMG]images/smilies/tongue.png[/IMG]
Dưới ánh nắng mặt trời đang lên, những đống pallet nhựa An Giang trải dài mênh mông như những bức tranh tự nhiên đầy sắc màu. Mỗi chiếc pallet nhựa không chỉ là một vật dụng thông thường mà còn là...
Pallet nhựa An Giang giao hàng...