-
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:
- BitTorrent CLient Downloader C++ - FTKernelAPI
- [Sản phẩm] 1 CT về OpenGL
- Visual Studio của em bị gì vậy mn. Help me!!!
- Cờ cá ngựa - Đồ án hướng đối tượng
- Source Game Xếp hình C++
- Source code chương trình trích chọn đặc trưng sử dụng Wavelet Haar.
- Source Game Xếp bi C++
- Code C khóa chuột máy tính. Buồn buồn nghịch chơi tí :)
- Source code hack plant vs zombie (Demo global hook dễ hiểu)
- Sâu đục yahoo viết bằng VC++, mới chế xong code
-
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]
Pallet nhựa Long An đã trở thành một trong những lựa chọn phổ biến cho nhu cầu vận chuyển và lưu trữ hàng hóa trong nhiều ngành công nghiệp. Với đặc tính nhẹ nhàng, chắc chắn và dễ vận chuyển, các...
Thanh lý pallet nhựa Long An giá rẻ