概率理論與數(shù)理統(tǒng)計實驗系統(tǒng)matlab代碼,含gui
標簽: matlab 概率 系統(tǒng)
上傳時間: 2016-10-17
上傳用戶:大三三
命題邏輯中的推理規(guī)則可以用來證明一個已經(jīng)表示成命題公式的定理,但它還不便于機械化實施。因為其中的各條規(guī)則都未指明在推導的什麼步驟上應該引入什麼前提或中間結(jié)論,這些還有賴于人的經(jīng)驗技巧和才能。1960年王浩提出的算法,可以完全脫離人的經(jīng)驗和技巧,機械地構(gòu)造每一步推導,證明一個命題邏輯定理的成立。
標簽: 邏輯 定理
上傳時間: 2013-12-31
上傳用戶:wxhwjf
達芬奇DM642 影像處理函數(shù)說明文件檔
標簽: 642 DM
上傳時間: 2016-10-20
上傳用戶:123456wh
工程師枕邊書。這個是工程師常用的一些公式還有一些重要的知識。很好的一本書。工學必備
標簽: 工程師
上傳時間: 2013-12-24
上傳用戶:tuilp1a
這是一個學習如何寫入的93c46的EEPROM 的程式.
標簽: EEPROM 93c46 程式
上傳時間: 2016-10-26
上傳用戶:lacsx
這是一個由java寫成的猜數(shù)字遊戲!目的在猜4個數(shù)字!如果輸入的數(shù)字和位置是對的等於一個A!如果只有數(shù)字對但位置不對等於一個B!由此來推測出正確的4個數(shù)字!
標簽: java 正
上傳用戶:ecooo
C++常用數(shù)值算法 原代碼 復化辛卜生公式
標簽: 數(shù)值算法 代碼
上傳用戶:jkhjkh1982
關于坐標轉(zhuǎn)換的公式,pdf格式的文章,坐標轉(zhuǎn)換時會用到
標簽: 坐標轉(zhuǎn)換
上傳時間: 2016-10-30
上傳用戶:mhp0114
C程式設計語言基礎 適合正在學習C語言的人
標簽: 程式 正
上傳用戶:xuan‘nian
最小二乘法可以用來處理一組數(shù)據(jù), 可以從一組測定的數(shù)據(jù)中尋求變量之間的依賴關系, 這種函數(shù)關系稱為經(jīng)驗公式
標簽: 數(shù)據(jù) 最小二乘法 變量 函數(shù)
上傳時間: 2014-01-25
上傳用戶:qilin
蟲蟲下載站版權(quán)所有 京ICP備2021023401號-1