Terms for subject Programming containing theorem

English	Russian
abstract ergodic theorem	абстрактная эргодическая теорема (ssn)
application of the substitution theorem	приложение теоремы о подстановке (ssn)
applications of the substitution theorem	приложения теоремы о подстановке (ssn)
automatic theorem proving	автоматическое доказательство теорем (ssn)
boundary value theorem	предельная теорема (ssn)
boundary value theorem	теорема о предельном значении (ssn)
Church-Turing theorem	теорема Чёрча-Тьюринга (ssn)
completeness theorem	теорема о полноте (ssn)
completion time theorem	теорема о времени завершения (в теории планирования в реальном времени ssn)
different theorems	различные теоремы (ssn)
FLP Impossibility Theorem	теорема Фишера, Линч и Патерсона о невозможности консенсуса в системе со сбоями (wikipedia.org Krio)
formulation of theorem	формулировка теоремы (ssn)
fundamental theorem	фундаментальная теорема (ssn)
fundamental theorem of readability	фундаментальная теорема читаемости (кода ssn)
generalized completion time theorem	обобщённая теорема о времени завершения (теория планирования в реальном времени ssn)
generalized utilization bound theorem	обобщённая теорема о верхней границе коэффициента использования (процессора (центрального процессора, ЦП) в теории планирования в реальном времени ssn)
Godel Completeness Theorem	теорема Гёделя о полноте (ssn)
implicit function theorem	теорема о неявных функциях (ssn)
implicit function theorem	теорема неявных функций (ssn)
infinite number of different theorems	бесконечное число различных теорем (ssn)
Kleene's theorem	теорема Клини (ssn)
limit theorem	теорема о предельном значении (предельная теорема ssn)
many theorems	множество теорем (ssn)
many theorems of a logistic system	множество теорем логистической системы (ssn)
mathematical formulation of completion time theorem	строгая формулировка теоремы о времени завершения (ssn)
mathematical formulation of theorem	строгая формулировка теоремы (ssn)
matrix representation theorem	теорема о представлении матрицы (термин относится к теории синтаксического анализа, перевода и компиляции ssn)
more general theorems about recursively defined processes	более общие теоремы о рекурсивно определённых процессах (ssn)
Nyquist sampling theorem	теорема Найквиста о выборке (для того чтобы восстановить всю информацию о сигнале, он должен оцифровываться с частотой по крайней мере вдвое большей частоты изменения сигнала ssn)
optimizing theorem	оптимизационная теорема (Microsoft Alex_Odeychuk)
optimizing theorem prover	доказатель оптимизационных теорем (Microsoft Alex_Odeychuk)
predicate calculus and proving theorems	исчисление предикатов и доказательство теорем (ssn)
proofs of theorem and programs	доказательства теорем и программ (ssn)
To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution	для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)
proving theorems	доказательство теорем (ssn)
rate monotonic scheduling theorems	теоремы о планировании методом монотонных частот (ssn)
resolution theorem	теорема о резолюции (ssn)
schemata-based theorem	схемотехника (ssn)
semantic theorem	семантическая теорема (ssn)
seminal paper on social processes and proofs of theorem and programs	оригинальная статья о социальных процессах и доказательствах теорем и программ (ssn)
some relevant theorems	некоторые полезные теоремы (ssn)
some theorems about textual substitution and states	несколько теорем о подстановке и состояниях (ssn)
structure theorem	теорема о структурном решении (ssn)
syntactical theorems	синтаксические теоремы (о системе ssn)
theorem prover	инструмент автоматического доказательства теорем (Alex_Odeychuk)
theorem proving	машинное доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
theorem proving	автоматическое доказательство теорем (одно из направлений исследований и разработок в области искусственного интеллекта ssn)
theorem schema	теоремная схема (ssn)
theorem schemata	теоремные схемы (ssn)
theorems of the z-transform	теоремы z-преобразования (ssn)
threshold theorem	предельная теорема (ssn)
threshold theorem	теорема о предельном значении (ssn)
two theorems concerning procedure call	две теоремы о вызове процедуры (ssn)
utilization bound theorem	теорема о верхней границе коэффициента использования ЦП (ssn)
utilization bound theorem	теорема о верхней границе коэффициента использования (процессора (центрального процессора, ЦП) в теории планирования в реальном времени ssn)