-
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （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
-
jstree树形菜单结构 树形菜单结构
jstree树形菜单结构 树形菜单结构-jstree树形菜单结构树形菜单结构树形菜单结构
- 2022-11-21 22:20:02下载
- 积分：1
-
state machine design source code
状态机设计源代码-state machine design source code
- 2022-02-04 11:20:14下载
- 积分：1
-
james
james-binary-2.3.1.zip这是一个纯Java语言写的邮件服务器-james-binary-2.3.1.zip Email Server
- 2022-03-04 11:48:09下载
- 积分：1
-
98 World Cup 的JAVA程序
98 World Cup 的JAVA程序-98 World Cup Java Programs
- 2022-11-08 14:10:03下载
- 积分：1
-
一个很好玩的小游戏
一个很好玩的小游戏-a very fun little game
- 2022-01-29 02:55:50下载
- 积分：1
-
小手机屏幕的红心大战.rar（JAVA源码
小手机屏幕的红心大战.rar（JAVA源码-J2EE源码）-small screen of mobile phones hearts. Rar (JAVA source-source J2EE)
- 2022-07-26 19:22:37下载
- 积分：1
-
这是我见过的eclipse的最简单教程快速入门
这是我见过的eclipse的最简单教程快速入门-eclipse study doc
- 2022-01-26 02:48:49下载
- 积分：1
-
可以替换同一目录下文本文件中某一字符串为新串
可以替换同一目录下文本文件中某一字符串为新串-can replace the same directory text documents for a new series of string
- 2022-08-25 19:06:19下载
- 积分：1
-
俄罗斯方块的java源码
可以运行，本人已经测试过了。可以无误的运行，虽然有点简单。但对于初学java的人来说还是不错的选择...
俄罗斯方块的java源码
可以运行，本人已经测试过了。可以无误的运行，虽然有点简单。但对于初学java的人来说还是不错的选择-Russian box can run the java source code, I have been tested before. Can be error-free operation, though a bit simple. But for beginners or for those who java a good choice
- 2023-06-14 09:55:04下载
- 积分：1
