-
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士,三个野人和一条船,修道士想用这条船把所有的人都运到河对岸,但要受到以下条件限制: (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
-
jsp连接DB2数据库
jsp连接DB2数据库-jsp connect DB2 database
- 2022-07-16 17:18:41下载
- 积分:1
-
一个项目案例导航
一个项目案例导航-a navigation project cases
- 2022-05-29 19:58:49下载
- 积分:1
-
利用Structs来实现客户资料管理系统,本系统在不同的行业、部门都有很广泛的应用。...
利用Structs来实现客户资料管理系统,本系统在不同的行业、部门都有很广泛的应用。-use Structs to achieve customer information management system, the system in different industries, the sector has very broad applications.
- 2022-02-09 11:18:10下载
- 积分:1
-
JavaScript数字日期转化为汉字日期格式
JavaScript数字日期转化为汉字日期格式-JavaScript date figures into Chinese characters date format
- 2022-01-26 04:50:13下载
- 积分:1
-
Java 2 object
JAVA 2面向对象程序设计(随书范例程序)13-15.rar-Java 2 object-oriented programming (with the book paradigm procedures) 13-15.rar
- 2022-10-13 11:35:03下载
- 积分:1
-
一个朋友给了我一个手机游戏的源代码,大家互相学习!
朋友给我的一个手机游戏,有源码的,大家互相学习!-A friend gave me a cell phone game with source code, we learn from each other!
- 2022-04-15 21:26:20下载
- 积分:1
-
汇编语言中的词法分析器,分词效果非常理想。难得的JAVA代码哟。...
汇编语言中的词法分析器,分词效果非常理想。难得的JAVA代码哟。-Assembly language in the lexical analyzer, sub-word result was very satisfactory. Rare JAVA code yo.
- 2022-03-25 20:25:28下载
- 积分:1
-
这是一个很好的ajax学习例子,里面包括无刷新操作等,
这是一个很好的ajax学习例子,里面包括无刷新操作等,-This is a very good example of ajax learning, which includes non-refresh operation,
- 2022-06-01 07:11:30下载
- 积分:1
-
很好的电子网店源码,欢迎大家下载。是用jsp开发的
很好的电子网店源码,欢迎大家下载。是用jsp开发的-electronic web shop
- 2023-02-15 13:50:04下载
- 积分:1