-
21 правило вывода
1. rule of inference2. production rule -
22 механизм логического вывода
1. inference engine2. inferencing engine3. inferential mechanismмеханизм вывода; устройство вывода — output mechanism
Русско-английский большой базовый словарь > механизм логического вывода
-
23 мощность логического вывода
Русско-английский большой базовый словарь > мощность логического вывода
-
24 получение выводов
1. inference making2. inferencingРусско-английский большой базовый словарь > получение выводов
-
25 супермашина логического вывода
Русско-английский большой базовый словарь > супермашина логического вывода
-
26 управление выводом
Русско-английский большой базовый словарь > управление выводом
-
27 управление процессом вывода
Русско-английский большой базовый словарь > управление процессом вывода
-
28 приводиться
be reduced, be listed• В следующей части параграфа приводятся некоторые дополнительные соображения. - The following subsection outlines some additional considerations.• Для F обычно приводится следующая формула:... - The formula usually given for F is...• Краткое описание... приводится в... - A brief account of... is given in...• Набросок приводится на рис. 1. - This is sketched in Fig. 1.• Некоторые из значений... приводятся в таблице 3. - Some values of... are listed in Table 3.• Ниже приводится... - Below is...; Below is given...; Following is...; Seen below is...• Основные результаты приводятся ниже, сначала для случая... - The main results are stated below, first for the case of...• Список... приводится в Приложении А. - A list of... appears in Appendix A.• Формальный вывод (этого соотношения) приводится во втором параграфе. - A formal derivation is given in Section 2.
- 1
- 2
См. также в других словарях:
ВЫВОД () — ВЫВОД (в математической логике) В. обычно называется рассуждение, в ходе к рого последовательно получается ряд связанных друг с другом предложений, а также и сама последовательность этих предложений. Нек рые из числа этих предложений не… … Философская энциклопедия
ВЫВОД — логический формальный вывод в исчислении, содержащем логические правила и имеющем в качестве основных выводимых объектов формулы (интерпретацией к рых являются суждения;см. Логические исчисления. Логико математические исчисления). Поскольку… … Математическая энциклопедия
ЕСТЕСТВЕННЫЙ ЛОГИЧЕСКИЙ ВЫВОД — формальный вывод, по возмвжности приближенный к содержательному рассуждению, привычному для математика и логика. Критерии естественности и качества вывода не уточняются полностью, но обычно имеются в виду выводы, осуществляемые по… … Математическая энциклопедия
Центростремительное ускорение — Эту страницу предлагается объединить с Центростремительная сила. Пояснение причин и обсуждение на странице Википедия:К объедин … Википедия
ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — ДОКАЗАТЕЛЬСТВ ТЕОРИЯ раздел современной математической логики, изучающий свойства и преобразования формальных доказательств, т. е. формальных объектов, синтаксическая правильность которых гарантирует семантическую. Это определение унифицирует … Философская энциклопедия
Смирнов, Владимир Александрович — (02.03.1931 12.02.1996) спец. по символической логике, когнитологии, методол. науки; д р филос. наук, проф. Род. в Москве. Окончил филос. ф т МГУ (1954), асп. того же ф та по кафедре логики (1957). В 1957 1961 работал ст. преп. кафедры филос.… … Большая биографическая энциклопедия
СМИРНОВ — Георгий Лукич (р. 14.11.1922, хутор Антонов Октябрьского р на Волгоградской обл.), сов. философ и парт. деятель, чл. корр. АН СССР (1981). Чл. КПСС с 1943. Окончил в 1950 Саратовскую парт. школу, в 1952 историч. факультет Волгоградского… … Философская энциклопедия
СМИРНОВ Владимир Александрович — (2.03.1931, Москва 12.02.1996, Москва) логик и философ, д р философских наук, проф. Окончил философский ф т МГУ (1954) и аспирантуру того же ф та по кафедре логики (1957). С 1961 г. в Ин те философии АН СССР (РАН), с 1988 г. руководитель… … Русская Философия. Энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ДИАЛЕКТИКА — [греч. διαλεκτική (τέχνη) искусство беседы, от διαλέϒομαι спор], философский и богословский термин, обозначающий на различных этапах его существования: 1) искусство спора в диалоге; 2) установление противоположностей и связи между ними; 3) способ … Православная энциклопедия
АНТИНОМИЯ — (от греч. antinomia противоречие в законе) рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого. Характерным примером логической А. является «Лжеца» парадокс. Наибольшую известность из… … Философская энциклопедия