-
-
SAT.rar
SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。
-
-
-
fiveo.zip
五子棋。初学者程序，没有AI。编译平台是visual studio 6.0, c++.
-
PK-Mahjong.rar
这个麻将是仿照台湾16张游戏,用MFC编写,图片和声音都是从原来游戏COPY
过来的了,里面已经包含全部源代码.
本游戏是玩家和电脑对玩,电脑AI还有一些Bug,不过还是有机会赢你的.
-
wumpusworld.rar
simultion of wumpus world by C#, you can set the application on risky mode, AI mode and also Risky mode.
-
HuongDan.zip
sach huong dan ve java ai thich thi coi khong thich thi thui
-
-
-
-
Go To English Version 超过100万源码资源，1000万源码文件免费下载
