定理全部资料下载-157个定理技术资源-虫虫下载站

四方定理：所有自然数至多只要用4个数的平方和就可以表示。...

📅 2014-12-06

1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT...

📅 2016-07-09

这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序...

📅 2013-12-23

这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序...

📅 2016-08-01

这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序...

📅 2016-08-01

这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序...

📅 2013-12-23

这个是我数字信号处理这门课的课程设计,文件包括用matlab编写的代码和设计报告.这个设计包括卷积演示程序、采样定理演示程序...

📅 2014-11-27

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年...

📅 2013-12-31

贝叶斯算法是基于贝叶斯定理 P(H|X) = P(X|H)P(H) / P(X).。对于多属性的数据集，计算 P(X|Ci) 的开销非常大，为减低计算复杂度，我们做条件独立的假设，即给定元组的类标号，...

📅 2016-10-21

韩信点兵 -----------中国剩余定理...

📅 2016-10-24

📚 定理技术资料