-
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野...
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野人都会划船，但船一次只能装运两个人。 （2） 在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。-used predicate said France monks and Savage said the problem in the left bank of the river three monks, and a savage three boats, monks want to use the boat for all the people to go t he other side of the river, but are subject to the following conditions : (a) monks and Savage will be rowed, but only a ship loaded Win two people. (2) In any shore, should not exceed the number of wild monks, the monks would otherwise be eaten Savage. Savage is willing to submit to the assumption that any river, please draw up a security to ensure the monks of the river program. Asked predicate used to write the definition of functions and variables of individual jurisdictions.
- 2022-06-17 02:33:45下载
- 积分：1
-
detail how the jar files packaged and how to use
详细介绍了jar 文件如何打包，如何使用-detail how the jar files packaged and how to use
- 2023-06-12 14:50:04下载
- 积分：1
-
事务管理的java源代码，它是易于使用的例子。很容易…
java事务管理源码，很容易上手的实例。很容易掌握。-transaction management java source code, it is easy to use examples. Is very easy to grasp.
- 2022-02-13 22:16:41下载
- 积分：1
-
Babylon, some kind of tetris with sourcecode.
Babylon, some kind of tetris with sourcecode.
- 2022-02-10 08:56:07下载
- 积分：1
-
a client server model of the small test system, interested DOWN can go back into...
一个服务器客户模式的小型考试系统,有兴趣的可以DOWN回去后改进成实用的系统(华南农业大学信息学院计算机系).-a client server model of the small test system, interested DOWN can go back into improving the practical system (South China Agricultural University, Department of Computer Information Institute).
- 2022-03-24 06:49:10下载
- 积分：1
-
数据库管理类，用JAVA开发的一个学生管理系统。
数据库管理类，用JAVA开发的一个学生管理系统。-database management class,student management system by java
- 2023-03-17 21:35:03下载
- 积分：1
-
各类系统通用登陆源代码,简小,精悍,实用型!!!!适用于课程设计及毕业设计!!!(糊弄型)...
各类系统通用登陆源代码,简小,精悍,实用型!!!!适用于课程设计及毕业设计!!!(糊弄型)-various generic landing system source code, simplifying small, lean, Practical! ! ! ! apply to the curriculum design and design graduates! ! ! (fool-type)
- 2023-07-14 14:35:04下载
- 积分：1
-
dontail
接受键盘输入的内容，并保存下来，记录下来，给调用-dontail
- 2022-01-24 17:38:56下载
- 积分：1
-
jbrobe 安装使用教程
java 测试必备工具
jbrobe 安装使用教程
java 测试必备工具-jbrobe installation tutorial an indispensable tool for testing java
- 2022-09-03 03:20:03下载
- 积分：1
-
在eclipse下开发的求平面上两点之间的最短距离。通过随机在平面上生成无数个点，求其中两点间的最短距离，以及这两点。...
在eclipse下开发的求平面上两点之间的最短距离。通过随机在平面上生成无数个点，求其中两点间的最短距离，以及这两点。-the eclipse under development for the plane between two points is the shortest distance. Through random plane generated numerous points, two points for the shortest distance, and these two points.
- 2022-07-26 19:46:26下载
- 积分：1
