| Russian | English |
| аксиомы теории аддитивных ресурсов | axioms for the additive quantities theory (ssn) |
| аксиомы теории комплектности ресурсов | axioms for the resource set theory (ssn) |
| аксиомы теории потребности в ресурсах | axioms of the resource requirements theory (ssn) |
| алгебраическая теория автоматов | algebraic automaton theory (ssn) |
| алгебраическая теория графов | algebraic graph theory (ssn) |
| аналитическая теория | analytic theory (ssn) |
| базовая теория | core theory (ssn) |
| базовые теории | core theories (ssn) |
| базовые теории, необходимые для теории аддитивных ресурсов | core theories required by additive quantities theory (ssn) |
| базовые теории, необходимые для теории комплектности ресурсов | core theories required by resource set theory (ssn) |
| базовые теории, необходимые для теории потребности в ресурсах | core theories required by resource requirements theory (ssn) |
| байесовская теория решений | Bayes decision theory (ssn) |
| введение в теорию адаптивного резонанса | introduction to adaptive resonance theory (ssn) |
| введение в теорию вычислительных систем | introduction to computer science (Alex_Odeychuk) |
| введение в теорию управления | introduction to control theory (ssn) |
| вероятностная теория | probabilistic view (ssn) |
| возникновение новой научной дисциплины, известной под названием теория систем | rapid emergence of a new scientific discipline, commonly known as system theory (ssn) |
| вопросы на теорию алгоритмов | algorithmic questions (на техническом собеседовании Alex_Odeychuk) |
| выводы по трём теориям | summary of the three views (ssn) |
| дефинициональные расширения, необходимые для теории комплектности ресурсов | definitional extensions required by resource set theory (ssn) |
| дефинициональные расширения, необходимые для теории потребности в ресурсах | definitional extensions required by resource requirements theory (ssn) |
| дополнительный материал из теории графов и её приложений | further material in graph theory and its application (ssn) |
| задача из теории графов | graph problem (ssn) |
| задача теории графов | graph-theory problem (ssn) |
| задачи из теории графов | graph problems (ssn) |
| идеи и техника теории конечных автоматов | ideas and techniques of the theory of finite-state machines (ssn) |
| излагаемая математическая теория | present mathematical theory (ssn) |
| изучение теории баз данных | studying database theory (ssn) |
| классическая и современная теория автоматического управления | classic and modern control theory (ssn) |
| классическая теория | classical view (ssn) |
| классическая теория автоматического управления | classic control theory (ssn) |
| Логика переходов состояний формально определена в пределах теории конечных автоматов | State transition logic is formally defined within finite automata theory (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
| метод теории вероятностей | probability theory method (ssn) |
| методы классической и современной теории автоматического управления | methods of classic and modern control theory (ssn) |
| методы современной теории автоматического управления | methods of modern control theory (ssn) |
| методы теории массового обслуживания | queuing technique (ssn) |
| Недавние работы распространили эту теорию на более общие классы процессов, но ограничения всё ещё существуют | Recent work has extended this theory to more general classes of processes, but limitations still exist (ssn) |
| неформальная семантика теории аддитивных ресурсов | informal semantics of the additive quantities theory (ssn) |
| неформальная семантика теории комплектности ресурсов | informal semantics of the resource set theory (ssn) |
| неформальная семантика теории потребности в ресурсах | informal semantics of the resource requirements theory (ssn) |
| одно из наиболее фундаментальных понятий теории вычислительных систем | one of the most fundamental notions in Computer Science (ssn) |
| определения теории комплектности ресурсов | definitions for the resource set theory (ssn) |
| определения теории потребности в ресурсах | definitions in the resource requirements theory (ssn) |
| определяющие отношения в теории потребности в ресурсах | defined relations of the resource requirements theory (ssn) |
| определяющие функции в теории комплектности ресурсов | defined functions of resource set theory (ssn) |
| основные положения теории доказательств и теории целых чисел | basic concepts of proofs and the structure of integers (ssn) |
| основные понятия теории автоматов | central concepts of automata theory (ssn) |
| основные понятия теории графов | graph background and terminology (ssn) |
| основные понятия теории графов | graph concepts (ssn) |
| основные понятия теории связи асинхронных компонент вычислительной системы | basis for a theory of communication between asynchronous components of a computer system (ssn) |
| основы теории вычислимости | basic computability (ssn) |
| основы теории переключательных схем | elementary switching theory (ssn) |
| отказываться от теории | abandon a theory (ssn) |
| поддерживаемая теория | supported theory (Microsoft Alex_Odeychuk) |
| понятия из теории терминологии | concepts from the theory of terminology (ssn) |
| прикладная общая теория систем | applied general systems theory (ssn) |
| прикладная теория оптимального управления | applied optimal control (ssn) |
| прикладная теория сетей Петри | applied Petri net theory (ssn) |
| применение теории сетей Петри | applying Petri net theory (ssn) |
| примитивные категории теории аддитивных ресурсов | primitive categories in the additive quantities theory (ssn) |
| примитивные константы в теории аддитивных ресурсов | primitive constants in the additive quantities theory (ssn) |
| примитивные отношения в теории аддитивных ресурсов | primitive relations in the additive quantities theory (ssn) |
| примитивные отношения в теории потребности в ресурсах | primitive relations of the resource requirements theory (ssn) |
| примитивные функции в теории аддитивных ресурсов | primitive functions in the additive quantities theory (ssn) |
| примитивные функции в теории комплектности ресурсов | primitive functions of resource set theory (ssn) |
| примитивные функции в теории потребности в ресурсах | primitive functions of the resource requirements theory (ssn) |
| проектирование систем с помощью современной теории управления | modern control design (ssn) |
| развитая теория | well-developed theory (ssn) |
| развитая теория разбиения конечных автоматов на блоки | well-developed theory of state-machine decomposition (ssn) |
| расширенная стандартная теория | extended standard theory (ssn) |
| решатель задач выполнимости формул в комбинации теорий | SMT solver (Alex_Odeychuk) |
| решатель задач выполнимости формул с учётом лежащих в их основе теорий | SMT solver (IBM Alex_Odeychuk) |
| современная теория автоматического управления | modern control theory (ssn) |
| современная теория управления | modern control theory (ssn) |
| современная теория языков программирования | modern programming language theory (Alex_Odeychuk) |
| теории понятий | theories of concepts (ssn) |
| теория автоматов | automatic theory (ssn) |
| теория адаптивного резонанса | adaptive resonance theory (ssn) |
| теория аддитивных ресурсов | additive quantities theory (ssn) |
| теория аппроксимирующих алгоритмов | theory of approximation algorithms (ssn) |
| теория архитектуры микроконтроллеров | theory of microcontroller architecture (ssn) |
| теория аспектов | theory of aspects (Alex_Odeychuk) |
| теория баз данных | data base theory (ssn) |
| теория баз данных | database theory (ssn) |
| теория бесконечных автоматов | infinite automata theory (ssn) |
| теория бесконечных автоматов | theory of infinite-state automata (ssn) |
| теория вероятностных автоматов | theory of probabilistic automata (ssn) |
| теория вероятностных автоматов | probabilistic automata theory (ssn) |
| теория вероятностных конечных автоматов | theory of probabilistic finite-state automata (ssn) |
| теория вероятностных конечных автоматов | theory of probabilistic finite state automata (ssn) |
| теория водопадной модели | waterfall model theory (ssn) |
| теория воздушного шарика | balloon theory (ssn) |
| теория вычислений | theory of computations (ssn) |
| теория вычислимости | computability theory (ssn) |
| теория детерминированного разбора | theory of deterministic parsing (в синтаксическом анализе, переводе и компиляции ssn) |
| теория диспетчирования | scheduling theory (ssn) |
| теория диспетчирования в реальном времени | real-time scheduling theory (ssn) |
| теория доказательств и теория целых чисел | proofs and the structure of integers (ssn) |
| теория зависимых типов | dependent type theory (Alex_Odeychuk) |
| теория и методы | theory and techniques (ssn) |
| теория и методы структурного программирования | theory and techniques of structured programming (ssn) |
| теория и практика | art and science (ssn) |
| теория и практика автоматического управления | theory and practice of automatic control (ssn) |
| теория и практика вычислительных машин и систем | computer science (ssn) |
| теория и практика программной инженерии | art and science of software engineering (ssn) |
| теория и практика управления | control theory and practice (ssn) |
| теория информационных систем | information system theory (ssn) |
| теория квантовых алгоритмов | theory of quantum algorithms (singularityhub.com Alex_Odeychuk) |
| теория клеточных автоматов | cellular automata theory (ssn) |
| теория кодирования с исправлением ошибок | ECC theory (ssn) |
| теория комплектности ресурсов | resource set theory (ssn) |
| теория комплектов | bag theory (является обобщением теории множеств ssn) |
| теория конечных автоматов | finite automata theory (ssn) |
| теория конечных автоматов | theory of finite-state machines (ssn) |
| теория множества форм отрицания | theory of multiple forms of negation (апробированная в языках логического программирования Alex_Odeychuk) |
| теория моделирования | simulation theory (ssn) |
| теория монотонных расписаний | RMS theory (ssn) |
| теория нейронных сетей | neural net theory (ssn) |
| теория неразрешимости | theory of intractability (ssn) |
| теория нечёткого событийного программирования | fuzzy DCP theory (ssn) |
| теория нечёткого событийного программирования | fuzzy dependent-chance programming theory (ssn) |
| теория нечёткой логики | possibility theory (ssn) |
| теория ограничений | constraints theory (ssn) |
| теория операционных систем | Operating System Theory (Jasmine_Hopeford) |
| теория операционных систем | Theory of Operating Systems (учебный предмет Jasmine_Hopeford) |
| теория, описывающая поведение сложных систем | complexity theory (ssn) |
| теория оптимального поиска | optimum search theory (ssn) |
| теория оптимизации систем автоматического управления | automatic control systems optimization theory (ssn) |
| теория передачи информации | theory of communication (ssn) |
| теория планирования | scheduling theory (ssn) |
| теория планирования в реальном времени | real-time scheduling theory (ssn) |
| теория планируемости | schedulability theory (задач ssn) |
| теория потребности в ресурсах | resource requirements theory (ssn) |
| теория правильности | theory of correctness (программ ssn) |
| теория предельной полезности | boundary utility theory (ssn) |
| теория предметной области | domain theory (ssn) |
| теория разновидностей | exemplar view (ssn) |
| теория разработки ПО | software programming theory (ssn) |
| теория разработки программного обеспечения | software programming theory (ssn) |
| теория расписаний | sequencing and scheduling (ssn) |
| теория реализации для класса динамических систем | realization theory for the class of dynamical systems (ssn) |
| теория рекурсивных функций | recursion theory (ssn) |
| теория рекурсии | recursion theory (ssn) |
| теория решений | decision theory (ssn) |
| теория связи | theory of communication (ssn) |
| теория связи асинхронных компонент вычислительной системы | theory of communication between asynchronous components of a computer system (ssn) |
| теория сетей Петри | Petri net theory (ssn) |
| теория сетей Петри и моделирование систем | Petri net theory and the modeling of systems (ssn) |
| теория сложности вычислений | computational complexity theory (математическая дисциплина, изучающая различные вычислительные алгоритмы с целью определить, сколько шагов, времени и какой объём памяти требуется для их реализации. Обычно сложность задачи определяется количеством операций, необходимых для её решения ssn) |
| теория сложности вычислений | complexity theory (математическая дисциплина, изучающая различные вычислительные алгоритмы с целью определить, сколько шагов, времени и какой объём памяти требуется для их реализации. Обычно сложность задачи определяется количеством операций, необходимых для её решения. Широко используется в криптографии ssn) |
| теория терминологии | theory of terminology (ssn) |
| теория тестирования приложений | theory of application testing (Saeed L. et al. Pro Cloud Native Java EE Apps: DevOps with MicroProfile, Jakarta EE 10 APIs, and Kubernetes, 2022 Alex_Odeychuk) |
| теория типов | data-type theory (Microsoft Alex_Odeychuk) |
| теория типов данных | data-type theory (Microsoft Alex_Odeychuk) |
| теория управления | control engineering (ssn) |
| теория языков программирования | programming language theory (ssn) |
| теория языков простого предшествования | theory of simple precedence languages (синтаксический анализ, перевод и компиляция ssn) |
| ткань теории разработки программного обеспечения | fabric of software programming theory (её образуют элементарные шаблоны проектирования ssn) |
| унифицированный характер этой теории представляет несомненную ценность | unifying nature of this theory is of apparent value (ssn) |
| учёный, работающий в области теории вычислительных машин и систем | computer scientist (ssn) |
| формальная теория тестирования | formal theory of testing (в программировании ssn) |
| чистая теория сетей Петри | pure Petri net theory (ssn) |
