-
41 неразрешимость
1) General subject: insolubility, unsolvability2) Engineering: undecidability (в математической логике)3) Mathematics: irresolubility4) Logics: nonsolvability5) Makarov: indeterminacy -
42 нечёткие знания
Programming: fuzzy knowledge (знания, основанные на нечеткой логике) -
43 отрицательное высказывание
Mathematics: negative statement (в логике высказываний)Универсальный русско-английский словарь > отрицательное высказывание
-
44 положительное высказывание
Mathematics: positive statement (в логике высказываний)Универсальный русско-английский словарь > положительное высказывание
-
45 предварённая форма
1) Mathematics: prenex form, (формула) prenex form (formula)2) Makarov: prenex form (в логике)Универсальный русско-английский словарь > предварённая форма
-
46 пустое состояние
Information technology: empty state (в трёхзначной логике) -
47 резолюция
1) General subject: decision, inoperative resolution, resolution, vote2) American: resolve3) Military: indorsement (на документе)4) Engineering: resolution (в логике) -
48 свободная переменная
1) Mathematics: unrestricted variable2) Economy: free variable, slack variable3) Information technology: unbound variable4) Makarov: free variable (в математической логике)Универсальный русско-английский словарь > свободная переменная
-
49 совершенная форма
-
50 содержательный
1) General subject: informative, informatory, marrowy, meaty, meaty (о книге, рассказе и т.п.), pithy, pregnant, purposeful, sapid, semantic, sense bearing, substantial, thoughtful, good, in-depth, substantive2) Obsolete: mattery3) Engineering: comprehensive4) Mathematics: appropriate, conceptual (о логике), contensive, informal, intensional, interesting, profound, rich in content, significant, useful, valuable5) Information technology: content-rich6) Makarov: close, meaningful -
51 соединять
1) General subject: adjoin, agglutinate, alley, ally, amalgamate, articulate, associate, bander, coapt, combine, commingle, compact, compaginate, compound, conjoin, conjugate, connect, couple, ferruminate (металл), fuse, hurl together, identify, incorporate, inosculate, interlace, interlock, join, joint, knit, leash, link, lock (пальцы, руки), marry, mix, pair, pan, piece (в единое целое, тж. piece together), piece together, put on (по телефону), put through (по телефону), put together, reunite, shackle, sleeve (при помощи муфты, патрубка), solder, syncretize (особ. противоречивые, несовместимые теории), tack, tag (что-либо), tie in, twin, unite, weave, wed, wire, yoke, integrate, knit together (ся), interjoin, (ся) merge2) Computers: gather3) Geology: consolidate (о породах), slur (слои почвы)6) Colloquial: thwack8) Military: engage, (нарукавная) patch (с), pin, span (пролетом, мостом)9) Engineering: affix, attach, bring on, bring upon, coalesce, concatenate (в цепочку), fasten, hook up, interlink, juxtapose (в логике), link up, tie10) Bookish: concatenate (воедино), syncretize (особ. противоречивые, несовместимые теории и т.п.)11) Agriculture: juncture13) Chemistry: chain, clutch, hookup, link together, union14) Construction: join together, make a connection, rejoin, unify16) Railway term: bolt, gear, make a joint (швом или встык), merge (о путях), span (без промежуточных опор)18) Economy: commingle (инвестиционные средства вкладчиков; ценные бумаги брокера и клиента)21) Architecture: piazza together, pick23) Diplomatic term: merge (банки, предприятия и т.п.)24) Polygraphy: manifold (разнородные материалы)25) Psychology: synthesize26) Information technology: catenate (в цепочку или ряд), concatenate (в цепочку или ряд), interface, mate (напр. два элемента или блока)28) Communications: connect (по телефону)30) Business: couple together, cumulate31) Household appliances: splice32) Drilling: build up (разъёмные детали), secure33) Oil&Gas technology interconnect34) Microelectronics: gang36) Telephony: (с кем-л.) put through (Can you put me through with them? - Можете соединить меня с ними?)37) Makarov: appose (напр. края раны), blend, cohere, couple (попарно), cut in (напр. электрическую цепь), dovetail, give (с абонентом), glue, link link to, lump (разные вещи), lump together (разные вещи), on, piece together (целое из частей), sequester, tack to, tack together, connect to, connect with38) Electrical engineering: splice (внахлёстку) -
52 сокращённая форма
1) Telecommunications: abbreviated form2) Makarov: contracted form (в логике) -
53 сопоставление
1) General subject: collation, commensuration, comparison, confrontation, confrontment, juxtaposition, size up, size-up, contrast, reconciliation2) Medicine: apposition (отломков), approximation (напр. краёв раны), coaptation3) Military: referencing (информации)4) Engineering: correlation, juxtaposition (в логике), match, matching5) Mathematics: collating6) Surgery: opposition (например, краев раны)7) Network technologies: mapping8) Polymers: correlation (результатов)9) Automation: association, fusion (данных), score10) Quality control: correlation (данных)11) Makarov: assimilation, intercomparison12) Microsoft: map -
54 сопоставлять
1) General subject: balance, collate, compare, confer, contrast, correlate, juxtapose, juxtapose( smth) and (smth) else, match, mate, oppose, put together, confront2) Computers: associate3) Military: trade-off4) Engineering: juxtapose (в логике)5) Mathematics: check, put in correspondence6) Automation: score7) Makarov: assimilate, make a comparison, scale8) Microsoft: map -
55 составлять высказывание
Makarov: form a sentence (в мат. логике), form a sentenceУниверсальный русско-английский словарь > составлять высказывание
-
56 тупиковая форма
1) Information technology: irredundant form2) Makarov: irredundant form (в логике) -
57 условие наследования
Programming: guard condition (в логике)Универсальный русско-английский словарь > условие наследования
-
58 цепное правило
1) Engineering: chain inference, chain rule2) Mathematics: chain-rule, chaining rule3) Makarov: chain inference (в логике), chain rule (при дифференцировании) -
59 истинное значение
мат. ideal value; ( в логике) truth value -
60 аргумент
account, reason, argument, ( в логике) cause, ( при логическом доказательстве) premise, premiss
См. также в других словарях:
логике — следовать логике • объект, зависимость, контроль … Глагольной сочетаемости непредметных имён
Видеоигры на дискретной логике — Видеоигры на дискретной логике наиболее ранние видеоигры, аппаратура которых не использовала микропроцессоров и управляющих программ и была выполнена на дискретной логике, то есть на цифровых микросхемах низкой степени интеграции. Видеоигры … Википедия
ТЕОРИЯ В ЛОГИКЕ — ТЕОРИЯ В ЛОГИКЕ представляет собой логически связную систему предложений. В качестве логической связи используются процедуры дедукции, формализующие отношение выводимости. В зависимости от степени проясненности (выявленности) дедуктивных… … Философская энциклопедия
От наукоучения — к логике культуры. Два философских... — «ОТ НАУКОУЧЕНИЯ К ЛОГИКЕ КУЛЬТУРЫ. ДВА ФИЛОСОФСКИХ ВВЕДЕНИЯ В ДВАДЦАТЬ ПЕРВЫЙ ВЕК» Эта книга B.C. Библера (М., 1991) является вторым, значительно дополненным изданием его работы «Мышление как творчество: Введение в логику мысленного… … Энциклопедия эпистемологии и философии науки
Индукция (в логике) — Индукция (греч. epagoge, лат. inductio ‒ наведение), вид обобщений, связанных с предвосхищением результатов наблюдений и экспериментов на основе данных прошлого опыта. Именно поэтому и говорят об эмпирических, или индуктивных, обобщениях, или об… … Большая советская энциклопедия
Независимость (в логике) — Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы аксиом)… … Большая советская энциклопедия
Обращение (в логике) — Обращение (лат. conversio), преобразование предложения путём обмена местами его терминов ≈ субъекта и предиката. О. называется простым, если при О. кванторные слова (см. Квантор) не меняются. Просто обращаются все общеотрицательные предложения… … Большая советская энциклопедия
КЛАСС (в логике и математике) — КЛАСС, в логике и математике то же, что множество, т. е. произвольная (конечная или бесконечная) совокупность предметов, выделенных по какому либо признаку и просто перечисленных. Предметы, образующие класс, называются его элементами; понятие… … Энциклопедический словарь
Предложение (в логике) — Предложение в логике предикатов корректно сформированная формула α не содержащая несвязанных переменных. Это означает, что возможные значения всех, входящих в формулу переменных, определены и формула имеет фиксированную таблицу истинности.… … Википедия
Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… … Большая советская энциклопедия
Форма (в логике) — Форма в логике, форма логическая, та сторона рассуждения (доказательства, вывода, аргументации и т.п.), которая не зависит от содержания данного рассуждения. Логическая форма в языке фиксируется посредством логических констант и образуемых с их… … Большая советская энциклопедия