用謂詞表示法表示修道士和野人的問題 在河的左岸有三個修道士，三個野人和一條船，修道士想用這條船把所有的人都運到河對岸，但要受到以下條件限制： （1） 修道士和野人都會劃船，但船一次只能裝運兩個人。 （2） 在任何岸邊，野人數不能超過修道士，否則修道士會被野人吃掉。 假定野人愿意服從任何一種過河安排，請規劃出一種確保修道士安全的過河方案。要求寫出所用謂詞的定義、功能及變量的個體域。
標簽： 表示法
上傳時間： 2014-01-18
上傳用戶：star_in_rain
計算方法的追趕法
標簽： 計算方法
上傳時間： 2013-12-26
上傳用戶：colinal
Gauss-seid迭代法
標簽： Gauss-seid 迭代法
上傳時間： 2015-02-06
上傳用戶：趙云興
這個加解密源碼幾乎包括了世界上幾個最著名的加密算法：Blowfish、CryptAPI、DES、Gost、RC4、XOR、Skipjack、TEA、Twofish，曾獲源碼5星推薦。
標簽： Blowfish CryptAPI Skipjack Twofish
上傳用戶：李夢晗
一個無符號的加法器小程序
標簽： 符號 加法器 程序
上傳時間： 2014-01-12
上傳用戶：cjl42111
對偶單純形法求線性規劃最優解
標簽： 線性
上傳時間： 2015-02-07
上傳用戶：chenbhdt
大M單純法求線性規劃最優解
上傳時間： 2014-08-21
上傳用戶：gdgzhym
一個黃金分割法求最優區間
標簽： 分割
上傳用戶：lixinxiang
算24點程序，源碼
標簽： 程序
上傳時間： 2014-06-12
上傳用戶：athjac
很爛的算24。開心辭典的必備工具。哈。
標簽：
上傳用戶：wfeel
蟲蟲下載站版權所有 京ICP備2021023401號-1
