-
41 transitive
The English-Russian dictionary general scientific > transitive
-
42 reasoning
ˈri:znɪŋ
1. сущ.
1) рассуждение, умозаключение cogent, logical, plausible, solid, faulty reasoning ≈ ошибочное рассуждение Her reasoning that the crime had been committed elsewhere proved to be true. ≈ Ее заключение о том, что преступление было совершено где-то в другом месте, оказалось верным. deductive reasoning inductive reasoning shrewd reasoning specious reasoning Syn: deduction, induction, inference, ratiocination
2) объяснения;
аргументация, доказательство Syn: argumentation
2. прил. мыслящий, способный к рассуждению рассуждение, логический ход мысли - power of * способность рассуждать аргументация, доводы, доказательства;
объяснения - there is no * with her ее не переубедишь, ей не втолкуешь;
ее не переспоришь bottom-up ~ вчт. индуктивный вывод common-sense ~ рассуждение здравого смысла default ~ вчт. рассуждение по умолчанию non-monotonic ~ немонотонное рассуждение nonmonotonic ~ немонотонный вывод ~ объяснения;
аргументация;
the pupils understood the teacher's reasoning ученики поняли объяснения учителя reasoning pres. p. от reason ~ мыслящий, способный рассуждать ~ объяснения;
аргументация;
the pupils understood the teacher's reasoning ученики поняли объяснения учителя ~ рассуждение ~ in support of the judgment основания вынесенного решенияБольшой англо-русский и русско-английский словарь > reasoning
См. также в других словарях:
логический вывод — — [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, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
ЛОГИЧЕСКИЕ МАШИНЫ — механические, электромеханические или электронные устройства для полуавтоматич. или автоматич. выполнения к. л. операций логики. Л. м. применяются для анализа и упрощения формул нек рых разделов логики (в частности, для определения тех значений… … Философская энциклопедия