四方定理：所有自然數至多只要用4個數的平方和就可以表示。
標簽： 定理
上傳時間： 2014-12-06
上傳用戶：litianchu
1971年Cook發表的庫克定理,證明了第一的NPC問題:3SAT
標簽： 1971 Cook 3SAT NPC
上傳時間： 2016-07-09
上傳用戶：dave520l
這個是我數字信號處理這門課的課程設計,文件包括用matlab編寫的代碼和設計報告.這個設計包括卷積演示程序、采樣定理演示程序
標簽： matlab 程序 數字信號處理 代碼
上傳時間： 2013-12-23
上傳用戶：標點符號
上傳時間： 2016-08-01
上傳用戶：lo25643
上傳用戶：Miyuki
上傳用戶：watch100
上傳時間： 2014-11-27
上傳用戶：2467478207
命題邏輯中的推理規則可以用來證明一個已經表示成命題公式的定理，但它還不便于機械化實施。因為其中的各條規則都未指明在推導的什麼步驟上應該引入什麼前提或中間結論，這些還有賴于人的經驗技巧和才能。1960年王浩提出的算法，可以完全脫離人的經驗和技巧，機械地構造每一步推導，證明一個命題邏輯定理的成立。
標簽： 邏輯 定理
上傳時間： 2013-12-31
上傳用戶：wxhwjf
貝葉斯算法是基于貝葉斯定理 P(H|X) = P(X|H)P(H) / P(X).。對于多屬性的數據集，計算 P(X|Ci) 的開銷非常大，為減低計算復雜度，我們做條件獨立的假設，即給定元組的類標號，假定屬性值有條件地相互獨立，即在屬性間不存在依賴關系。此程序僅為算法的一個實現，根據訓練數據訓練分類器
標簽： 貝葉斯算法 貝葉斯 定理 數據集
上傳時間： 2016-10-21
上傳用戶：1159797854
韓信點兵 -----------中國剩余定理
上傳時間： 2016-10-24
上傳用戶：rocketrevenge
蟲蟲下載站版權所有 京ICP備2021023401號-1
