-
1 вывод
м.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 (источника питания)
См. также в других словарях:
логический вывод — — [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, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… … Философская энциклопедия