| English | Russian |
| abusing short-circuit logic | злоупотребление упрощённой логикой (ssn) |
| action logic | логика действий (ssn) |
| action logic system | активизирующая логическая система (ssn) |
| all of the logic for the behavior | вся логика поведения (ssn) |
| alternating-time temporal logic | логика альтернированного времени (ssn) |
| ancillary logic | вспомогательная логика (ssn) |
| appeal to logic | обращение к логике (ssn) |
| application logic | законы и формы правильного мышления в производстве (ssn) |
| application logic | прикладная логика (ssn) |
| application logic | производственная логика (ssn) |
| application logic classes | классы прикладной логики (в ООП данная категория (в UML – стереотип) представляет собой классы, выполняющие задачи по организации прикладной логики ssn) |
| application logic classes and objects | классы и объекты прикладной логики (см. Software Modeling and Design by Hassan Gomaa ssn) |
| application logic object | объект прикладной логики (объект, скрывающий детали логики приложения и отделяющий её от обрабатываемых данных ssn) |
| application logic objects | объекты прикладной логики (см. Designing Concurrent, Distributed, and Real-Time Applications with UML by Hassan Gomaa ssn) |
| application logic that processes events | логика приложения, обрабатывающего события (ssn) |
| applications of logic programming | применение логического программирования (ssn) |
| application-specific business logic | логика предметной области конкретного приложения (Alex_Odeychuk) |
| arithmetic and logic operations to be performed | подлежащие выполнению арифметические и логические операции (ssn) |
| assigns the result of a logic operation to a device | назначение устройству результата логической операции (ssn) |
| Association for Logic Programming | Ассоциация логического программирования (Alex_Odeychuk) |
| asynchronous logic | асинхронный алгоритм (Alex_Odeychuk) |
| asynchronous logic | асинхронный код (Alex_Odeychuk) |
| asynchronous logic | асинхронная логика (ssn) |
| atomic logic | атомарная логика (Skeet J., Lelek T. Software Mistakes and Tradeoffs, 2022 Alex_Odeychuk) |
| automated parallelization of logic programs | автораспараллеливание логических программ (Alex_Odeychuk) |
| basic digital logic circuits | основные цифровые логические схемы (ssn) |
| basic needs of formal logic | основные задачи формальной логики (ssn) |
| be coding the business logic for a new application | разрабатывать код слоя предметной области нового приложения (англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| behavior logic | логика поведения (ssn) |
| binary logic | бивалентная логика (ssn) |
| binary logic operation | двоичная логическая операция (ssn) |
| binary logic operations | двоичные логические операции (ssn) |
| bit-slice logic | разрядно-модульная логика (ssn) |
| bottom-up logic programming language | язык логического программирования с индуктивным выводом (Alex_Odeychuk) |
| branching logic | логика условного перехода (ssn) |
| branching logic | условная логика (ssn) |
| branching-time logic | логика ветвящегося времени (ssn) |
| business logic | код уровня предметной области (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| business logic | уровень предметной области (один из уровней приложения; англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| business logic | программный код, реализующий функциональность приложения (ssn) |
| business logic | алгоритмы предметной области (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| cache logic | кэш-логика (в виртуальных логических схемах ssn) |
| check for correct operation by introducing in turn a logic "0" and a logic "1" | необходимо проверять корректность работы с помощью поочерёдной подачи логических "0" и "1" (ssn) |
| clocked logic | тактируемые логические схемы (ssn) |
| clocked logic | логические схемы, работающие в синхронном режиме (ssn) |
| clockless logic | самотактируемая логика (интегральные микросхемы, работа которых синхронизуется не общим внешним тактовым генератором, а их собственным, внутренним. Syn: clockless circuit, clockless device, self-timed chip. Ant: clocked device ssn) |
| clockless logic | асинхронная логика (ssn) |
| coalition logic | коалиционная логика (Паули ssn) |
| combination logic | логическая схема без запоминания (ssn) |
| combination logic | логическая схема, выходное состояние которой определяется текущим входным состоянием (ssn) |
| combination logic | комбинационные логические блоки (ssn) |
| combination logic | логическая схема без памяти (ssn) |
| combination logic | комбинационная логическая схема (ssn) |
| combination logic | комбинационная логика (ssn) |
| combinational and event-driven logic | комбинаторная и событийно-управляемая логика (ssn) |
| combinational logic | элементы комбинационной логики (ssn) |
| combinational logic circuit | комбинационная логическая схема (ssn) |
| combinational logic circuit | КЛС (ssn) |
| combinational logic circuits | комбинационные логические схемы (ssn) |
| Combinational logic circuits, described earlier, have the property that the output of a logic block is only a function of the current input values, assuming that enough time has elapsed for the logic gates to settle | как обсуждалось ранее, комбинационные логические схемы обладают следующим свойством: выход логического блока является функцией только текущих входных значений, при этом предполагается, что прошло достаточно времени для установления режима логического элемента (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003 ssn) |
| combinational logic function | комбинационная логическая функция (ssn) |
| combinatorial logic of a function block | комбинаторная логика функционального блока (ssn) |
| committed logic array | коммутированная логическая матрица (ssn) |
| common logic | общая логика (sega_tarasov) |
| communication based on logic tuples | взаимодействие на основе логических кортежей (Alex_Odeychuk) |
| compensation logic | обратная логика (Бриз) |
| compensation logic | компенсаторная логика (Бриз) |
| complete overview of the current state of the controller logic | полный обзор текущего состояния логики управления (ssn) |
| completeness in propositional logic | полнота в логике высказываний (ssn) |
| complex programmable logic device | СПЛИС (ssn) |
| complex programmable logic device | сложная программируемая логическая ИС (ssn) |
| complex programmable logic device | сложное устройство с программируемой логикой (технология, разработанная фирмой Xilinx; разновидность ПЛУ (PLD) ssn) |
| complex programmable logic device | сложная программируемая логическая интегральная схема (на основе использования базовых программируемых логических матриц типа PAL и PLA с программируемой матрицей соединений между ними ssn) |
| computation tree logic | логика деревьев вычислений (сокр. CTL ssn) |
| computational tree logic | логика ветвящегося времени (ssn) |
| computer logic | компьютерные логические схемы (ssn) |
| computer logic | компьютерная логика (ssn) |
| conative logic | конативная логика (логика для описания желаний и целей агента ssn) |
| concept of a logic signal | понятие логического сигнала (ssn) |
| concurrent object's internal logic | внутренний алгоритм работы параллельного объекта (ssn) |
| conditional logic | логика условного перехода (ssn) |
| conditional rendering logic | логика условной визуализации (Alex_Odeychuk) |
| conditional rendering logic | логика условной отрисовки (Alex_Odeychuk) |
| constraint logic language | язык логического программирования в ограничениях (Alex_Odeychuk) |
| constraint logic programming language | язык логического программирования в ограничениях (в языке логического программирования в ограничениях машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т.п. Alex_Odeychuk) |
| constraint-based logic programming language | язык логического программирования в ограничениях (Alex_Odeychuk) |
| contain the business logic | содержать код уровня предметной области (англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| contain the business logic | содержать алгоритмы предметной области (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| contextual logic | контекстуальная логика (ssn) |
| controller logic | алгоритм, реализуемый контроллером (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| controller logic | алгоритм управления (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
| controller logic | логика управления (внутри приложения ssn) |
| core business logic | основной код слоя предметной области (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| core business logic code | основной код слоя предметной области (Alex_Odeychuk) |
| core business logic layer | основной код слоя предметной области (англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| core logic | логика ядра (ssn) |
| core logic | основной код слоя предметной области (англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| core logic chip set | набор микросхем основной логики (ssn) |
| core logic chipset | набор микросхем основной логики (ssn) |
| core logic chip-set | набор микросхем основной логики (ssn) |
| core logic code | основной код слоя предметной области (Alex_Odeychuk) |
| correlation logic | логика корреляции (ssn) |
| counter initialization logic | логика инициализации счётчика (ssn) |
| crisp logic | дискретная логика (ssn) |
| crisp logic | традиционная логика (в отличие от нечёткой (fuzzy logic) ssn) |
| critical section: The section of a concurrent object's internal logic that is mutually exclusive | критическая секция: участок внутреннего алгоритма работы объекта, требующий взаимного исключения (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa ssn) |
| current state of the controller logic | текущее состояние логики управления (ssn) |
| data access layer: A way of keeping data access logic from permeating the application code by putting it into a separate component that encapsulates the database | уровень доступа к данным: способ отделения логики доступа к данным от кода приложения путём помещения кода в отдельный компонент, скрывающий функции работы с базой данных (см. "XUnit test patterns: refactoring test code" by Gerard Meszaros 2007 ssn) |
| data access logic | алгоритм доступа к данным (англ. термин взят из кн.: Ottinger J.B., Minter D., Linwood J. Beginning Hibernate. – Apress, 2014. – 223 р. Alex_Odeychuk) |
| data access logic | логика доступа к данным (ssn) |
| data fetching logic | логика выборки данных (Alex_Odeychuk) |
| data fetching logic | код выборки данных (Alex_Odeychuk) |
| data flow methods and data logic tables | методы потоков данных и логических таблиц данных (ssn) |
| data logic table | логическая таблица данных (ssn) |
| data logic tables | логические таблицы данных (ssn) |
| database application logic | логика СУБД-приложения (ssn) |
| database logic | логика доступа к данным (ssn) |
| database logic | логика обработки данных (напр., в распределенных БД – это часть кода приложения, которая связана с обработкой данных внутри приложения ssn) |
| decision logic | логика принятия решений (Alex_Odeychuk) |
| delivery logic | алгоритм доставки (ssn) |
| dependency checking logic | схемы проверки зависимости по данным (в векторных и конвейерных процессорах перед распараллеливанием исполнения выполняется аппаратная проверка операндов команд на зависимость от предыдущих операций ssn) |
| design of testable logic circuits | проектирование тестопригодных логических схем (представлено в книге Р.Дж. Беннеттса ssn) |
| designing sequential logic circuits | разработка последовательностных логических схем (ssn) |
| details of the application logic | детали логики приложения (ssn) |
| detect logic errors | выявлять логические ошибки (such as assigning to a variable that is never subsequently referenced or testing a condition that always evaluates to the same true or false value; корпорации AdaCore Alex_Odeychuk) |
| digital logic level | цифровой логический уровень (ssn) |
| digital logic simulation and test generation system | система моделирования и построения тестов для ЦУ (цифровых устройств ssn) |
| discrete logic gate | дискретный логический элемент (ssn) |
| distributed logic | логика системы распределённого управления (ssn) |
| distributed logic computer | компьютер с распределённой логикой (ssn) |
| DNA logic | ДНК-логика (область науки, изучающая возможности соединения ДНК-молекул в различных комбинациях. В 1994 г. Л. Эйдлман (Университет Южной Калифорнии) предложил идею использования ДНК-логики в вычислительных системах – ДНК-компьютинга [DNA computing], оперирующего сочетаниями не двух величине (ноль и единица), а четырёх базовых состояний ДНК (А, Г, Т, Ц). Реализация ДНК-логики в вычислительной среде может существенно повысить производительность аппаратных средств при их малых объёмах и весьма низком потреблении энергии ssn) |
| domain logic | бизнес-логика (ssn) |
| domain logic layer | уровень логики предметной области (Alex_Odeychuk) |
| domain logic patterns | представление бизнес-логики (см. "Patterns of Enterprise Application Architecture" by Martin Fowler 2002 ssn) |
| double-railed logic | парафазная логика (ssn) |
| encapsulated computation logic | инкапсулированная логика вычислений (baeldung.com Alex_Odeychuk) |
| epistemic logic | логика познания (ssn) |
| equivalent logic format | эквивалентный логический формат (ssn) |
| equivalent logic formats | эквивалентные логические форматы (ssn) |
| event log import logic | логика импорта журнала событий (Alex_Odeychuk) |
| event processing logic | логика обработки событий (ssn) |
| event sequencing logic | логика упорядочения событий (ssn) |
| event-driven logic | событийно-управляемая логика (ssn) |
| excitation logic | входная комбинационная схема (при представлении последовательностной схемы моделью Хаффмена ssn) |
| excitation logic | логика возбуждения (в конечном автомате ssn) |
| executing the control logic in the program | выполнение логики управления в программе (ssn) |
| execution logic | логика исполнения (ssn) |
| execution of logic | выполнение кода (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| execution of logic | выполнение алгоритмов (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| execution of logic | выполнение алгоритма (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| execution of logic program | исполнение логической программы (ssn) |
| execution of logic program | выполнение логической программы (ssn) |
| external cancellation logic | внешняя логика отмены (Alex_Odeychuk) |
| external function block logic | представительная логика функционального блока (ssn) |
| external function block logic | внешняя логика функционального блока (ssn) |
| external IEC 61499 function block logic | представительная логика функционального блока IEC 61499 (ssn) |
| external IEC 61499 function block logic | внешняя логика функционального блока IEC 61499 (ssn) |
| external logic | представительная логика (ssn) |
| family of logic programming languages | семейство языков логического программирования (Alex_Odeychuk) |
| filtering logic | логика фильтрации данных (Alex_Odeychuk) |
| for example, the DEC Alpha EV6 microprocessor has a maximum logic depth of 12 gates | Например, максимальная глубина логики микропроцессора DEC Alpha EV6 равна 12 логическим элементам (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
| form of logic notation | форма логических обозначений (ssn) |
| forward-chaining logic programming language | язык логического программирования с индуктивным выводом (Alex_Odeychuk) |
| forward-working logic | прямая логика (в отл. от обратной логики,т.е. компенсаторной (compensation logic) Бриз) |
| function block combinatorial logic | комбинаторная логика функционального блока (ssn) |
| function block external logic | представительная логика функционального блока (ssn) |
| function block external logic | внешняя логика функционального блока (ssn) |
| function block internal logic | внутренняя логика функционального блока (ssn) |
| function block logic | логика функционального блока (ssn) |
| function for business logic | функция для реализации логики предметной области (Alex_Odeychuk) |
| functional-logic programming | функционально-логическое программирование (Alex_Odeychuk) |
| function's internal logic | внутренняя логика функции (ssn) |
| function's logic | логика функции (ssn) |
| fundamental goal of logic programming | основная цель логического программирования (ssn) |
| fuzzy logic programming | нечётко-логическое программирование (Alex_Odeychuk) |
| general purpose logic programming language | язык логического программирования общего назначения (Alex_Odeychuk) |
| general structure of logic program | общая структура логической программы (ssn) |
| ground logic controller | наземный логический контроллер (ssn) |
| hardware logic system | аппаратная логическая система (в отличие от программной ssn) |
| hardware logic system | аппаратно реализованная логическая система (в отличие от программной ssn) |
| hardware logic systems | аппаратные логические системы (ssn) |
| hardware logic testing | тестирование аппаратной логики (ssn) |
| hardwired logic | аппаратная логика (ssn) |
| hardwired logic | жёстко закодированная логика (ssn) |
| hazard interlock logic | логическая схема для взаимоблокировки (ssn) |
| hazard interlock logic | логическая схема для защитной блокировки (ssn) |
| hazard interlock logic | логика взаимоблокировки (ssn) |
| hazard interlock logic | логика защитной блокировки (в конвейерных (многоконвейерных) и VLIW-системах – аппаратные средства, которые обеспечивают параллельное и одновременное бесконфликтное выполнение многих операций (команд и этапов команд). Syn: safety interlock logic ssn) |
| high-level language based on predicate logic | высокоуровневый язык программирования, основанный на логике предикатов (Alex_Odeychuk) |
| high-performance logic programming | высокопроизводительное логическое программирование (Alex_Odeychuk) |
| high-performance logic programming language | язык высокопроизводительного логического программирования (Alex_Odeychuk) |
| Hoare logic | логика Хоара (научная основа для конструирования корректных программ, используется для определения и разработки языков программирования ssn) |
| Hoare logic | хоаровская логика (формализм для частичного доказательства правильности программ ssn) |
| Horn clause logic | логика на базе дизъюнктов Хорна (ssn) |
| Horn clause logic | логика хорновских дизъюнктов (ssn) |
| Horn clause logic | логика Хорна (логическое программирование ssn) |
| IEC 61131-3 compatible programmable logic controller | совместимый с МЭК 61131-3 программируемый логический контроллер (ssn) |
| IEC 61499 function block logic | логика функционального блока IEC 61499 (ssn) |
| IEC61131-3-compatible programmable logic controller | совместимый с МЭК 61131-3 программируемый логический контроллер (ssn) |
| implementation of a logic constraint mechanism | реализация механизма выполнения кода на языке программирования в ограничениях (Alex_Odeychuk) |
| implementation of business logic | реализация классов предметной области (Alex_Odeychuk) |
| in terms of execution logic | с точки зрения логики исполнения (ssn) |
| in terms of mathematical logic | в терминах математической логики (ssn) |
| in the context of logic programming | в логическом программировании (Alex_Odeychuk) |
| indicator logics | индикаторная логика (ssn) |
| inductive logic programming | индуктивное логическое программирование (Alex_Odeychuk) |
| initialization logic | алгоритм инициализации (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2 Alex_Odeychuk) |
| interconnection logic | связующие логические схемы (ssn) |
| interconnection logic | связующая логика (ssn) |
| internal function block logic | внутренняя логика функционального блока (ssn) |
| internal IEC 61499 function block logic | внутренняя логика функционального блока IEC 61499 (ssn) |
| internal logic | внутренний алгоритм (работы; объекта ssn) |
| internal logic of function | внутренняя логика функции (ssn) |
| internal logic of function block | внутренняя логика функционального блока (ssn) |
| internal logic of the function or function block | внутренняя логика функции или функционального блока (ssn) |
| interrupt control logic | логика управления прерываниями (ssn) |
| inverse logic | обратная логика (ssn) |
| invoke post-processing logic | выполнять алгоритм последующей обработки данных (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| invoke preprocessing logic | выполнять алгоритм предварительной обработки данных (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| job scheduling logic | логика планирования заданий (Alex_Odeychuk) |
| ladder logic | программа релейной логики (ssn) |
| ladder logic design | проектирование многоступенчатой логики (ssn) |
| ladder logic programming | программирование цепочечной логики (ssn) |
| ladder logic programming | программирование многозвенной логики (ssn) |
| ladder logic programming | программирование многоступенчатой логики (ssn) |
| language of propositional logic | язык логики высказываний (ssn) |
| layout logic | логика макета (ssn) |
| linear temporal logic | темпоральная логика линейного времени (сокр. LTL ssn) |
| linear temporal logic | линейная темпоральная логика (сокр. LTL ssn) |
| linear temporal logic | логика линейного времени (ssn) |
| linear time logic | логика линейного времени (ssn) |
| linear-time logic | логика линейного времени (ssn) |
| logic against program flow | логика программы выстроена против направления прогона (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn) |
| logic analyser | анализатор логики (ssn) |
| logic and control components | логическая и управляющая компоненты (ssn) |
| logic array device | устройство с логической матрицей (ssn) |
| logic-based agent programming | логическое агентно-ориентированное программирование (Alex_Odeychuk) |
| logic-based agent programming language | язык логического агентно-ориентированного программирования (Alex_Odeychuk) |
| logic-based development framework | платформа разработки логических программ (Alex_Odeychuk) |
| logic-based language | язык логического программирования (Alex_Odeychuk) |
| logic-based language | язык программирования, основанный на логике (Alex_Odeychuk) |
| logic-based program | логическая программа (Alex_Odeychuk) |
| logic-based program development | разработка логические программ (на языке с поддержкой парадигмы логического программирования Alex_Odeychuk) |
| logic-based program synthesis and transformation | проектирование и перепроектирование логических программ (Alex_Odeychuk) |
| logic-based programming environment | среда логического программирования (Alex_Odeychuk) |
| logic-based syntax | синтаксис языка логического программирования (контекстуальный перевод на русс. язык Alex_Odeychuk) |
| logic behind the switching | логика переключения (ssn) |
| logic behind the switching and the resultant actions | логика переключения и результирующих действий (ssn) |
| logic blocks | логические блоки (ssn) |
| logic board | логическая плата (ssn) |
| logic bomb | логическая "бомба" (в программе; код, тайно вставленный в приложение или операционную систему, вызывающий выполнение деструктивных действий при совпадении некоторых условий или в установленное время ssn) |
| logic chain | логическая цепочка (ssn) |
| logic checker | инструмент проверки логических аннотаций (в коде на языке программирования Java Alex_Odeychuk) |
| logic chip | логическая микросхема (ssn) |
| logic circuits | логические схемы (ssn) |
| logic connective | логическая связка (ssn) |
| logic constraint mechanism | механизм выполнения кода на языке программирования в ограничениях (Alex_Odeychuk) |
| logic control | логическое управление (управление, при котором управляющие воздействия вырабатываются только путем логических преобразований координат системы управления. См. Теория управления. Терминология. Вып. 107. М.: Наука, 1988 ssn) |
| logic control circuit | логическая схема управления (ssn) |
| logic control structure | логическая управляющая конструкция (программы ssn) |
| logic control structure | логическая управляющая структура (ssn) |
| logic control system | система логического управления (ssn) |
| logic control systems | системы логического управления (ssn) |
| logic-coverage | покрытие логики (ssn) |
| logic-coverage testing | тестирование по исходным текстам (ssn) |
| logic coverage testing | тестирование покрытия логики (Alex_Odeychuk) |
| logic-coverage testing | тестирование по исходным текстам программы (ssn) |
| logic-coverage testing | тестирование покрытия логики (см. Standard glossary of terms used in Software Testing ssn) |
| logic database | логическая база данных (ssn) |
| logic depth | глубина логики (ssn) |
| logic device | логическая ИС (ssn) |
| logic device | логическая интегральная схема (ssn) |
| logic diagram | принципиальная схема (конечного автомата ssn) |
| logic diagram for a clocked synchronous state machine | принципиальная схема тактируемого синхронного конечного автомата (ssn) |
| logic-driven testing | тестирование, основанное на логике (см. Standard glossary of terms used in Software Testing ssn) |
| logic error | смысловая ошибка (тж. логическая ошибка; ошибка в алгоритме, заставляющая программу вести себя не так, как от неё требуется, вычислять неправильный результат (incorrect result), но обычно не вызывающая появления сообщения об ошибке или прекращения выполнения программы, в отличие от физических ошибок (physical error), связанных со сбоями аппаратуры ssn) |
| logic for event, guard, and procedure | логическая схема события, защиты и процедуры (ssn) |
| logic for handling interruptions | логика обработки прерываний (Alex_Odeychuk) |
| logic for the behavior | логика поведения (ssn) |
| logic formats | логические форматы (ssn) |
| logic formulation | логическая формулировка (ssn) |
| logic formulation of databases | логическая формулировка баз данных (ssn) |
| logic-function | функционально-логический (ssn) |
| logic-function diagram | функционально-логическая схема (функциональная схема, в которой используются преимущественно символы элементов двоичной логики ssn) |
| logic functions | логические функции (ssn) |
| logic gates | логические элементы (ssn) |
| logic gates | логические вентили (ssn) |
| logic gates to settle | установление режима логического элемента (ssn) |
| logic goal | логическая цель (Alex_Odeychuk) |
| logic input device | логическое устройство ввода (является обобщением одного или более физических устройств и служит для передачи в программу значений логического ввода. Чтобы использовать широкий спектр оборудования на уровне, не зависящем от устройств, характеристики физических устройств ввода различного типа отображаются на логические устройства ввода ssn) |
| logic instruction | логическая инструкция (ssn) |
| logic integration | логическая интеграция (ssn) |
| logic modeling | логическое моделирование (ssn) |
| logic negation | логическая инверсия (ssn) |
| logic negation | логическое отрицание (ssn) |
| logic notation | логические обозначения (ssn) |
| logic object-oriented programming | логическое объектно-ориентированное программирование (Alex_Odeychuk) |
| logic of a task | логика задачи (ssn) |
| logic of function | логика функции (ssn) |
| logic of function block | логика функционального блока (ssn) |
| logic of programming | логика программирования (Alex_Odeychuk) |
| logic of the program | логика исполнения программы (ssn) |
| logic of the program | логика программы (ssn) |
| logic of the purposes | целеполагание (ssn) |
| logic-oriented application | приложение, разработанное на языке логического программирования (Alex_Odeychuk) |
| logic partitioning | разбиение на логические блоки (ssn) |
| logic primitive | базовая логическая функция (ssn) |
| logic program example for consecutivity testing in lists | пример логической программы для нахождения следующего элемента в списке (см. Introduction to logic programming by Ghristopher John Hogger ssn) |
| logic program example for counting and filtering lists | пример логической программы для подсчёта числа различных элементов в списке (см. Introduction to logic programming by Ghristopher John Hogger ssn) |
| logic program example for eigenproblems | пример логической программы для нахождения собственного вектора матрицы (см. Introduction to logic programming by Ghristopher John Hogger ssn) |
| logic program example for factorials | пример логической программы для вычисления факториала (ssn) |
| logic program example for linear search through lists | пример логической программы для линейного поиска в списке (ssn) |
| logic program example for orderliness testing in lists | пример логической программы для проверки упорядоченности списка (ssn) |
| logic program example for pair selection | пример логической программы для выбора пар элементов (ssn) |
| logic program example for palindrome problem | пример логической программы для задачи о палиндроме (ssn) |
| logic program example for path finding | пример логической программы для нахождения путей в графе (ssn) |
| logic program example for peak detection | пример логической программы для обнаружения пика (см. Introduction to logic programming by Ghristopher John Hogger ssn) |
| logic program example for reversing lists | пример логической программы для обращения списков (см. Introduction to logic programming by Ghristopher John Hogger ssn) |
| logic program example for square root estimation | пример логической программы для вычисления квадратного корня (ssn) |
| logic program example for subset problem | пример логической программы для задачи о подмножествах (ssn) |
| logic program example for substring searching | пример логической программы для поиска подстроки (см. Introduction to logic programming by Ghristopher John Hogger ssn) |
| logic program examples | примеры логических программ (ssn) |
| logic programmer | программист логических программ (art_fortius) |
| logic programming framework | платформа логического программирования (Alex_Odeychuk) |
| logic programming language | язык логического программирования (ssn) |
| logic programming languages | языки логического программирования (ssn) |
| logic programming model | модель логического программирования (Alex_Odeychuk) |
| logic programming of multi-agent systems | логическое программирование многоагентных систем (Alex_Odeychuk) |
| logic programming paradigm | парадигма логического программирования (Prolog itself has a steeper learning curve than many other languages, and its logic programming paradigm can be challenging for developers accustomed to procedural or object-oriented languages. Alex_Odeychuk) |
| logic programming propositions | высказывания логического программирования (ssn) |
| logic programming system | система логического программирования (Alex_Odeychuk) |
| logic schema | логическая схема (ssn) |
| logic schema | семантическая схема (напр., базы данных ssn) |
| logic schema | концептуальная схема (напр., базы данных ssn) |
| logic semantics | логическая семантика (ssn) |
| logic sensitization | логическая активизация (ssn) |
| logic structure of a program | логическая структура программы (ssn) |
| logic style | стиль логики (ssn) |
| logic style for pipelined structures | стиль логики конвейерных структур (ssn) |
| logic symbols | логические символы (ssn) |
| logic synthesizer | синтезатор логики (ssn) |
| logic system | логическая система (часть системы, выполняющая логические функции, исключая датчики и оконечные элементы – см. IEC 61508-4 и ГОСТ Р МЭК 61508-4-2007 ssn) |
| logic that manages an object's state | логика, управляющая состоянием объекта (ssn) |
| logic timing | временная диаграмма логических сигналов (ssn) |
| logic to configure output processing | логика для конфигурирования обработки вывода (ssn) |
| logic tuple space | пространство логических кортежей (Alex_Odeychuk) |
| logic value | логическое значение (ssn) |
| logic values | логические значения (ssn) |
| logic values and noise margin | логические значения и запас помехоустойчивости (ssn) |
| logic with program flow | логика программы совпадает с направлением прогона (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn) |
| Logic Wizard | Мастер логики (ssn) |
| main code logic | логика предметной области (Alex_Odeychuk) |
| major feature of programmable logic controllers | главная особенность ПЛК (ssn) |
| major feature of programmable logic controllers | главная особенность программируемых логических контроллеров (ssn) |
| malicious logic | программная закладка (преднамеренно внесенные в программное обеспечение функциональные объекты, которые при определенных условиях инициируют реализацию недекларированных возможностей программного обеспечения. См. Р 50.1.053-2005 ssn) |
| malicious logic | злоумышленный логический блок (нацеленный на выполнение несанкционированных действий ssn) |
| many rungs of ladder logic | программа релейной логики, состоящая из многих цепей (ssn) |
| many-sorted logic with parametric polymorphism | многосортная логика с параметрическим полиморфизмом (University of Melbourne, Австралия Alex_Odeychuk) |
| maximum logic depth | максимальная глубина логики (ssn) |
| methods of logic design | методы логического проектирования (ssn) |
| mocking logic | структура алгоритма заглушки (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| mocking logic | код заглушки (англ. термин взят из кн.: De Sanctis V. ASP.NET Core and Angular 2; контекстуальный перевод на русс. язык Alex_Odeychuk) |
| multiple valued logic | многозначная логика (ssn) |
| nested logic | вложенная логика (ssn) |
| next state logic | логика переходов (ssn) |
| non-concurrent constraint logic programming | последовательное логическое программирование в ограничениях (Alex_Odeychuk) |
| non-standard logic | нестандартная логика (ssn) |
| object that hides the details of the application logic | объект, скрывающий детали логики приложения (ssn) |
| object-oriented logic programming | объектно-ориентированное логическое программирование (Alex_Odeychuk) |
| object-oriented logic programming language | язык объектно-ориентированного логического программирования (Alex_Odeychuk) |
| objects in logic programming propositions | объекты в высказываниях логического программирования (ssn) |
| offline simulation of the logic | автономное моделирование логики (ssn) |
| optimized hardware logic | оптимизированная аппаратная логика (ssn) |
| order and group the PLC program ladder logic | упорядочение и группировка многоступенчатой логики программы ПЛК (ssn) |
| order and group the PLC program ladder logic to maximize its modularity with respect to the functions required | упорядочение и группировка многоступенчатой логики программы ПЛК для максимального увеличения модульности требуемых функций (ssn) |
| organization and logic | организация и логика (программы ssn) |
| organization of logic that manages an object's state | организация логики, управляющей состоянием объекта (ssn) |
| organizing domain logic | организация бизнес-логики (ssn) |
| output of a logic block | выход логического блока (ssn) |
| overview of logic programming | обзор логического программирования (ssn) |
| parallel and distributed logic programming | параллельное и распределённое логическое программирование (Alex_Odeychuk) |
| parsing logic | логика синтаксического анализа (ssn) |
| performing an arithmetic or logic operation | выполнение арифметической или логической операции (ssn) |
| persistence logic | слой хранения данных (обеспечивает физическое хранение, добавление, модификацию и выборку данных; англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| perspectives for logic programming | перспективы логического программирования (Alex_Odeychuk) |
| PLC program ladder logic | многоступенчатая логика программы ПЛК (ssn) |
| post-processing logic | алгоритм последующей обработки данных (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| predicate logic | предикатная логика (ssn) |
| preprocessing logic | алгоритм предварительной обработки данных (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| presentation logic | представительская логика (ssn) |
| presentation logic | презентационная логика (ssn) |
| presentation logic | логика представления (ssn) |
| probabilistic logic | вероятностный логический (Alex_Odeychuk) |
| probabilistic logic programming | вероятностное логическое программирование (Alex_Odeychuk) |
| processor control logic | управляющая логика процессоров (ssn) |
| program logic | алгоритм программы (Alex_Odeychuk) |
| program logic flow | логический поток программы (ssn) |
| program organization and logic | организация и логика программы (ssn) |
| Programmable logic controllers exploit the simplicity of relay logic systems by basing their programming language on a pictorial representation of relay logic, the ladder diagram | ПЛК используют простоту релейных логических систем, базируя свой язык программирования на иллюстрированном представлении логики работы реле в виде многоступенчатой диаграммы (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
| programmed logic | запрограммированная последовательность операций (for ... – чего-либо Alex_Odeychuk) |
| programmed logic circuits | программируемые логические схемы (buraks) |
| programming based on logic | программирование, основанное на логике (напр., на языке Prolog ssn) |
| programming database application logic | программирование логики СУБД-приложения (ssn) |
| Programming in Logic | Пролог |
| Programming in Logic | программирование в логике (Prolog) |
| programming in logic | программирование в терминах логики (Alex_Odeychuk) |
| programming ladder logic | программирование многоступенчатой логики (ssn) |
| programming logic | логика программирования (ssn) |
| project logic | логика проекта (ssn) |
| quantificational logic | предикатная логика (ssn) |
| redrawn logic diagram | перерисованная иначе принципиальная схема (конечного автомата ssn) |
| redrawn logic diagram for a clocked synchronous state machine | перерисованная иначе принципиальная схема тактируемого синхронного конечного автомата (ssn) |
| registers linked by combinational logic | регистры, связанные между собой элементами комбинационной логики (ssn) |
| relay logic system | релейная логическая система (ssn) |
| relay logic systems | релейные логические системы (ssn) |
| required domain logic | необходимая логика предметной области (Alex_Odeychuk) |
| required logic | требуемая логическая схема (ssn) |
| required logics | требуемые логические схемы (ssn) |
| retry logic | код, реализующий повторное выполнение операции (англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| retry logic | код повторного выполнения операции (англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| retry logic with backoff | логика повторов с задержками (Alex_Odeychuk) |
| retry logic with backoff | механизм повторов с задержками (Alex_Odeychuk) |
| retry logic with exponential backoff | логика повторных попыток с экспоненциальной задержкой (Alex_Odeychuk) |
| section of a concurrent object's internal logic | участок внутреннего алгоритма работы параллельного объекта (ssn) |
| semantics of logic programs | семантика логических программ (ssn) |
| sensitizing the model's logic | активизация логики в модели (ssn) |
| separation logic | логика разделения (формальная система, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара Alex_Odeychuk) |
| sequencing logic | логика упорядочения (ssn) |
| sequential logic | логическая схема, выходное состояние которой определяется предыдущим входным состоянием (последовательностная логика ssn) |
| Sequential logic can be either synchronous or asynchronous | Последовательностная логика может быть или синхронной или асинхронной (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World ssn) |
| sequential logic circuit | последовательностная логическая схема (из источника: Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić (2003) • Yet virtually all useful systems require storage of state information, leading to another class of circuits called sequential logic circuits – В настоящее же время практически все полезные системы требуют запоминания информации о состоянии, т.е. требуется другой класс схем, называемых последовательностными логическими схемами ssn) |
| sequential logic circuits | последовательностные логические схемы (из источника: Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić (2003) • Yet virtually all useful systems require storage of state information, leading to another class of circuits called sequential logic circuits – В настоящее же время практически все полезные системы требуют запоминания информации о состоянии, т.е. требуется другой класс схем, называемых последовательностными логическими схемами ssn) |
| sequential logic control | последовательностное логическое управление (ssn) |
| sequential logic device | последовательностное логическое устройство (напр., регистр ssn) |
| sequential logic element | последовательностный логический элемент (ssn) |
| sequential logic element | элемент последовательностной логики (ssn) |
| sequential logic modelling | моделирование последовательностной логики (ssn) |
| sequential logic modelling | моделирование последовательностных логических схем (напр., в Verilog ssn) |
| serial control logic | последовательная логика управления (ssn) |
| server-side logic | логика на серверной стороне (из кн.: Индрасири К., Курупу Д. gRPC: запуск и эксплуатация облачных приложений Go и Java для Docker и Kubernetes Alex_Odeychuk) |
| service integration logic | логика интеграции сервисов (ssn) |
| service integration logic | логика интеграции служб (логика взаимодействия инициаторов запросов и провайдеров на шине служб. Эта логика отвечает за такие функции, как преобразование и дополнение запросов, преобразование транспортных протоколов и автоматическая маршрутизация запросов и ответов. См. глоссарий основных терминов, применяемых в IBM WebSphere Business Services Fabric версии 7.0 ssn) |
| shared logic | логические схемы совместного использования (ssn) |
| shared logic | совместно используемая логика (ssn) |
| short circuit logic | логика короткого замыкания (вычисления прекращаются, как только известен результат BezBashka) |
| short-circuit logic | упрощённая логика (ssn) |
| simplify the logic a bit | немного упростить логику (Alex_Odeychuk) |
| simplifying loops and logic | упрощение цикла и логики (программы ssn) |
| simulation of the logic | моделирование логики (ssn) |
| software logic | логика программы (ssn) |
| some logic errors | некоторые логические ошибки (ssn) |
| special programs in the form of rudimentary logic simulators | специальные программы в виде элементарных систем логического моделирования (ssn) |
| specialized control logic | специализированный алгоритм управления (Alex_Odeychuk) |
| standard logic | двузначная логика (ssn) |
| start-stop logic | логика "пуск-останов" (ssn) |
| stored logic | "зашитая" логика ("зашитый" алгоритм ssn) |
| stored logic | встроенная логика (ssn) |
| strongly-typed constraint logic programming | логическое программирование в ограничениях со строгой типизацией (Microsoft Alex_Odeychuk) |
| symbolic logic | бессодержательная логика (ssn) |
| symbolic logic | формальная логика (ssn) |
| symbolic logic | символьная логика (ssn) |
| synchronize with logic | синхронизировать с логикой (ssn) |
| synchronous logic | синхронная логика (ssn) |
| tabled logic programming | логическое программирование с табулированием (Alex_Odeychuk) |
| tangled logic | запутанная логика (ssn) |
| task event sequencing logic | логика упорядочения событий задачи (ssn) |
| temporal logic | темпоральная логика (ssn) |
| temporal logic for infinite families | темпоральная логика для бесконечных семейств (ssn) |
| temporal logic programming | программирование в терминах темпоральной логики (Alex_Odeychuk) |
| temporal logic programming | темпоральное логическое программирование (Alex_Odeychuk) |
| temporal logics | темпоральные логики (ssn) |
| terms of mathematical logic | термины математической логики (ssn) |
| test the business logic | выполнять тестирование слоя предметной области (слой предметной области реализует совокупность правил и зависимостей поведения объектов предметной области; англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| testable logic circuit | тестопригодная логическая схема (ssn) |
| testable logic circuits | тестопригодные логические схемы (ssn) |
| the organizational structure described in this paper is an adaptation of state transition logic | Организационная структура, описанная в этой книге – адаптация логики переходов состояний (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |
| the surrounding logic and the internal logic of the function or function block | окружающая и внутренняя логика функции или функционального блока (ssn) |
| they can do the work of many rungs of ladder logic with elegant simplicity | они могут простым образом выполнить работу программы релейной логики, состоящей из многих цепей |
| this behavior is very handy but can sometimes be abused to accomplish complex logic | Такое поведение довольно удобно, но иногда им злоупотребляют, пытаясь создать более сложную логику ("The Art of Readable Code" by Dustin Boswell , Trevor Foucher (2012) ssn) |
| this diagram shows a fragment of the transition logic for a task that controls the movement of a materials handling vehicle. The vehicle moves from one position to another, picking up parts in one position and dropping them off at another | эта диаграмма показывает фрагмент логики переходов для задачи, которая управляет перемещением тележки погрузочно-разгрузочных операций. Тележка перемещается от одного положения до другого, принимая детали в одном положении и сваливая их в другом (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |
| token-passing logic | логика с передачей маркера (ssn) |
| transition logic for pulse width modulation | логика переходов для широтно-импульсной модуляции (ssn) |
| transition logic for the level task | логика переходов для задачи с уровнями в резервуарах (ssn) |
| transition logic metaphor | модельное представление логики переходов (ssn) |
| tree logic | ветвящаяся логика (ssn) |
| UI logic | функциональность пользовательского интерфейса (ssn) |
| UI logic | логика пользовательского интерфейса (ssn) |
| unconditional logic | жёсткая логика (без возможностей настройки ssn) |
| understand the logic of programming | понять логику программирования (Alex_Odeychuk) |
| universality of Horn clause logic | универсальность логики хорновских дизъюнктов (ssn) |
| user interface logic | логика пользовательского интерфейса (ssn) |
| user interface logic that generates those events | логика пользовательского интерфейса, извещающего об этих событиях (ssn) |
| user-defined logic | пользовательская логика (Alex_Odeychuk) |
| verification of combinational logic | верификация комбинационных логических схем (ssn) |
| very-low logic depth | очень малая глубина логики (ssn) |
| visual logic | логика зрительного восприятия (предмета через его форму и цвет; характеризует особенности восприятия и зрения человека с учетом оптических иллюзий ssn) |
| visual logic | визуальная логика (ssn) |
| way of keeping data access logic from permeating the application code | способ отделения логики доступа к данным от кода приложения (ssn) |
| without any consideration given to the program logic | без какого-либо учёта логики работы программы (ssn) |
| work of many rungs of ladder logic | работа программы релейной логики, состоящей из многих цепей (ssn) |