Chương trình chứng minh định lý bằng thuật toán Vương Hạo(Havard)

[zenzenboy131]

link die roi cac bac oi

[luuvanthuc]

link die roi cac bac oi

type có dấu giùm đi bạn ơi. khó đọc hơn cả tiếng campuchia [IMG]images/smilies/biggrin.png[/IMG]

Link mình test lại vẫn bình thường mà bạn.

[ichiase24h]

thanks bac nhac down dc roi

[laptopthoithuong]

mình không biết nhưng cam ơn nhiều nha.
Viết được nhưng không có cách triển khai
Vậy thôi

[chinhdel]

Viết được nhưng không có cách triển khai
Vậy thôi

Xin lỗi không hiểu ý của bạn?

[sonseo9x5s]

thanks ban nhieu bai nay rat hay ,minh cung dang nghien cuu thuat toan vuong hao[IMG]images/smilies/applause.gif[/IMG]

[mituot]

Ở đây mình cũng mới đọc một bài viết tốt này.
Có cả source đề mô chi tiết nữa.
http://khoinguonit.com/showthread.ph...ng-H%E1%BA%A1o

[lolista]

mình thích cái này
mình cũng làm 1 cái nhưng là console bên box C
hè hè

[tuanpham]

mình thích cái này
mình cũng làm 1 cái nhưng là console bên box C
hè hè

Bạn có thể share cho mình đc ko
Email: thanhlongltvp@gmail.com

[thanhtruc02]

Vương Hạo (Wang Hao) sinh ngày 20-5-1921 tại Tế Nam, Sơn Đông, Trung Quốc.
Ông là một nhà lôgíc học, nhà toán học và là nhà triết học người Mỹ gốc Hoa.
Ông nghiên cứu lôgíc học tại Đại học Harvard và được nhận bằng tiến sĩ năm 1948. Cũng trong năm đó ông được bỗ nhiệm làm trợ tá giáo sư tại Harvard.

Đầu thập niên 1950 ông nghiên cứu cùng Paul Bernay tại Zurich.
Trong quá trình nghiên cứu ông đã phát minh ra nhiều phát minh đóng góp cho lĩnh vực toán học, lôgíc học và triết hoc.