-
61 contracted form
Макаров: сокращённая форма (в логике) -
62 description
[dɪs'krɪpʃ(ə)n]1) Общая лексика: вид, вычерчивание, изображение, описание, примета, род, сорт, качественная характеристика (АД), нормативно-техническая документация (the descriptions shall be updated in accordance with...), указание, изложение3) Техника: дескрипция (в логике), обозначение, характеристика5) Железнодорожный термин: разряд6) Юридический термин: наименование, опись ( имущества)7) Архитектура: тип8) Лесоводство: учёт9) Деловая лексика: очерчивание10) SAP. значение11) Глоссарий компании Сахалин Энерджи: паспорт12) Золотодобыча: условные обозначения -
63 disjunctive form
1) Математика: дизъюнктивная форма2) Робототехника: дизъюнктивное выражение3) Макаров: дизъюнктивная форма (в логике) -
64 empty state
1) Техника: незаполненный уровень (энергетический), свободный уровень2) Вычислительная техника: ТМО состояние незанятости, пустое состояние (в трёхзначной логике)3) Теория массового обслуживания: состояние незанятости4) Микроэлектроника: незанятое состояние5) Макаров: вакантное состояние, незаполненное состояние -
65 expanded form
1) Математика: запись в виде ряда (чисел), развёрнутая форма, развёрнутый вид2) Лингвистика: наращенная форма3) Макаров: вид ряда, форма ряда, совершенная форма (в логике), развёрнутый вид (напр. мат. выражения), развёрнутый вид (напр., мат. выражения) -
66 express an operation in terms of the Sheffer stroke
Универсальный англо-русский словарь > express an operation in terms of the Sheffer stroke
-
67 follow the logic
Общая лексика: следовать логике -
68 form a sentence
1) Общая лексика: составить предложение2) Макаров: составлять высказывание (в мат. логике), составлять высказывание -
69 free variable
1) Техника: несвязанная переменная2) Экономика: свободная переменная -
70 fuzzy knowledge
Программирование: нечёткие знания (знания, основанные на нечеткой логике) -
71 guard condition
1) Общая лексика: сторожевое условие (в UML; если оно есть, всегда записывается в прямых скобках после события-триггера и представляет собой некоторое логическое выражение. Из контекста диаграммы состояний должна явно следовать семантика этого выражени)2) Вычислительная техника: условие сохранения3) Программирование: условие наследования (в логике) -
72 ignorance
['ɪgnərəns]1) Общая лексика: безграмотность, неведение, невежественность, невежество, незнание, неученье, отсутствие информации2) Техника: пренебрежение, незнание (в математической логике)3) Математика: незнакомство4) Юридический термин: заблуждение, неосведомлённость5) Официальное выражение: непринятие во внимание6) юр.Н.П. невинность7) Макаров: полное невежество -
73 importation
[ˌɪmpɔː'teɪʃ(ə)n]1) Общая лексика: ввезённый товар, ввоз, внесение, импорт, предмет ввоза, импортирование, импортные товары, заимствование2) Техника: внос3) Математика: импортация4) Юридический термин: ввоз товаров в страну5) Налоги: импортная операция6) Деловая лексика: ввозимый товар7) Макаров: введение, внесение (в математической логике) -
74 integrated Schottky logic masterslice
Микроэлектроника: БМК на интегральной логике ШотткиУниверсальный англо-русский словарь > integrated Schottky logic masterslice
-
75 irredundant form
1) Вычислительная техника: тупиковая форма2) Макаров: тупиковая форма (в логике) -
76 juxtaposition
[ˌdʒʌkstəpə'zɪʃ(ə)n]1) Общая лексика: наложение, наслоение, непосредственное соседство, сопоставление, соприкосновение, (of features, elements) сочетание признаков изобретения, не дающее "сверхсуммарного" \<он же синергический или синергетический\> эффекта (при наличии такого рода сочетания признаков не признается наличие "изобрет)2) Биология: наложение прямой мутации и супрессора3) Медицина: контактное положение (смежное), положение бок о бок4) Техника: сопоставление (в логике)5) Математика: запись рядом, приведение в соприкосновение, расположение рядом, соединение, соприкасание, сочленение6) Железнодорожный термин: смежность7) Лингвистика: соположение8) Автомобильный термин: непосредственное соприкосновение9) Архитектура: близость10) Горное дело: соприкосновение (различных частей автосцепки)11) Психология: смешное положение12) Вычислительная техника: размещение рядом13) Нефть: наложение (пород), совмещение коллекторской и непроницаемой породы в плоскости тектонического нарушения, возникающее вследствие тектонической подвижки, притыкание коллекторов к непроницаемым породам14) Реклама: соседство, фотомонтаж15) Микроэлектроника: размещение в контакте между деталями16) Автоматика: сближение, совмещение17) Робототехника: (непосредственное) соседство18) Макаров: смежное положение -
77 logic-driven
Программирование: основанный на логике -
78 logic-driven testing
Программирование: тестирование, основанное на логике (см. Standard glossary of terms used in Software Testing) -
79 logical
['lɒdʒɪk(ə)l]1) Общая лексика: логически последовательное изложение, логический, логичный, относящийся к логике, последовательный, разумный, неизбежно вытекающий (из предыдущего)2) Разговорное выражение: закономерный3) Вычислительная техника: правильный, логический объект (в тексте УП)4) Космонавтика: логически -
80 logically, one should become wiser with experience but some people never do
Универсальный англо-русский словарь > logically, one should become wiser with experience but some people never do
См. также в других словарях:
логике — следовать логике • объект, зависимость, контроль … Глагольной сочетаемости непредметных имён
Видеоигры на дискретной логике — Видеоигры на дискретной логике наиболее ранние видеоигры, аппаратура которых не использовала микропроцессоров и управляющих программ и была выполнена на дискретной логике, то есть на цифровых микросхемах низкой степени интеграции. Видеоигры … Википедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
От наукоучения — к логике культуры. Два философских... — «ОТ НАУКОУЧЕНИЯ К ЛОГИКЕ КУЛЬТУРЫ. ДВА ФИЛОСОФСКИХ ВВЕДЕНИЯ В ДВАДЦАТЬ ПЕРВЫЙ ВЕК» Эта книга B.C. Библера (М., 1991) является вторым, значительно дополненным изданием его работы «Мышление как творчество: Введение в логику мысленного… … Энциклопедия эпистемологии и философии науки
Индукция (в логике) — Индукция (греч. epagoge, лат. inductio ‒ наведение), вид обобщений, связанных с предвосхищением результатов наблюдений и экспериментов на основе данных прошлого опыта. Именно поэтому и говорят об эмпирических, или индуктивных, обобщениях, или об… … Большая советская энциклопедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Обращение (в логике) — Обращение (лат. conversio), преобразование предложения путём обмена местами его терминов ≈ субъекта и предиката. О. называется простым, если при О. кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицательные предложения… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… … Большая советская энциклопедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия