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