各种数学叙述（按重要性来排列）引理（又称辅助定理，补理）－某个定理的证明的一部分的叙述。它并非主要的结果。引理的证明有时还比定理长，例如舒尔引理。推论－一个从定理随之而即时出现的叙述。若命题B可以很快、简单地推导出命题A，命题A为命题B的推论。命题定理数学原理结构定理一般都有许多条件。然后有结论——一个在条件下成立的数学叙述。通常写作“若条件，则结论”。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。逆定理若存在某叙述为A→B，其逆叙述就是B→A。逆叙述成立的情况是A←→B，否则通常都是倒果为因，不合常理。若果叙述是定理，其成立的逆叙述就是逆定理。若某叙述和其逆叙述都为真，条件必要且充足。若某叙述为真，其逆叙述为假，条件充足。若某叙述为假，其逆叙述为真，条件必要。逻辑中的定理命题集合的可计算性问题（Calculabilite）我们可以通过可计算性（Calculabilite）这...

格林瓦尔德战役，德国文献中称为坦南贝格会战，中文又译作坦能堡会战，是1410年7月15日，在条顿战争(1409—1411)期间，波兰—立陶宛联军歼灭条顿骑士团的决战。以步兵为主的波兰-立陶宛联军以及捷克和匈牙利的志愿部队3.9万人在波兰国王瓦迪斯瓦夫二世·雅盖沃指挥下，在坦伦堡和格林瓦尔德附近与以身穿甲胃的重装骑兵为主的条顿骑士团约2.7万人的军队展开决战。条顿骑士团在此战中精锐尽失，8千名骑士被杀，2千人被俘，骑士团大团长冯·容金根等多数首领阵亡。条顿骑士团从此一蹶不振，波兰由此逐渐收复失地，并获得格但斯克等城镇和波罗的海出海口。波兰作者显克微支根据此战撰写了小说《十字军骑士》。条顿骑士团是三大骑士团(医院骑士团、圣殿骑士团和条顿骑士团)中建立时间最晚的一个，但却是影响最大的一个。它于1198年在巴勒斯坦建立，主要由德意志骑士组成，着白色外衣，佩戴黑色十字章，白色斗篷上绘有黑色宝剑和十字...

简介采样是将一个信号（例如时间或空间上连续的函数）转换为数字序列（时间或空间上离散的函数）的过程。这个定理的香农版本陈述为：如果函数x(t)不包含高于Bcps（次/秒）的频率，它完全取决于一系列相隔1/(2B)秒的点的纵坐标。因此2B样本/秒或更高的采样频率就足够了。相反，对于一个给定的采样频率fs，完全重构的频带限制为B≤fs/2。在频带限制过高（或根本没有频带限制）的情形下，重构表现出的缺陷称为混叠。现在对于此定义的陈述有时会很小心的指出x(t)必须不包括频率恰好为B的正弦曲线，或是B必须小于½的采样频率。这二个门槛，2B及fs/2会称为奈奎斯特速率（英语：Nyquistrate）及奈奎斯特频率。这些是x(t)及采样设备的属性。上述的不等式会称为奈奎斯特准则，有时会称为拉贝准则（Raabecondition）。此定理也可以用在其他定义域（例如离散系统）的函数下，唯一的不同是量测t,fs...

历史这个定理起源于柏克莱加州大学（UniversityofCalifornia,Berkeley）的计算机科学家埃里克·布鲁尔在2000年的分布式计算原则研讨会（SymposiumonPrinciplesofDistributedComputing（英语：SymposiumonPrinciplesofDistributedComputing）（PODC））上提出的一个猜想。在2002年，麻省理工学院（MIT）的赛斯·吉尔伯特（英语：SethGilbert）和南希·林奇（英语：NancyLynch）发表了布鲁尔猜想的证明，使之成为一个定理。吉尔伯特和林奇证明的CAP定理比布鲁尔设想的某种程度上更加狭义。定理讨论了在两个互相矛盾的请求到达彼此连接不通的两个不同的分布式节点的时候的处理方案。参见分布式计算的谬论（FallaciesofDistributedComputing（英语：Fallaci...

证明罗尔定理的几何意义首先，因为f{\displaystylef}在闭区间[a,b]{\displaystyle[a,b]}上连续，根据极值定理，f{\displaystylef}在[a,b]{\displaystyle[a,b]}上有最大值和最小值。如果最大值和最小值都在端点a{\displaystylea}或b{\displaystyleb}处取得，由于f(a)=f(b){\displaystylef(a)=f(b)}，f{\displaystylef}显然是一个常数函数。那么对于任一点ξξ-->∈∈-->(a,b){\displaystyle\xi\in(a,b)}，我们都有f′′-->(ξξ-->)=0{\displaystylef^{\prime}(\xi)=0}。现在假设f{\displaystylef}在ξξ-->∈∈-->(a,b){\d...