-
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士,三个野人和一条船,修道士想用这条船把所有的人都运到河对岸,但要受到以下条件限制: (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 form validation code, covering a very wide form content. Regular languages t...
jsp表单验证的代码,覆盖很全的表单内容。正则语言编写,方便操作使用-jsp form validation code, covering a very wide form content. Regular languages to facilitate the operational use
- 2022-08-20 16:53:14下载
- 积分:1
-
sping下勇Xdoclet开发hibernate的程序实例,版本hibernate2.0,开发工具eclipse3.0...
sping下勇Xdoclet开发hibernate的程序实例,版本hibernate2.0,开发工具eclipse3.0-sping under-yong Xdoclet pertains to the development of procedures example, version hibernate2.0, development tools eclipse3.0
- 2022-01-26 17:31:00下载
- 积分:1
-
这是一个通过多平太编写的俄罗斯方块游戏源文件
这是一个通过多平太编写的俄罗斯方块游戏源文件-through Taheita sheet prepared by the Russian source games
- 2022-12-20 17:50:04下载
- 积分:1
-
JAVA language related to the contents of the second edition of the procedure, wi...
JAVA语言第二版程序相关内容,内副几个小程序-JAVA language related to the contents of the second edition of the procedure, with some small procedures, deputy
- 2022-03-23 13:00:17下载
- 积分:1
-
用JAVA模拟操作系统的文件管理,主要是用Fat表的形式来组织的文件系统的数据结构。...
用JAVA模拟操作系统的文件管理,主要是用Fat表的形式来组织的文件系统的数据结构。-JAVA simulation using the document management system, Fat is mainly used to organize the form of file system data structures.
- 2022-04-30 17:03:57下载
- 积分:1
-
很高兴
Contents
* Introduction
* Installation
* SmartPool 1.5
* Features from earlier releases
* Features expected in future releases
* System Requirements
* User Documentation
* Source
* Java Doc-Contents
* Introduction
* Installation
* SmartPool 1.5
* Features from earlier releases
* Features expected in future releases
* System Requirements
* User Documentation
* Source
* Java Doc
- 2022-03-18 12:54:28下载
- 积分:1
-
一个netstore的完整代码,他使用了j2ee和webservice技术,并使用ojb o/r管理框架,很不错的
一个netstore的完整代码,他使用了j2ee和webservice技术,并使用ojb o/r管理框架,很不错的-a code of integrity, he is using the technology creates and webservice and use ojb o/r management framework, very good
- 2023-01-15 17:30:04下载
- 积分:1
-
JMS to prepare the voice broadcast software
JMS编写的声音播放软件-JMS to prepare the voice broadcast software
- 2022-01-21 20:25:08下载
- 积分:1
-
实体对象javabean的自动生成工具。用于生成数据库表单的javabean程序...
实体对象javabean的自动生成工具。用于生成数据库表单的javabean程序-entities targeted javabean the automatic generation tool. The database used to produce the form javabean procedures
- 2022-02-27 01:09:28下载
- 积分:1