-
用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （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
-
doing the Rubik's cube
自己做的俄罗斯方块-doing the Rubik"s cube
- 2022-06-21 10:36:49下载
- 积分：1
-
paper detailed description of the JSP pages of the various database connectivity...
论文详细描述了JSP页面中各种数据库的连通性。
- 2022-12-20 02:15:03下载
- 积分：1
-
程序构架基于：运用JSP+Struts+JSTL技术的MVC架构，数据库采用SQL Server。
使用说明：
设置数据库:
把/zefeng...
程序构架基于：运用JSP+Struts+JSTL技术的MVC架构，数据库采用SQL Server。
使用说明：
设置数据库:
把/zefeng/database/zefenggb_Data数据库文件,附加到SQL Server数据库中,数据库的用户名和密码设置成sa。
本程序源代码在/zefeng/src/目录下。-Procedures based on the framework: the use of JSP+ Struts+ JSTL technology MVC framework for database using SQL Server. Usage: set database: the/zefeng/database/zefenggb_Data database file, appended to the SQL Server database, the database user name and password set to sa. This procedure source code in/zefeng/src/directory.
- 2022-07-21 04:35:13下载
- 积分：1
-
走迷宫小程序,很好玩,自己和几个朋友随便玩着设计的
走迷宫小程序,很好玩,自己和几个朋友随便玩着设计的-small Maze procedure is a lot of fun, they and several friends casually performers play design
- 2022-07-06 16:36:26下载
- 积分：1
-
Java编程思想 第九课 全源码
Java编程思想 第九课 全源码-Java programming class thinking ninth all-source
- 2022-04-22 11:22:09下载
- 积分：1
-
使用JavaMail开发的具有发送、接收邮件的应用，实现了特快专递，是否新邮件判断等...
使用JavaMail开发的具有发送、接收邮件的应用，实现了特快专递，是否新邮件判断等-Developed with the use JavaMail to send, receive e-mail applications, to achieve a Speedpost, to determine whether new messages, etc.
- 2022-02-20 04:43:17下载
- 积分：1
-
XML编辑器(SimpleXmlEditor)
XML编辑器(SimpleXmlEditor) -XML editor (SimpleXmlEditor)
- 2022-01-26 07:31:56下载
- 积分：1
-
聚光灯效果.HTML
聚光灯效果.HTML-spotlight effects. HTML
- 2022-03-24 03:41:09下载
- 积分：1
-
这是一本很有用的Hybernate 技术的开发指南。
这是一本很有用的Hybernate 技术的开发指南。-Hybernate Development Guide
- 2023-02-05 00:30:03下载
- 积分：1
