四方定理：所有自然数至多只要用4个数的平方和就可以表示。
标签： 定理
上传时间： 2014-12-06
上传用户：litianchu
1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT
上传时间： 2016-07-09
上传用户：dave520l
这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序
上传时间： 2013-12-23
上传用户：标点符号
这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序
上传时间： 2016-08-01
上传用户：lo25643
这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序
上传时间： 2016-08-01
上传用户：Miyuki
这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序
上传时间： 2013-12-23
上传用户：watch100
这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序
上传时间： 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
