-
21 алгебра
ж.- абстрактная алгебра
- алгебра Вирасоро
- алгебра внутренних симметрий
- алгебра Гейзенберга
- алгебра генераторов
- алгебра Грассмана
- алгебра изображений
- алгебра Каца - Муди
- алгебра кварков
- алгебра кварковых полей
- алгебра кварковых токов
- алгебра кватернионов
- алгебра Клиффорда
- алгебра коммутаторов
- алгебра конечных преобразований
- алгебра Ли
- алгебра логики
- алгебра локальных наблюдаемых
- алгебра наблюдаемых
- алгебра операторов
- алгебра отношений
- алгебра отражений
- алгебра полей
- алгебра Пуанкаре
- алгебра событий
- алгебра спинов
- алгебра спиновых операторов
- алгебра суперсимметрий
- алгебра супертрансляций
- алгебра токов
- алгебра фон Неймана
- алгебра цепей
- алгебра, генерирующая спектр
- ассоциативная алгебра
- аффинная алгебра
- бесконечномерная алгебра
- билокальная алгебра токов
- булева алгебра
- векторная алгебра
- вещественная алгебра
- высшая алгебра
- генерированная алгебра
- гомологическая алгебра
- градуированная алгебра Ли
- градуированная алгебра
- динамическая алгебра Ли
- замкнутая алгебра
- изоспиновая алгебра
- йорданова алгебра
- калибровочная алгебра
- квазилокальная алгебра
- квантовая алгебра
- киральная алгебра
- классическая алгебра
- коллинеарная алгебра
- коммутативная алгебра
- компактная алгебра
- комплексная алгебра
- конечномерная алгебра Ли
- конечномерная алгебра
- конформная алгебра
- линейная алгебра
- локальная алгебра
- матричная алгебра
- некоммутативная алгебра
- нильпотентная алгебра Грассмана
- нормированная алгебра
- обёртывающая алгебра
- обобщённая алгебра
- общая алгебра токов
- ограниченная алгебра
- операторная алгебра
- полупростая алгебра
- причинная алгебра
- простая алгебра
- самосопряжённая алгебра
- сжатая алгебра
- символическая алгебра
- спинорная алгебра
- тензорная алгебра
- топологическая алгебра
- тройная алгебра
- универсальная обёртывающая алгебра
- цветовая алгебра -
22 алгебра логики
алгебра логики
булева алгебра
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > алгебра логики
-
23 алгебра
algebra
– алгебра абстрактная
– алгебра алгебраическая
– алгебра высказываний
– алгебра дифференцирований
– алгебра замыкания
– алгебра картановская
– алгебра кватернионов
– алгебра Ли
– алгебра матриц
– алгебра мер
– алгебра множеств
– алгебра над полем
– алгебра нормальная
– алгебра обертывающая
– алгебра ограничений
– алгебра отношений
– алгебра с делением
– алгебра с мерой
– алгебра со сверткой
– алгебра схем
– алгебра токов
– алгебра универсальная
– аннигиляторная алгебра
– ассоциативная алгебра
– булева алгебра
– внешняя алгебра
– высшая алгебра
– гомологическая алгебра
– дифференциальная алгебра
– коммутативная алгебра
– линейная алгебра
– отцепляемая алгебра
– простая алгебра
– спинорная алгебра
– телоподобная алгебра
– элементарная алгебра
алгебра конечного ранга — <math.> algebra of finite order
алгебра релейных схем — switching algebra
дискретная булевая алгебра — atomic boolean algebra
линейно компактная алгебра — linearly compact algebra
обобщенно однорядная алгебра — generalized uniserial algebra
-
24 алгебра
ж. algebra -
25 алгебра логики
-
26 булевая алгебра
булева алгебра, алгебра логики — Boolean algebra
-
27 правоальтернативная алгебра
[lang name="Russian"]реляционная алгебра; алгебра отношений — relational algebra
[lang name="Russian"]булева алгебра, алгебра логики — Boolean algebra
Русско-английский научный словарь > правоальтернативная алгебра
-
28 Boolean algebra
Англо-русский словарь промышленной и научной лексики > Boolean algebra
-
29 logic algebra
алгебра логики ( раздел математической логики); логическая алгебра; булева алгебра; булево исчислениеАнгло-русский словарь промышленной и научной лексики > logic algebra
-
30 язык с ограниченной варьируемостью
язык с ограниченной варьируемостью
Текстовый или графический язык программирования, предназначенный для коммерческих и промышленных программируемых электронных контроллеров, диапазон возможностей которого ограничен применением этих устройств.
Пример
- Ниже приведены примеры языков с ограниченной варьируемостью, взятые из МЭК 61131-3 и других источников, которые используются для представления прикладных программ для систем на основе ПЛК:
- многоступенчатые схемы: графический язык, состоящий из набора символов для входов (представляющих поведение, характерное для таких устройств, как нормально замкнутые или нормально разомкнутые контакты), соединенных с помощью линий (указывающих направление тока), с символами, обозначающими выходы (представляющими поведение, свойственное реле);
- булева алгебра: язык низкого уровня, основанный на булевых операторах, таких как И, ИЛИ и НЕ с возможностью добавления некоторых мнемонических инструкций;
- функциональные блоки диаграммы: в дополнение к булевым операторам допускается использование более сложных функций, таких как операции с файлами, чтение и запись блоков данных, команд для регистров сдвига и устройств, задающих последовательность;
- последовательные функциональные схемы: графическое представление многостадийной программы, состоящее из взаимосвязанных шагов, действий и ориентированных связей с промежуточными состояниями.
[ ГОСТ Р МЭК 61508-4-2007]Тематики
EN
3.12 язык с ограниченной варьируемостью (limited variability language): Текстовый или графический язык программирования, предназначенный для коммерческих и промышленных программируемых электронных логических контроллеров, диапазон возможностей которого ограничен применением этих устройств.
ПРИМЕР - К языкам с ограниченной изменчивостью, которые используются для представления прикладных программ для систем на основе программируемых логических контроллеров, относятся:
- многоступенчатые схемы: графический язык, состоящий из набора символов для входов ( представляющих поведение, характерное для таких устройств, как контакты, которые в нормальном состоянии замкнуты или разомкнуты), соединенных с помощью линий ( указывающих направление тока), с символами, обозначающими выходы ( представляющими поведение, свойственное реле);
- булева алгебра: низкоуровневый язык, основанный на булевых операторах, таких как И, ИЛИ и НЕ, с возможностью добавления некоторых мнемонических инструкций;
- функциональные блок-диаграммы: в дополнение к булевым операторам допускают использование более сложных функций, таких как операции с файлами, чтение и запись блоков данных, команд для сдвиговых регистров и устройств, задающих последовательность;
- последовательные функциональные схемы: графическое представление многостадийной программы, состоящее из взаимосвязанных шагов, действий и ориентированных связей с промежуточными состояниями.
Источник: ГОСТ Р 53195.4-2010: Безопасность функциональная связанных с безопасностью зданий и сооружений систем. Часть 4. Требования к программному обеспечению оригинал документа
3.2.7 язык с ограниченной варьируемостью (limited variability language): Текстовый или графический язык программирования, предназначенный для коммерческих и промышленных программируемых электронных контроллеров, диапазон возможностей которого ограничен применением этих устройств.
ПРИМЕР - Ниже приведены примеры языков с ограниченной варьируемостью, взятые из МЭК 61131-3 и других источников, которые используются для представления прикладных программ для систем на основе ПЛК:
- многоступенчатые схемы: графический язык, состоящий из набора символов для входов (представляющих поведение, характерное для таких устройств, как нормально замкнутые или нормально разомкнутые контакты), соединенных с помощью линий (указывающих направление тока), с символами, обозначающими выходы (представляющими поведение, свойственное реле);
- булева алгебра: язык низкого уровня, основанный на булевых операторах, таких как И, ИЛИ и НЕ с возможностью добавления некоторых мнемонических инструкций;
- функциональные блоки диаграммы: в дополнение к булевым операторам допускается использование более сложных функций, таких как операции с файлами, чтение и запись блоков данных, команд для регистров сдвига и устройств, задающих последовательность;
- последовательные функциональные схемы: графическое представление многостадийной программы, состоящее из взаимосвязанных шагов, действий и ориентированных связей с промежуточными состояниями.
Источник: ГОСТ Р МЭК 61508-4-2007: Функциональная безопасность систем электрических, электронных, программируемых электронных, связанных с безопасностью. Часть 4. Термины и определения оригинал документа
Русско-английский словарь нормативно-технической терминологии > язык с ограниченной варьируемостью
-
31 функция алгебры логики
[lang name="Russian"]булева алгебра, алгебра логики — Boolean algebra
-
32 функция алгебры логики
Русско-английский новый политехнический словарь > функция алгебры логики
-
33 функция алгебры логики
Русско-английский словарь по информационным технологиям > функция алгебры логики
-
34 логическая функция
логическая функция
булева функция
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]EN
logic function
function which performs the transformations between input information (provided by one or more input functions) and output information (used by one or more output functions); logic functions provide the transformation from one or more input functions to one or more output functions
NOTE For further guidance, see IEC 61131-3 and IEC 60617-12
[IEC 61511-1, ed. 1.0 (2003-01)]FR
fonction logique
fonction qui réalise les transformations entre les informations d'entrée (fournies par une ou plusieurs fonctions d'entrée) et les informations de sortie (utilisées par une ou plusieurs fonctions de sortie); les fonctions logiques assurent la transformation d'une ou de plusieurs fonctions d'entrée en une ou plusieurs fonctions de sortie
NOTE Pour d'autres directives voir la CEI 61131-3 et la CEI 60617-12.
[IEC 61511-1, ed. 1.0 (2003-01)]Базовую ячейку, выполняющую простейшие логические функции И-НЕ (ИЛИ-НЕ), называют базовым вентилем интегральной микросхемы.
[ ГОСТ 17021-88]
Коэффициент объединения по входу интегральной микросхемы - число входов интегральной микросхемы, по которым реализуется логическая функция.
[ ГОСТ 19480-89]Тематики
- Булева алгебра, элементы цифровой техники
- автоматизация, основные понятия
Действия
Синонимы
EN
FR
Русско-английский словарь нормативно-технической терминологии > логическая функция
-
35 булево выражение
булево выражение
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]
Булево выражение
Математическое выражение, в котором все переменные имеют значения либо 0 либо 1.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Параллельные тексты EN-RU
The output signal of an equation can be fed into a further, higher order equation as an input signal thus creating a sequence of interlinked Boolean equations.
[Schneider Electric]Выходной сигнал булевой функции можно подать на вход другой булевой функции, создавая, таким образом, последовательность взаимосвязанных булевых выражений.
[Перевод Интент]The Boolean equations need to be defined without the use of brackets.
[Schneider Electric]Булевы выражения должны определяться без скобок.
[Перевод Интент]Тематики
- Булева алгебра, элементы цифровой техники
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > булево выражение
-
36 выполнять операцию "исключающее ИЛИ"
выполнять операцию "исключающее ИЛИ"
Сложение модулю 2.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
- Булева алгебра, элементы цифровой техники
EN
Русско-английский словарь нормативно-технической терминологии > выполнять операцию "исключающее ИЛИ"
-
37 вычитатель
вычитающее устройство
вычитатель
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]
схема вычитания
вычитатель
Логический элемент, предназначенный для вычисления разности между двумя значениями сигнала.
[Л.М. Невдяев. Телекоммуникационные технологии. Англо-русский толковый словарь-справочник. Под редакцией Ю.М. Горностаева. Москва, 2002]Тематики
- Булева алгебра, элементы цифровой техники
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > вычитатель
-
38 генератор (как элемент цифровой техники)
генератор
(нестабильный элемент)
[ГОСТ 2.743-91]Параллельные тексты EN-RU
Non-stable flip-flop
When the input variable changes to 1, a pulse sequence is generated at the output.
The ! to the left of the G indicates that the pulse sequence starts with the input variable transition (synchronized start).
If there is a ! to the right of the G, the pulse sequence ends with the ending of the 1 signal at the input (synchronized stop).
[Schneider Electric]Генератор
Если входная переменная принимает значение 1, то на выходе генерируется последовательность импульсов.
Знак ! перед буквой G означает, что последовательность импульсов запускается по переднему или заднему фронту входного импульса (синхронизированный пуск).
Если знак ! находится после буквы G, то это означает, что генерирование последовательности импульсов прекращается как только входной сигнал перестанет быть равным 1. (синхронизированный останов).
[Перевод Интент]Тематики
- Булева алгебра, элементы цифровой техники
EN
Русско-английский словарь нормативно-технической терминологии > генератор (как элемент цифровой техники)
-
39 двоичный сигнал
двоичный сигнал
Сигнал, параметры которого могут принимать только одно из двух возможных значений.
[ http://life-prog.ru/view_programmer.php?id=146&page=15]EN
binary signal
digital signal whose information parameter may assume one out of two discrete values
[IEV ref 351-21-55]FR
signal binaire
signal numérique dont le paramètre informationnel peut prendre une valeur parmi deux valeurs discrètes
[IEV ref 351-21-55]Тематики
- Булева алгебра, элементы цифровой техники
- автоматизация, основные понятия
EN
DE
- binäres Signal, n
FR
Русско-английский словарь нормативно-технической терминологии > двоичный сигнал
-
40 инверсный динамический вход
инверсный динамический вход
-
[ГОСТ 2.743-91]Параллельные тексты EN-RU
Dynamic input with negation
Only the transition from value 1 to value 0 is effective.
[Schneider Electric]Инверсный динамический вход
Логический элемент реагирует только на перепад входного сигнала от значения логической 1 до значения логического 0.
[Перевод Интент]Тематики
- Булева алгебра, элементы цифровой техники
EN
Русско-английский словарь нормативно-технической терминологии > инверсный динамический вход
См. также в других словарях:
БУЛЕВА АЛГЕБРА — БУЛЕВА АЛГЕБРА см. Алгебра логики. Новая философская энциклопедия: В 4 тт. М.: Мысль. Под редакцией В. С. Стёпина. 2001 … Философская энциклопедия
Булева алгебра — раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность, отрицание. По английски: Boolean algebra См. также: Логические … Финансовый словарь
БУЛЕВА АЛГЕБРА — Boolean algebra От Дж.Буль английский математик 1815 1864 Раздел математической логики, изучающий высказывания и операции над ними. Наиболее известными операциями булевой алгебры являются: конъюнкция, дизъюнкция, импликация, эквивалентность,… … Словарь бизнес-терминов
БУЛЕВА АЛГЕБРА — БУЛЕВА АЛГЕБРА, область математики, содержащая правила обращения с множествами, а также с логическими утверждениями типа «и», «или». Например, в Булевой алгебре выражение ху означает «х и у», а х+у это «х или у». Данный принцип широко применяется … Научно-технический энциклопедический словарь
Булева алгебра — Эта статья об алгебраической системе. О разделе математической логики, изучающем высказывания и операции над ними, см. Алгебра логики. Булевой алгеброй[1][2][3] называется непустое множество A с двумя бинарными операциями (аналог конъюнкции),… … Википедия
булева алгебра — Boolean algebra statusas T sritis automatika atitikmenys: angl. Boolean algebra vok. Boolesche Algebra, f rus. булева алгебра, f pranc. algèbre de Boole, f ryšiai: sinonimas – Bulio algebra … Automatikos terminų žodynas
булева алгебра элементарных логических операции — — [http://slovarionline.ru/anglo russkiy slovar neftegazovoy promyishlennosti/] Тематики нефтегазовая промышленность EN Boolean algebra … Справочник технического переводчика
БУЛЕВА АЛГЕБРА — булева решетк а, частично упорядоченное множество специального вида. Б. а. наз. дистрибутивная решетка (дистрибутивная структура), имеющая наибольший элемент 1 единицу Б. а., наименьший элемент 0 нуль Б. а. и содержащая вместе с каждым своим… … Математическая энциклопедия
Булева алгебра — алгебра, в которой каждая переменная может принимать одно из двух значений: «истина» или «ложь». Операции над переменными в булевой алгебре называются логическими операциями. Правила выполнения логических операций удобны для преобразования… … Начала современного естествознания
БУЛЕВА АЛГЕБРА — Названная по имени ее создателя, английского математика Джорджа Буля, система операций с символами, которая использует алгебраические процедуры, но независимо от определенных математических интерпретаций. Булева логика, или калькуляция (как она… … Толковый словарь по психологии
СВОБОДНАЯ БУЛЕВА АЛГЕБРА — булева алгебра, обладающая такой системой образующих, что всякое отображение, этой системы в какую либо булеву алгебру допускает продолжение до гомоморфизма. Любая булева алгебра изоморфна факторалгебре некрой С. б. а. Для любого кардинального… … Математическая энциклопедия