-
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （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
-
用JXTA实现的P2P应用程序，该应用程序主要时完成是，RestoPeer如何找到，创建和加入RestoNet对等组，并对其他的对等体的Request进行回应...
用JXTA实现的P2P应用程序，该应用程序主要时完成是，RestoPeer如何找到，创建和加入RestoNet对等组，并对其他的对等体的Request进行回应-using JXTA P2P application, the application procedures will be completed, RestoPeer how to find, create and join groups such as RestoNet right, as well as other bodies such as the right of response to the Request for
- 2022-01-25 18:38:52下载
- 积分：1
-
用java语言实现名字的旋转功能！
名字可以实现任意角度的旋转...
用java语言实现名字的旋转功能！
名字可以实现任意角度的旋转-Java language implementation with the names of rotation! Names can be achieved at any angle of rotation
- 2023-01-18 05:20:03下载
- 积分：1
-
编写Java Application程序, 实现屏幕保护程序―飞跃星空，并具有同样的参数设置面板。...
编写Java Application程序, 实现屏幕保护程序―飞跃星空，并具有同样的参数设置面板。-Java Application procedures for the preparation and realization of screen protection program- Star leap, and with the same parameter settings panel.
- 2023-05-10 04:55:03下载
- 积分：1
-
java的静态工厂设计模式
java的静态工厂设计模式-factory design pattern
- 2023-03-03 11:35:03下载
- 积分：1
-
利用jsp编写的一个学生宿舍管理系统，有兴趣的朋友可以下载...
利用jsp编写的一个学生宿舍管理系统，有兴趣的朋友可以下载-jsp prepared by the use of a student hostel management system, interested friends can be downloaded
- 2023-06-14 16:45:05下载
- 积分：1
-
采用jsp编写网上书店实例
采用jsp编写网上书店实例-jsp prepared using examples of online bookstores
- 2022-06-17 20:58:22下载
- 积分：1
-
寻找素数，并计算出最大十个数的和
寻找素数，并计算出最大十个数的和-To find prime numbers, and calculate the maximum number of 10 and
- 2022-09-12 17:35:04下载
- 积分：1
-
文件好用实在，请大家多多下载，谢谢大家的光顾
文件好用实在，请大家多多下载，谢谢大家的光顾-documents handy indeed, Members can download, thank you patronize the
- 2022-03-17 07:32:49下载
- 积分：1
-
客房管理系统
客房管理系统，需要JAVA和SQL2000
- 2022-05-16 13:49:25下载
- 积分：1
