-
41 управление выводом
Русско-английский большой базовый словарь > управление выводом
-
42 управление процессом вывода
Русско-английский большой базовый словарь > управление процессом вывода
-
43 операция логического вывода
Русско-английский большой базовый словарь > операция логического вывода
-
44 машина логического вывода
1. inferencing engine2. inference engineсхемы вывода; механизмы вывода — inference machinery
3. inference machineРусско-английский большой базовый словарь > машина логического вывода
-
45 правило вывода
1. rule of inference2. production rule -
46 механизм логического вывода
1. inference engine2. inferencing engine3. inferential mechanismмеханизм вывода; устройство вывода — output mechanism
Русско-английский большой базовый словарь > механизм логического вывода
-
47 получение выводов
1. inference making2. inferencingРусско-английский большой базовый словарь > получение выводов
-
48 супермашина логического вывода
Русско-английский большой базовый словарь > супермашина логического вывода
-
49 схемы вывода
схемы вывода; механизмы вывода — inference machinery
-
50 программирование вывода
схемы вывода; механизмы вывода — inference machinery
Русско-английский словарь по информационным технологиям > программирование вывода
-
51 заключение
conclusion имя существительное: -
52 выведение
breeding имя существительное: -
53 предположение
assumption имя существительное: -
54 подразумеваемое
implication имя существительное: -
55 транзитивный
1. transitive2. transitively -
56 транзитивный
Бизнес, юриспруденция. Русско-английский словарь > транзитивный
См. также в других словарях:
логический вывод — — [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, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… … Философская энциклопедия