用謂詞表示法表示修道士和野人的問題 在河的左岸有三個修道士，三個野人和一條船，修道士想用這條船把所有的人都運到河對岸，但要受到以下條件限制： （1） 修道士和野人都會劃船，但船一次只能裝運兩個人。 （2） 在任何岸邊，野人數不能超過修道士，否則修道士會被野人吃掉。 假定野人愿意服從任何一種過河安排，請規劃出一種確保修道士安全的過河方案。要求寫出所用謂詞的定義、功能及變量的個體域。
標簽： 表示法
上傳時間： 2014-01-18
上傳用戶：star_in_rain
一個三層應用程序，演示如何通過ADO對象以及存儲在SQL Server中的Procedure實現高性能的數據訪問(在運行程序前首先要設置SQL Server，在壓縮包中有一個Procs.sql的文件，首先在SQL Server上運行該文件設置SQL Server數據庫)
標簽： 應用程序
上傳時間： 2014-12-01
上傳用戶：FreeSky
磁盤調度算法 1。實現三種算法： 1。先來先服務 2。最短尋道優先（可自己假設當前磁頭的位置） 3。電梯算法 2。磁道服務順序從指定的文本文件（TXT文件）中取出 3。輸出： 第一行：磁道的服務順序 第二行：顯示移動總道數
標簽： TXT 服務 算法 磁盤
上傳時間： 2014-12-02
上傳用戶：1051290259
修改信號量SIGINT例子
標簽： SIGINT 修改 信號量
上傳時間： 2014-01-25
上傳用戶：ghostparker
三次貝塞爾曲線的C程序,多于四點可通過連接保證C1連續
標簽： C程序 連接
上傳時間： 2014-01-26
上傳用戶：lo25643
上傳時間： 2013-11-29
上傳用戶：lgnf
三層客戶服務器結構中樹型結構組件設計與實現
標簽： 服務器 樹
上傳時間： 2013-12-31
上傳用戶：zwei41
操作系統講義（三）
標簽： 操作系統 講義
上傳時間： 2013-12-13
上傳用戶：WMC_geophy
InsideVC++配套源碼之三
標簽： InsideVC 源碼
上傳時間： 2015-02-10
上傳用戶：chenxichenyue
用三個類來研究類的繼承！類Point、Circle、Cylinder
標簽： Cylinder Circle Point
上傳時間： 2014-01-19
上傳用戶：moerwang
蟲蟲下載站版權所有 京ICP備2021023401號-1
