| Russian | English |
| автономное моделирование логики | offline simulation of the logic (ssn) |
| адаптация логики переходов состояний | adaptation of state transition logic (ssn) |
| активизация логики в модели | sensitizing the model's logic (ssn) |
| анализатор логики | logic analyser (ssn) |
| аппаратная логика | hardwired logic (ssn) |
| асинхронная логика | clockless logic (ssn) |
| асинхронная логика | asynchronous logic (ssn) |
| атомарная логика | atomic logic (Skeet J., Lelek T. Software Mistakes and Tradeoffs, 2022 Alex_Odeychuk) |
| без какого-либо учёта логики работы программы | without any consideration given to the program logic (ssn) |
| бессодержательная логика | symbolic logic (ssn) |
| библиотека для программирования на основе аппарата нечёткой логики | fuzzy logic programming library (Alex_Odeychuk) |
| бивалентная логика | binary logic (ssn) |
| бизнес-логика | domain logic (ssn) |
| бизнес-логика конкретного приложения | business-specific application logic (ssn) |
| более сложная логика | complex logic (ssn) |
| боязнь размещать логику в объектах предметной области | anemic domain model (антишаблон проектирования Alex_Odeychuk) |
| в таком Семантическом Вебе связанной информации и логических суждений компьютерная логика является составляющим элементом и может сделать гораздо больше | in such a Semantic Web of relational data and logical assertions, computer logic is in its element, and can do much more (ssn) |
| в терминах математической логики | in terms of mathematical logic (ssn) |
| ввод команды функционального блока в программу на языке релейной логики | entering a function block command into the ladder program (ssn) |
| ветвящаяся логика | tree logic (ssn) |
| визуальная логика | visual logic (ssn) |
| вложенная логика | nested logic (ssn) |
| внешняя логика функционального блока | external function block logic (ssn) |
| внешняя логика функционального блока | function block external logic (ssn) |
| внешняя логика функционального блока IEC 61499 | external IEC 61499 function block logic (ssn) |
| внутренняя логика функции | internal logic of function (ssn) |
| внутренняя логика функции | function's internal logic (ssn) |
| внутренняя логика функции или функционального блока | internal logic of the function or function block (ssn) |
| внутренняя логика функционального блока | function block internal logic (ssn) |
| внутренняя логика функционального блока | internal logic of function block (ssn) |
| внутренняя логика функционального блока | internal function block logic (ssn) |
| внутренняя логика функционального блока IEC 61499 | internal IEC 61499 function block logic (ssn) |
| вспомогательная логика | ancillary logic (ssn) |
| встроенная логика | stored logic (ssn) |
| вся логика поведения | all of the logic for the behavior (ssn) |
| выполнение логики управления в программе | executing the control logic in the program (ssn) |
| выполнить условную логику | perform the conditional logic (Alex_Odeychuk) |
| высокоуровневый язык программирования, основанный на логике предикатов | high-level language based on predicate logic (Alex_Odeychuk) |
| вычисления на основе нечёткой логики | fuzzy computing (ssn) |
| глубина логики | logic depth (ssn) |
| двузначная логика | standard logic (ssn) |
| дескриптивная логика | descriptive logic (ssn) |
| дескрипционная логика | description logic (BFRZ) |
| детали логики приложения | details of the application logic (ssn) |
| Диаграммы деятельности – это технология, позволяющая описывать логику процедур, бизнес-процессы и потоки операций. Во многих случаях они напоминают блок-схемы, но принципиальная разница между диаграммами деятельности и нотацией блок-схем заключается в том, что первые поддерживают параллельные процессы | Activity diagrams are a technique to describe procedural logic, business process, and work flow. In many ways, they play a role similar to flowcharts, but the principal difference between them and flowchart notation is that they support parallel behavior (см. "UML Distilled: A Brief Guide to the Standard Object Modeling Language, Third Edition" by Martin Fowler 2003 ssn) |
| Диаграммы деятельности это технология, позволяющая описывать логику процедур, бизнес-процессы и потоки операций. Во многих случаях они напоминают блок-схемы, но принципиальная разница между диаграммами деятельности и нотацией блок-схем заключается в том, что первые поддерживают параллельные процессы | Activity diagrams are a technique to describe procedural logic, business process, and work flow. In many ways, they play a role similar to flowcharts, but the principal difference between them and flowchart notation is that they support parallel behavior (см. "UML Distilled: A Brief Guide to the Standard Object Modeling Language, Third Edition" by Martin Fowler 2003 ssn) |
| дискретная логика | crisp logic (ssn) |
| ДНК-логика | DNA logic (область науки, изучающая возможности соединения ДНК-молекул в различных комбинациях. В 1994 г. Л. Эйдлман (Университет Южной Калифорнии) предложил идею использования ДНК-логики в вычислительных системах – ДНК-компьютинга [DNA computing], оперирующего сочетаниями не двух величине (ноль и единица), а четырёх базовых состояний ДНК (А, Г, Т, Ц). Реализация ДНК-логики в вычислительной среде может существенно повысить производительность аппаратных средств при их малых объёмах и весьма низком потреблении энергии ssn) |
| жёсткая логика | unconditional logic (без возможностей настройки ssn) |
| жёстко закодированная логика | hardwired logic (ssn) |
| запутанная логика | tangled logic (ssn) |
| "зашитая" логика | stored logic ("зашитый" алгоритм ssn) |
| злоупотребление упрощённой логикой | abusing short-circuit logic (ssn) |
| индикаторная логика | indicator logics (ssn) |
| инкапсулированная логика вычислений | encapsulated computation logic (baeldung.com Alex_Odeychuk) |
| интерфейс без связующей логики | glueless interface (соединение между компонентами, не требующее дополнительной логики. Таким образом проектируются современные микропроцессорные наборы ssn) |
| использование логики в рассуждениях и выводах | logical order of thought (ssn) |
| использование логики в рассуждениях и выводах, декомпозиция сложной проблемы на управляемые стадии | a logical order of thought, breaking a large problem into manageable stages (см. IEC 61508-7:2010 ssn) |
| использование формальной логики | use of logic (ssn) |
| использование формальной логики при решении задач | use of logic in problem solving (ssn) |
| кабель со встроенной логикой | intelligent cable (ssn) |
| классы бизнес-логики | business logic classes (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa ssn) |
| классы и объекты прикладной логики | application logic classes and objects (см. Software Modeling and Design by Hassan Gomaa ssn) |
| классы прикладной логики | application logic classes (в ООП данная категория (в UML – стереотип) представляет собой классы, выполняющие задачи по организации прикладной логики ssn) |
| коалиционная логика | coalition logic (Паули ssn) |
| код логики предметной области | code behind (код, который отвечает не за пользовательский интерфейс, а за логику предметной области; Microsoft Alex_Odeychuk) |
| комбинаторная и событийно-управляемая логика | combinational and event-driven logic (ssn) |
| комбинаторная логика функционального блока | function block combinatorial logic (ssn) |
| комбинаторная логика функционального блока | combinatorial logic of a function block (ssn) |
| комбинационная логика | combination logic (ssn) |
| компенсаторная логика | compensation logic (Бриз) |
| компиляция с развитой логикой | smart compilation (Alex_Odeychuk) |
| компьютер с распределённой логикой | distributed logic computer (ssn) |
| компьютерная логика | machine logic (ssn) |
| компьютерная логика | computer logic (ssn) |
| конативная логика | conative logic (логика для описания желаний и целей агента ssn) |
| контекстуальная логика | contextual logic (ssn) |
| кэш-логика | cache logic (в виртуальных логических схемах ssn) |
| линейная темпоральная логика | LTL (ssn) |
| линейная темпоральная логика | linear temporal logic (сокр. LTL ssn) |
| логика альтернированного времени | alternating-time temporal logic (ssn) |
| логика блокировки | interlock logic (служит обычно для предотвращения нештатных ситуаций, напр., в антиблокировочной системе торможения автомобиля; управляемые блокировки применяются также для защиты оборудования и персонала согласно требованиям техники безопасности ssn) |
| логика ветвящегося времени | branching-time logic (ssn) |
| логика ветвящегося времени | computational tree logic (ssn) |
| логика взаимоблокировки | hazard interlock logic (ssn) |
| логика возбуждения | excitation logic (в конечном автомате ssn) |
| логика выборки данных | data fetching logic (Alex_Odeychuk) |
| логика выполнения кода | logic (Alex_Odeychuk) |
| логика действий | action logic (ssn) |
| логика деревьев вычислений | CTL (ssn) |
| логика деревьев вычислений | computation tree logic (сокр. CTL ssn) |
| логика для конфигурирования обработки вывода | logic to configure output processing (ssn) |
| логика доступа к данным | data access logic (ssn) |
| логика доступа к данным | database logic (ssn) |
| логика задачи | logic of a task (ssn) |
| логика защитной блокировки | hazard interlock logic (в конвейерных (многоконвейерных) и VLIW-системах – аппаратные средства, которые обеспечивают параллельное и одновременное бесконфликтное выполнение многих операций (команд и этапов команд). Syn: safety interlock logic ssn) |
| логика зрительного восприятия | visual logic (предмета через его форму и цвет; характеризует особенности восприятия и зрения человека с учетом оптических иллюзий ssn) |
| логика импорта журнала событий | event log import logic (Alex_Odeychuk) |
| логика инициализации счётчика | counter initialization logic (ssn) |
| логика интеграции сервисов | service integration logic (ssn) |
| логика интеграции служб | service integration logic (логика взаимодействия инициаторов запросов и провайдеров на шине служб. Эта логика отвечает за такие функции, как преобразование и дополнение запросов, преобразование транспортных протоколов и автоматическая маршрутизация запросов и ответов. См. глоссарий основных терминов, применяемых в IBM WebSphere Business Services Fabric версии 7.0 ssn) |
| логика исполнения | execution logic (ssn) |
| логика исполнения программы | logic of the program (ssn) |
| логика короткого замыкания | short circuit logic (вычисления прекращаются, как только известен результат BezBashka) |
| логика корреляции | correlation logic (ssn) |
| логика линейного времени | LTL (ssn) |
| логика линейного времени | linear temporal logic (ssn) |
| логика линейного времени | linear-time logic (ssn) |
| логика линейного времени | linear time logic (ssn) |
| логика макета | layout logic (ssn) |
| логика на базе дизъюнктов Хорна | Horn clause logic (ssn) |
| логика на серверной стороне | server-side logic (из кн.: Индрасири К., Курупу Д. gRPC: запуск и эксплуатация облачных приложений Go и Java для Docker и Kubernetes Alex_Odeychuk) |
| логика обработки данных | database logic (напр., в распределенных БД – это часть кода приложения, которая связана с обработкой данных внутри приложения ssn) |
| логика обработки прерываний | logic for handling interruptions (Alex_Odeychuk) |
| логика обработки событий | event processing logic (ssn) |
| логика переключения | logic behind the switching (ssn) |
| логика переключения и результирующих действий | logic behind the switching and the resultant actions (ssn) |
| логика переходов | next state logic (ssn) |
| логика переходов | transition logic (напр., для задачи, которая управляет ssn) |
| логика переходов для задачи с уровнями в резервуарах | transition logic for the level task (ssn) |
| логика переходов для широтно-импульсной модуляции | transition logic for pulse width modulation (ssn) |
| логика переходов состояний | 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 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) |
| логика поведения | logic for the behavior (ssn) |
| логика поведения | behavior logic (ssn) |
| логика познания | epistemic logic (ssn) |
| логика пользовательского интерфейса | user interface logic (ssn) |
| логика пользовательского интерфейса | UI logic (ssn) |
| логика пользовательского интерфейса, извещающего об этих событиях | user interface logic that generates those events (ssn) |
| логика постоянного хранения | persistence layer (уровень приложения, предназначенный для поддержки постоянного хранения данных (объектов) в базе данных; из кн.: Кармайкл Э., Хэйвуд Д. Быстрая и качественная разработка программного обеспечения Alex_Odeychuk) |
| логика предметной области | main code logic (Alex_Odeychuk) |
| логика предметной области конкретного приложения | application-specific business logic (Alex_Odeychuk) |
| логика представления | presentation logic (ssn) |
| логика принятия решений | decision logic (Alex_Odeychuk) |
| логика программирования | logic of programming (Alex_Odeychuk) |
| логика программирования | programming logic (ssn) |
| логика программы | software logic (ssn) |
| логика программы | logic (ssn) |
| логика программы | logic of the program (ssn) |
| логика программы выстроена против направления прогона | logic against program flow (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn) |
| логика программы совпадает с направлением прогона | logic with program flow (см. E.A. Parr Programmable Controllers – An Engineer's Guide ssn) |
| логика проекта | project logic (ssn) |
| логика процедур | procedural logic (ssn) |
| логика "пуск-останов" | start-stop logic (ssn) |
| логика работы с данными | model (Alex_Odeychuk) |
| логика разделения | separation logic (формальная система, применимая к верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара Alex_Odeychuk) |
| логика реализации выборки данных | fetching strategy (англ. термин взят из кн.: Shukla A. Building Web Apps with Spring 5 and Angular Alex_Odeychuk) |
| логика с передачей маркера | token-passing logic (ssn) |
| логика синтаксического анализа | parsing logic (ssn) |
| логика системы распределённого управления | distributed logic (ssn) |
| логика смены состояний | state transition logic (ssn) |
| логика СУБД-приложения | database application logic (ssn) |
| логика упорядочения | sequencing logic (ssn) |
| логика упорядочения событий | event sequencing logic (ssn) |
| логика упорядочения событий задачи | task event sequencing logic (ssn) |
| логика управления | controller logic (внутри приложения ssn) |
| логика управления прерываниями | interrupt control logic (ssn) |
| логика, управляющая состоянием объекта | logic that manages an object's state (ssn) |
| логика условного перехода | conditional logic (ssn) |
| логика условного перехода | branching logic (ssn) |
| логика функции | function's logic (ssn) |
| логика функции | logic of function (ssn) |
| логика функционального блока | function block logic (ssn) |
| логика функционального блока | logic of function block (ssn) |
| логика функционального блока IEC 61499 | IEC 61499 function block logic (ssn) |
| логика Хоара | Hoare logic (научная основа для конструирования корректных программ, используется для определения и разработки языков программирования ssn) |
| логика Хорна | Horn clause logic (логическое программирование ssn) |
| логика хорновских дизъюнктов | Horn clause logic (ssn) |
| логика ядра | corelogic (ssn) |
| логика ядра | core logic (ssn) |
| максимальная глубина логики | maximum logic depth (ssn) |
| Мастер логики | Logic Wizard (ssn) |
| многозначная логика | multiple valued logic (ssn) |
| многосортная логика с параметрическим полиморфизмом | many-sorted logic with parametric polymorphism (University of Melbourne, Австралия Alex_Odeychuk) |
| многоступенчатая логика программы ПЛК | PLC program ladder logic (ssn) |
| моделирование логики | simulation of the logic (ssn) |
| моделирование последовательностной логики | sequential logic modelling (ssn) |
| модельное представление логики переходов | transition logic metaphor (ssn) |
| на рис. 7.1 показана функциональная схема стандартного конечного автомата, состоящего из комбинационной логики и регистров, которые хранят состояние системы | Figure 7.1 shows a block diagram of a generic finite state machine that consists of combinational logic and registers, which hold the system state (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
| набор микросхем основной логики | corelogic chip-set (ssn) |
| набор микросхем основной логики | corelogic chipset (ssn) |
| набор микросхем основной логики | corelogic chip set (ssn) |
| набор микросхем основной логики | core logic chip-set (ssn) |
| набор микросхем основной логики | core logic chipset (ssn) |
| набор микросхем основной логики | core logic chip set (ssn) |
| Например, максимальная глубина логики микропроцессора DEC Alpha EV6 равна 12 логическим элементам | for example, the DEC Alpha EV6 microprocessor has a maximum logic depth of 12 gates (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
| немного упростить логику | simplify the logic a bit (Alex_Odeychuk) |
| необходимая логика предметной области | required domain logic (Alex_Odeychuk) |
| нестандартная логика | non-standard logic (ssn) |
| обратная логика | inverse logic (ssn) |
| обратная логика | compensation logic (Бриз) |
| обращение к логике | appeal to logic (ssn) |
| общая логика | common logic (sega_tarasov) |
| объект бизнес-логики | business logic object (ssn) |
| объект бизнес-логики: объект, инкапсулирующий бизнес-правила бизнес-логику конкретного приложения обработки запроса клиента | business logic object: An object that encapsulates the business rules business-specific application logic for processing a client request (см. Hassan Gomaa: Designing Concurrent, Distributed, and Real-Time Applications with UML ssn) |
| объект прикладной логики | application logic object (объект, скрывающий детали логики приложения и отделяющий её от обрабатываемых данных ssn) |
| объект, скрывающий детали логики приложения | object that hides the details of the application logic (ssn) |
| объекты бизнес-логики | business logic objects (см. Designing Concurrent, Distributed, and Real-Time Applications with UML by Hassan Gomaa ssn) |
| окружающая и внутренняя логика функции или функционального блока | the surrounding logic and the internal logic of the function or function block (ssn) |
| окружающая логика | surrounding logic (внешняя ssn) |
| они могут простым образом выполнить работу программы релейной логики, состоящей из многих цепей | they can do the work of many rungs of ladder logic with elegant simplicity |
| описание управляющей логики процессоров | description of processor control logic (ssn) |
| описательная логика | description logics (sega_tarasov) |
| описательная логика | descriptive logic (ssn) |
| оптимизированная аппаратная логика | optimized hardware logic (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) |
| организация бизнес-логики | organizing domain logic (ssn) |
| организация и логика | organization and logic (программы ssn) |
| организация и логика программы | program organization and logic (ssn) |
| организация логики, управляющей состоянием объекта | organization of logic that manages an object's state (ssn) |
| ориентация на логику | domain driven (подход в программировании, например:  habrahabr.ru bojana) |
| основанный на логике | logic-driven (ssn) |
| основные задачи формальной логики | basic needs of formal logic (ssn) |
| очень малая глубина логики | very-low logic depth (ssn) |
| парафазная логика | double-railed 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) |
| поиск на основе нечёткой логики | fuzzy search (тж. нечёткий поиск; поиск, при котором в список найденных попадают и объекты, не в точности равные искомому, но близкие к нему по какому-то критерию. Позволяет, напр., искать по слову, введённому с ошибкой ssn) |
| поиск с использованием булевой логики и учётом "веса" дескрипторов | weighted boolean (Alex Lilo) |
| покрытие логики | logic-coverage (ssn) |
| полнота в логике высказываний | completeness in propositional logic (ssn) |
| полный обзор текущего состояния логики управления | complete overview of the current state of the controller logic (ssn) |
| пользовательская логика | user-defined logic (Alex_Odeychuk) |
| понять логику программирования | understand the logic of programming (Alex_Odeychuk) |
| последовательная логика управления | serial control 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) |
| правила алгебры логики | Boolean algebra rules (ssn) |
| правило алгебры логики | Boolean algebra rule (ssn) |
| предикатная логика | quantificational logic (ssn) |
| предикатная логика | predicate logic (ssn) |
| представительная логика | external logic (ssn) |
| представительная логика функционального блока | function block external logic (ssn) |
| представительная логика функционального блока | external function block logic (ssn) |
| представительная логика функционального блока IEC 61499 | external IEC 61499 function block logic (ssn) |
| представительская логика | presentation logic (ssn) |
| представление бизнес-логики | domain logic patterns (см. "Patterns of Enterprise Application Architecture" by Martin Fowler 2002 ssn) |
| презентационная логика | presentation logic (ssn) |
| прикладная логика | application logic (ssn) |
| проверять на компьютере правильность логики функциональных диаграмм | examine function diagrams for logical correctness on the PC (ssn) |
| программа релейной логики | ladder logic (ssn) |
| программа релейной логики, состоящая из многих цепей | many rungs of ladder logic (ssn) |
| программирование в логике | Programming in Logic (Prolog) |
| программирование в логике | Prolog (Programming in Logic) |
| программирование в терминах логики | programming in logic (Alex_Odeychuk) |
| программирование в терминах темпоральной логики | temporal logic programming (Alex_Odeychuk) |
| программирование логики СУБД-приложения | programming database application logic (ssn) |
| программирование многозвенной логики | ladder logic programming (ssn) |
| программирование многоступенчатой логики | ladder logic programming (ssn) |
| программирование многоступенчатой логики | programming ladder logic (ssn) |
| программирование на основе аппарата нечёткой логики | fuzzy logic programming (Alex_Odeychuk) |
| программирование на основе логики ограничений | CLP (сокр. от "constraint logic programming" Alex_Odeychuk) |
| программирование, основанное на логике | programming based on logic (напр., на языке Prolog ssn) |
| программирование цепочечной логики | ladder logic programming (ssn) |
| продукционные правила и правила алгебры логики | production rules and Boolean algebra rules (ssn) |
| проектирование многоступенчатой логики | ladder logic design (ssn) |
| производственная логика | application logic (ssn) |
| прямая логика | forward-working logic (в отл. от обратной логики,т.е. компенсаторной (compensation logic) Бриз) |
| работа программы релейной логики, состоящей из многих цепей | work of many rungs of ladder logic (ssn) |
| Различие заключается в том, что при тестировании на основе технических требований программе задаются данные без какого-либо учёта логики работы программы | the difference lies in that testing to specs feeds the program with data without any consideration given to the program logic (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
| разновидности "бизнес-логики" | kinds of "business logic" (ssn) |
| разрядно-модульная логика | bit-slice logic (ssn) |
| регистры, связанные между собой элементами комбинационной логики | registers linked by combinational logic (ssn) |
| результаты внутренней логики | results of the internal logic (ssn) |
| релейная логика | ladder (ssn) |
| с жёсткой логикой | hard-wired (ssn) |
| с точки зрения логики исполнения | in terms of execution logic (ssn) |
| самотактируемая логика | clockless logic (интегральные микросхемы, работа которых синхронизуется не общим внешним тактовым генератором, а их собственным, внутренним. Syn: clockless circuit, clockless device, self-timed chip. Ant: clocked device ssn) |
| связующая логика | interconnection logic (ssn) |
| символьная логика | symbolic logic (ssn) |
| синтезатор логики | logic synthesizer (ssn) |
| синхронизировать с логикой | synchronize with logic (ssn) |
| синхронная логика | synchronous logic (ssn) |
| сложное устройство с программируемой логикой | CPLD (ssn) |
| сложное устройство с программируемой логикой | complex programmable logic device (технология, разработанная фирмой Xilinx; разновидность ПЛУ (PLD) ssn) |
| слой логики предметной области | business logic layer (англ. термин взят из кн.: Groves M.D. AOP in .NET: Practical Aspect-Oriented Programming Alex_Odeychuk) |
| событийно-управляемая логика | event-driven logic (ssn) |
| совместно используемая логика | shared logic (ssn) |
| совокупность регистров, связанных между собой элементами комбинационной логики | collection of registers linked by combinational logic (ssn) |
| специалист в области логики | logician (ssn) |
| способ отделения логики доступа к данным от кода приложения | way of keeping data access logic from permeating the application code (ssn) |
| средства с развитой логикой | smart tools (ssn) |
| средства управления логикой | control flow tools (программы ssn) |
| стандарт IEC 61131-7 2000: Программируемые контроллеры-Часть 7. Программирование управления с нечёткой логикой | IEC 61131-7: Programmable Controllers – Part 7. Fuzzy control programming (ssn) |
| стиль логики | logic style (ssn) |
| стиль логики конвейерных структур | logic style for pipelined structures (ssn) |
| схема многоступенчатой логики | ladder diagram (ssn) |
| Такое поведение довольно удобно, но иногда им злоупотребляют, пытаясь создать более сложную логику | 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) |
| тактируемая логика | clocked logic (т.ж. синхронная ssn) |
| текущее состояние логики управления | current state of the controller logic (ssn) |
| темпоральная логика | temporal logic (ssn) |
| темпоральная логика для бесконечных семейств | temporal logic for infinite families (ssn) |
| темпоральная логика линейного времени | linear temporal logic (сокр. LTL ssn) |
| темпоральная логика линейного времени | LTL (ssn) |
| темпоральная логика реального времени | real-time temporal logic (ssn) |
| темпоральные логики | temporal logics (ssn) |
| теория нечёткой логики | possibility theory (ssn) |
| термины математической логики | terms of mathematical logic (ssn) |
| тестирование аппаратной логики | hardware logic testing (ssn) |
| тестирование, основанное на логике | logic-driven testing (см. Standard glossary of terms used in Software Testing ssn) |
| тестирование покрытия логики | logic coverage testing (Alex_Odeychuk) |
| тестирование покрытия логики | logic-coverage testing (см. Standard glossary of terms used in Software Testing ssn) |
| традиционная логика | crisp logic (в отличие от нечёткой (fuzzy logic) ssn) |
| универсальность логики хорновских дизъюнктов | universality of Horn clause 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) |
| управляющая логика в многоязыковом проекте | mixed language control flow (adacore.com Alex_Odeychuk) |
| управляющая логика процессоров | processor control logic (ssn) |
| упрощение цикла и логики | simplifying loops and logic (программы ssn) |
| упрощённая логика | short-circuit logic (ssn) |
| уровень бизнес-логики | business logic tier (ssn) |
| уровень бизнес-логики | business logic level (ssn) |
| уровень бизнес-логики | business logic layer (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) |
| уровень логики предметной области | domain logic layer (Alex_Odeychuk) |
| условная логика | branching logic (ssn) |
| устройство с жёсткой логикой | hardwired implementation (случай, когда устройство управления (CU) с постоянными функциями (напр., процессора) построено на комбинационных логических схемах (декодеры, защёлки, счётчики и т.п.) ssn) |
| формальная логика | symbolic logic (ssn) |
| формула логики предикатов | predicate formula (ssn) |
| функция для реализации логики предметной области | function for business logic (Alex_Odeychuk) |
| хоаровская логика | Hoare logic (формализм для частичного доказательства правильности программ ssn) |
| элемент последовательностной логики | sequential logic element (ssn) |
| элементы комбинационной логики | combinational logic (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) |
| язык логики высказываний | language of propositional logic (ssn) |
| язык программирования, основанный на логике | logic-based language (Alex_Odeychuk) |
