-
1 операция логического вывода
Русско-английский большой базовый словарь > операция логического вывода
-
2 операция логического вывода
1) Information technology: inference operation2) Robots: inference operation (в СИИ)Универсальный русско-английский словарь > операция логического вывода
-
3 операция логического вывода
Русско-английский словарь по вычислительной технике и программированию > операция логического вывода
-
4 операция вывода
1. output operation2. unloading operationоперация разгрузки; операция вывода — unloading operation
-
5 пропозициональный вывод
схемы вывода; механизмы вывода — inference machinery
Русско-английский большой базовый словарь > пропозициональный вывод
См. также в других словарях:
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
FALSE — FALSE эзотерический язык программирования, созданный в 1993 году Wouter van Oortmerssen ом с двумя, по его словам, целями: чтобы можно было написать компилятор для него размером не более одного килобайта. придумать синтаксис, который бы… … Википедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
теория — ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… … Энциклопедия эпистемологии и философии науки
Мышление (психология) — У этого термина существуют и другие значения, см. Мышление. Мышление процесс моделирования систематических отношений окружающего мира на основе безусловных положений[1]. Однако в психологии существует множество других определений.… … Википедия
ГЁДЕЛЯ ИНТЕРПРЕТАЦИЯ — интуиционистской арифметики специальная операция, переводящая формулы интуиционистской арифметики в формулы вида где наборы переменных по вычислимым функциям специального вида. При этом выводимые формулы переводятся в истинные формулы в смысле… … Математическая энциклопедия
Апории Зенона — … Википедия
МЕТАТЕОРИЯ — (от греч. meta после, за, позади) теория, изучающая язык, структуру и свойства некоторой др. теории. Теория, свойства которой исследуются в М., называется предметной, или объектной, теорией. Наиболее развиты М. в логике и математике (металогика И … Философская энциклопедия
СИЛЛОГИСТИКА — (от греч. syllogisticos рассчитываю, считаю) логическая теория дедуктивных рассуждений, в которой исследуются логические связи между категорическими атрибутивными высказываниями. С. была построена Аристотелем. К числу указанных высказываний… … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия