| English | Russian |
| Bayes theorem | теорема Байеса (лежащая в основе стохастического подхода к управлению) |
| channel coding theorem | теорема о канальном кодировании (утверждающая, что любой сколь угодно зашумлённый канал обладает определённой пропускной способностью, которая никогда не может быть превышена без ошибки, но, в принципе, достижима с некоторой произвольно малой вероятностью ошибки) |
| Chinese remainder theorem | китайская теорема об остатках (одна из основных теорем теории чисел, используемая в теории кодирования и шифрования) |
| Godel’s incompleteness theorems | теоремы неполноты Гёделя (отражающие внутренние ограничения формальных систем) |
| incompleteness theorems | теоремы неполноты (Гёделя, отражающие внутренние ограничения формальных систем) |
| Kleene’s theorem on regular expressions | теорема Клина о регулярных выражениях (утверждающая, что язык определим регулярным выражением только тогда, когда он распознаваем конечным автоматом) |
| Nyquist sampling theorem | теорема отсчётов (аналоговый сигнал может быть точно восстановлен из дискретизированного сигнала, если частота дискретизации равна или больше удвоенной наивысшей частоты аналогового сигнала) |
| Parseval’s theorem | теорема Парсеваля (расширение теоремы о суперпозиции, которая применяется к апериодическим формам спектрального излучения (т.е. спектральной плотности мощности), в которой в периодическом случае различные сигналы считаются ортогональными за весь период, а в апериодическом случае — интервал ортогональности распространяется на всю временную ось от минус до плюс бесконечности) |
| reciprocity theorem | теорема обратимости |
| recursion theorem | теорема о рекурсии (вариант теоремы о неподвижной точке из теории рекурсивных функций) |
| sampling theorem | теорема отсчётов (аналоговый сигнал может быть точно восстановлен из дискретизированного сигнала, если частота дискретизации равна или больше удвоенной наивысшей частоты аналогового сигнала) |
| source coding theorem | теорема о кодировании источника (в которой утверждается, что выходной поток информации из любого источника, имеющей энтропию в Я единиц на один символ, может быть закодирован с помощью алфавита из N символов таким образом, что символы потока из источника информации будут представлены кодовыми словами, средневзвешенная длина которых не меньше, чем H/logN, где основание логарифма согласуется с единицами измерения энтропии) |
| superposition theorem | теорема суперпозиции (в электротехнике) |
| Thevenin’s theorem | теорема Тевенина |
