-
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 VC++ | Trò chơi con rắn viết trên C++
- Chương trình Chat trên VC++, Xây dựng chương trình Chat qua net ??
- Source Game Minesweeper C++ (2 bài)
- Source code hack plant vs zombie (Demo global hook dễ hiểu)
- demo multi thread + CEvent + SendMessage
- Demo COM VS2008.
- Học hỏi và trao đổi: viết trò chơi Tetris bằng visual c++.
- [SOURCE] VirtualKeyboard
- Mã nguồn Bài toán xếp hậu viết trên VC++ MFC
- demo multi thread + CCriticalSection
-
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]
Sự đa dạng trong các mẫu mã và kiểu dáng của sản phẩm Đồ Thờ Gỗ cũng là điểm thu hút đặc biệt. Từ những tượng phật nhỏ xinh, đến các bức thư pháp hoặc các bát hương gỗ được điêu khắc tỉ mỉ, đều mang...
Tinh Thần Truyền Bá: Skyhome.vn và...