метод логического вывода
1метод логического вывода — механизм логического вывода — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы механизм логического вывода EN inference engine …
2Метод индукции — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… …
3Индуктивный метод — метод познания, построенный на индукции (см. Индукция). Предложен Фрэнсисом Бэконом (1561 1626), английским философом, родоначальником английского материализма. В целом индукция выступает у Бэкона не только как один из видов логического вывода,… …
4Индуктивный метод — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… …
5АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …
6ГЕНЕТИЧЕСКИЙ МЕТОД — способ задания содержания и сущности исследуемого предмета не путем конвенции, идеализации или логического вывода, а с помощью изучения его происхождения (опираясь на изучение причин, приведших к его возникновению, механизм становления). Широко… …
7ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — метод научного познания и рассуждения, основанный на выведении (дедукции) заключений из гипотез и др. посылок, истинностное значение которых неизвестно. Поскольку в дедуктивном рассуждении значение истинности переносится на заключение, а… …
8гипотетико-дедуктивный метод — ГИПОТЕТИКО ДЕДУКТИВНЫЙ МЕТОД (от греч. hypothesis основание, предположение и лат. deductio выведение) метод научного исследования, который сводится к дедуктивному выводу следствий из гипотезы (или системы гипотез) и их эмпирической… …
9АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД — АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД разрешающий метод для проблемы общезначимости формул классической, интуиционистской и модальной (система S4) логики высказываний. В сочетании с некоторыми дополнительными приемами этот метод применим и для… …
10Исключения метод — (лог.) один из видов логического доказательства; состоит в перечислении всех частных случаев какого либо общего положения, за исключением одного, и в доказательстве неприменимости их к требуемому выводу; в результате получается уверенность, что… …