-
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:
- Học hỏi và trao đổi: viết trò chơi Tetris bằng visual c++.
- CPU Scheduler (bộ lập lịch cho CPU - Môn lý thuyết HĐH)
- Bài tập GDI - Chữ chạy + nhấp nháy trên nền sao
- TrayIcon trên MFC
- code game phỏm offline ...
- Thuật qoán quay ảnh!!!
- [MFC] Mô phỏng lập lịch CPU theo thuật toán RoundRobin
- -=]VC6[=- SmallUltilities : Draw analog clock, date and time, notice, and bonus!!!
- Chương trình bắn pháo hoa sử dụng OpenGL và SDL trong VC++6.0
- [C++ socket] Server gửi dữ liệu tới Client bị thiếu, tại sao ?
-
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]
Vệ sinh cá nhân là một phần quan yếu của sức khỏe nam giới. Dùng dung dịch vệ sinh mỗi ngày mang lại nhiều ích, giúp loại bỏ vi khuẩn và vi sinh vật gây hại, giúp khu vực cơ quan sinh dục luôn sạch...
Gel vệ sinh cu, bạn trai có nên...