-
21 Нечеткий логический вывод
Русско-английский словарь по прикладной математике и механике > Нечеткий логический вывод
-
22 вывод
1. м. removal, withdrawal2. м. deduction, inferenceсделать вывод, вывести следствие — to draw a deduction
схемы вывода; механизмы вывода — inference machinery
3. м. derivation4. м. output, outletвыходное устройство; устройство вывода — output device
программа вывода; выходная программа — output routine
механизм вывода; устройство вывода — output mechanism
5. м. leadпозолоченный контакт; позолоченный вывод — gold-plated lead
оборванный вывод; вывод с разрывом — open lead
6. м. эл. terminal7. м. tap8. м. вчт. output, read-outСинонимический ряд:исключение (сущ.) исключение -
23 вывод
сущ.( отвод) pull-out;withdrawal;( умозаключение) conclusion;deduction;inference- делать вывод
- допустимый вывод
- логический вывод
- недопустимый вывод
- необоснованный вывод
- поспешный вывод
- практический выводвывод в пользу противной стороны — юр. adverse inference
приходить к \выводу — to arrive at (come to) a conclusion
-
24 вывод
м.1) conclusion, inference, corollary2) лог. deduction3) мат. ( формулы) derivationделать вывод — conclude, deduce, infer
•- вывод о модуляции
- вывод о содружестве
- вывод об индивидуальности
- вывод об общности
- вывод об опыте
- вывод об организации
- вывод, не соответствующий посылкам
- имплицитный вывод
- интуитивный вывод
- логический вывод
- нелогичный вывод
- статистический вывод
- эксплицитный вывод
- эмпирический вывод -
25 вывод
-
26 вывод
сущ.( отвод) pull-out; withdrawal; ( умозаключение) conclusion; deduction; inferenceделать вывод — to conclude; draw (make) a conclusion; ( из молчания подозреваемого) to draw (make) inferences (conclusions) from a suspect's silence
- допустимый выводтребовать вывода иностранных войск или военных баз со своей территории — to demand (request, require) the removal (withdrawal) of foreign troops or military bases from one's territory
- логический вывод
- недопустимый вывод
- необоснованный вывод
- поспешный вывод
- практический вывод -
27 вывод (логический)
вывод (логический)
—
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > вывод (логический)
-
28 вывод
1) General subject: breeding, conclusion, consectary, consequence, deduction, derivation, development, drop (напр., two drops; косм.; спутников), eduction, finding, implication, infer, inference, output, pin, recapitulation, rider, withdrawal, bottomline2) Computers: dump, inferencing, outcoming3) Aviation: feedout, terminal lead5) Medicine: lead6) Colloquial: bottom line (Consumers are beaming over benefits as the loonie soars towards parity with the U.S. dollar but the bottom line here is it's going to slow growth in the Canadian economy.)7) Military: placing (на орбиту), recovery (самолёта из фигуры), stand-down, withdrawal (войск), pullout8) Engineering: bond lead, bonding lead, connection terminal (электронного прибора), feedthrough, injection (на орбиту), lead terminal, leading-out, out stroke, outlet, pole, read-out, readout, reasoning (логический), tab, takeout (сейсмической косы), tap (отвод), tapping, terminal pin (штырьковый), terminal screw, termination9) Bookish: educt10) Construction: derivation (формулы), summary, tab (провода)11) Mathematics: (неизбежный) corollary, development (формулы), drawing the conclusion, output operation12) Economy: retrieval13) Accounting: argument15) Mining: draining-out, end, escape, removal (удаление)16) Diplomatic term: withdrawal (войск с чужой территории или из боя), withdrawal action (войск)19) Psychology: recapitulation (ы)20) Telecommunications: lead wire, walk-off21) Electronics: bush, bushing, contact, leg, output electrode, pin (штырьковый), terminal, withdrawall23) Information technology: disk caching, inference (логический), inferencing (логический), lead-out, pinout (микросхемы), result, roll-out, rollout24) Oil: takeout (сейсмоприёмной косы), takeout (сейсмоприемной косы)25) Astronautics: lead out, leadout27) Geophysics: print29) Advertising: sign-off30) Patents: display (данных), insertion (на орбиту)32) Crystallography: withdrawal (удаление)33) Household appliances: leading-out terminal34) Sakhalin energy glossary: (трубопровода) outlet35) Oilfield: lead( трансформатора) tap (провода), lead (трансформатора) tapping (провода), tap (трансформатора), tapping (трансформатора)36) Microelectronics: connection, connector, output terminal, pig tail, terminating connection, termination connection37) Automation: backing-off (рабочего органа), display (данных на экран), feed-out, outputting (данных), release38) Robots: readout (информации из внутренней памяти или ЭВМ)39) Cables: derivation (формулы, уравнения), outlet (в электротехнике), output (в электротехнике)40) Aviation medicine: corollary (логический), decision41) Makarov: conclusion (умозаключение), corollary (неизбежный), deduction (умозаключение), delivery (напр. листов), derivation (формулы, уравнения), development (напр., формулы), direct derivation, draw, evacuation (войск), extraction (напр., пучка из ускорителя), inference (логический), inference (умозаключение), lead (провод, контакт), lead (соединительный провод), leg (лампы), outlet (устройство), output (процесс), output (устройство), output (энергии, данных), pin (штырёк радиолампы, шины), post, readout (результатов), terminal (зажим), upshot42) oil&gas: terminal (электротех.)43) Politico-military term: drawdown (US still has more than 130,000 troops in Iraq, despite a gradual drawdown)44) Combustion gas turbines: derivation (уравнения)45) Electrical engineering: connexion46) General subject: inference (как результат и как процесс) -
29 вывод
м.1) ( удаление) évacuation f, retrait mвы́вод войск — évacuation f des troupes
2) ( заключение) conclusion f; мат., филос. déduction fсде́лать вы́вод — tirer une conclusion ( или une conséquence), conclure vt
прийти́ к вы́воду — en venir à la conclusion
* * *n1) gener. conclusion, retrait (словарь Гака), retrait, évacuation (войск), inférence, raisonnement, déduction, leçon, placement2) eng. borne (напр., источника питания), (контактный) borne f., couplage de sortie, dégagement (инструмента), extraction (из запоминающего устройства), connexion (электроаппарата), terminaison (электрода)3) logic. induction4) radio. broche, (контактный) sortie5) phys. extraction (пучка)6) electr. conduite de décharge (концов обмотки)7) IT. dérivation, (логический) inférence, sortie, (логический) raisonnement, sortie (оператор), terminaison8) mech.eng. résultat9) busin. borne (источника питания) -
30 непосредственный вывод
1. direct derivation2. immediate inferenceРусско-английский большой базовый словарь > непосредственный вывод
-
31 пропозиционный вывод
Русско-английский военно-политический словарь > пропозиционный вывод
-
32 формальный вывод
[lang name="Russian"]схемы вывода; механизмы вывода — inference machinery
-
33 формальный вывод
схемы вывода; механизмы вывода — inference machinery
Русско-английский словарь по информационным технологиям > формальный вывод
-
34 пропозициональный вывод
схемы вывода; механизмы вывода — inference machinery
Русско-английский большой базовый словарь > пропозициональный вывод
-
35 делать вывод
1) General subject: collect, conclude, construe, deduce, draw an inference, educe, elicit, extrapolate (from - основываясь на), gather, infer, draw an inference from (из чего-л.)2) American: allow3) Mathematics: arrive at a conclusion, arrive at conclusion, deduce inference, draw a deduction, draw conclusion4) Diplomatic term: deduce from, generalize from, infer that5) Psychology: conclude (заключение)6) Information technology: draw, induce, (логический) infer7) Advertising: draw inference8) Patents: inference9) Business: judge10) Quality control: draw the conclusion11) Cables: come to a conclusion12) Makarov: derive, come to conclusion, come to to conclusion, draw a conclusion, elicit from -
36 целеориентированный вывод
Linguistics: (логический) goal-directed inference, (логический) goal-oriented inferenceУниверсальный русско-английский словарь > целеориентированный вывод
-
37 прямой вывод
1) Computers: direct inference2) Mathematics: direct deduction3) Information technology: direct output, direct output (без промежуточной записи на магнитную ленту; данных), (логический) forward chaining (в экспертных системах)4) Makarov: direct derivation, immediate inference5) Printed circuits: straight-through lead (вывод компонента, проходящий через монтажное отверстие и заканчивающей без последующего формирования) -
38 дедуктивный вывод
1) Computers: deductive response2) Mathematics: deductive derivation, deductive treatment3) Information technology: deductive inference4) Robots: deductive reasoning5) Aviation medicine: (логический) top-down reasoning -
39 индуктивный вывод
1) Computers: bottom-up reasoning2) Information technology: forward chaining, inductive inference3) Aviation medicine: (логический) bottom-up reasoning -
40 мощность логического вывода
Русско-английский большой базовый словарь > мощность логического вывода
См. также в других словарях:
логический вывод — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN inference … Справочник технического переводчика
вывод (логический) — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN inference … Справочник технического переводчика
Искусственный интеллект — Запрос «ИИ» перенаправляется сюда; см. также другие значения. Искусственный интеллект (ИИ, англ. Artificial intelligence, AI) наука и технология создания интеллектуальных машин, особенно интеллектуальных компьютерных программ. ИИ… … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
CLIPS — CLIPS, (от англ. C Language Integrated Production System) программная среда для разработки экспертных систем. Синтаксис и название предложены Чарльзом Форги (Charles Forgy) в OPS (Official Production System). Первые версии CLIPS… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… … Философская энциклопедия