級數展開法計算圓周率精確到千萬位以上
標簽: 計算 千
上傳時間: 2015-02-05
上傳用戶:ccclll
用謂詞表示法表示修道士和野人的問題 在河的左岸有三個修道士,三個野人和一條船,修道士想用這條船把所有的人都運到河對岸,但要受到以下條件限制: (1) 修道士和野人都會劃船,但船一次只能裝運兩個人。 (2) 在任何岸邊,野人數不能超過修道士,否則修道士會被野人吃掉。 假定野人愿意服從任何一種過河安排,請規劃出一種確保修道士安全的過河方案。要求寫出所用謂詞的定義、功能及變量的個體域。
標簽: 表示法
上傳時間: 2014-01-18
上傳用戶:star_in_rain
本程序所有數據庫文件都以.sql文件保存在Database文件夾里; 2、首先在SQL查詢分析器中運行CreateDatabase.sql文件創建數據庫; 3、運行其他所有的.sql文件即可創建好了本程序的數據庫;
標簽: sql CreateDatabase Database SQL
上傳時間: 2014-01-25
上傳用戶:水中浮云
這是一個詞法分析器
標簽: 分析器
上傳時間: 2014-01-08
上傳用戶:225588
計算方法的追趕法
標簽: 計算方法
上傳時間: 2013-12-26
上傳用戶:colinal
Gauss-seid迭代法
標簽: Gauss-seid 迭代法
上傳時間: 2015-02-06
上傳用戶:趙云興
c++寫的c語言詞法分析器
標簽: c語言 分析器
c語言寫的basic詞法分析器
標簽: basic c語言 分析器
上傳用戶:Yukiseop
對偶單純形法求線性規劃最優解
標簽: 線性
上傳時間: 2015-02-07
上傳用戶:chenbhdt
大M單純法求線性規劃最優解
上傳時間: 2014-08-21
上傳用戶:gdgzhym
蟲蟲下載站版權所有 京ICP備2021023401號-1