theorem – phrases

Terms for subject Information technology containing theorem | all forms | exact matches only

English	Russian
automatic theorem prover	программа автоматического доказательства теорем
boolean theorems	булевы теоремы (ssn)
coding theorems	теоремы кодирования
DeMorgan's theorem	теорема де Моргана (ssn)
DeMorgan's theorems	теоремы де Моргана (ssn)
Godel's incompleteness theorems	теоремы Гёделя о неполноте (wikipedia.org)
incompleteness theorems	теоремы о неполноте
lag theorem	теорема запаздывания
mean value theorem	теорема о среднем
Parikh's theorem	теорема Парика
recursion theorem	теорема рекурсии
resolution theorem proving	доказательство теорем методом резолюции
sampling theorem	теорема о дискретном представлении
sampling theorem	теорема Котельникова
second limit theorem	теорема Маркова
Shannon's expansion theorem	теорема разложения Шеннона (для булевых функций в совершенной дизъюнктивной нормальной форме)
source coding theorem	теорема о кодировании источника
speedup theorem	теорема ускорения