用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野人都会划船，但船一次只能装运两个人。 （2） 在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。
标签： 表示法
上传时间： 2014-01-18
上传用户：star_in_rain
计算方法的追赶法
标签： 计算方法
上传时间： 2013-12-26
上传用户：colinal
Gauss-seid迭代法
标签： Gauss-seid 迭代法
上传时间： 2015-02-06
上传用户：赵云兴
对偶单纯形法求线性规划最优解
标签： 线性
上传时间： 2015-02-07
上传用户：chenbhdt
大M单纯法求线性规划最优解
上传时间： 2014-08-21
上传用户：gdgzhym
一个黄金分割法求最优区间
标签： 分割
上传用户：lixinxiang
该文件为编译器的的自顶向下分析法的代码
标签： 编译器 分析法 代码
上传时间： 2015-02-08
上传用户：asddsd
冒泡法,快速排序等排序的实现
标签： 快速排序 排序
上传用户：sammi
计算力学编程,有限元
标签： 计算 编程 有限元
上传用户：lhw888
通过Matlab实现有限元算法第二版
标签： Matlab 有限元 算法
上传用户：yzhl1988
