-
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士,三个野人和一条船,修道士想用这条船把所有的人都运到河对岸,但要受到以下条件限制: (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
-
详细介绍的JAVA的多线程程序设计
详细介绍的JAVA的多线程程序设计-details of the multi-threaded Java Programming
- 2023-08-16 21:35:03下载
- 积分:1
-
java画图程序
java画图程序-Drawing in Java
- 2022-05-28 06:07:25下载
- 积分:1
-
一个很好xml学习样例
一个很好xml学习样例-a good example to learn xml
- 2022-01-21 21:57:32下载
- 积分:1
-
用java编写的一些初级代码,帮助大家熟悉java的基本类的使用
用java编写的一些初级代码,帮助大家熟悉java的基本类的使用-Prepared by a number of junior java code, java assist everyone familiar with the use of the basic category
- 2022-03-09 21:06:25下载
- 积分:1
-
深入浅出JavaSwing程序设计一书的源代码,对学习Swing非常有用。...
深入浅出JavaSwing程序设计一书的源代码,对学习Swing非常有用。-simple design of a procedure the source code, to learn Swing very useful.
- 2022-12-13 02:20:04下载
- 积分:1
-
java 读写EXCEL文件的源码
java 读写EXCEL文件的源码-read and write Excel documents FOSS
- 2023-01-08 02:05:03下载
- 积分:1
-
Office格式转换代码
Office格式转换代码-Office format conversion code
- 2022-05-06 03:36:02下载
- 积分:1
-
智能卡读卡器服务程序,Java语言开发,Eclipse开发环境.程序运行起来以后相当于一个server,会在TCP的一个端口监听客户端的请求,可以实现远程连接,...
智能卡读卡器服务程序,Java语言开发,Eclipse开发环境.程序运行起来以后相当于一个server,会在TCP的一个端口监听客户端的请求,可以实现远程连接,对智能卡的访问包括复位,发送命令给智能卡,接收智能卡的应答,日至打印等等.-The smart card reader service program, Java language development, Eclipse development environment. Program up and running after the equivalent of a server, a port in the TCP listening client s request, can be remotely connected to the smart card access, including reset, send command to the smart cards, smart cards to receive the response, to print and so on.
- 2022-02-04 09:05:19下载
- 积分:1
-
oracle9i Jdeveloper应用于开发电子教案。
oracle9i Jdeveloper应用于开发电子教案。-used to develop electronic templates.
- 2023-04-16 06:35:03下载
- 积分:1