-
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
- Chương trình "Quà tặng giáng sinh" [Thân tặng các bạn CViet]
- game đào vàng sử dụng C++ hoặc C# ??
- Code C khóa chuột máy tính. Buồn buồn nghịch chơi tí :)
- Source code Visual C++ | Tạo hiệu ứng nước và lửa bằng Visual C++
- TrayIcon trên MFC
- Game Yugioh C++
- Phần mềm minh họa hệ mật mã khóa công khai (RSA)
- demo multi thread + CCriticalSection
- Source code chương trình "Tính điểm tổng kết cuối năm cấp 3"
-
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...