логика предикатов
121ДЕДУКЦИЯ — (от лат. deductio выведение) логический вывод (следование), обеспечивающий истинность заключения на основании истинности посылок и соблюдения правильной формы рассуждения. Посылками Д. выступают аксиомы или просто гипотезы, имеющие характер общих …
122Петров, Василий Викторович — (р. 01.11.1949) спец. в обл. филос. языка, логики, филос. науки; д р филос. наук, проф. Род. в Саратове. Окончил технол. ф т Тюменского индустриального ин та (1971), асп. кафедры филос. Новосибирского гос. ун та (1974). В 1974 1980 н.с, ученый… …
123Переменная — переменное, одно из основных понятий математики и логики. Начиная с работ П. Ферма, Р. Декарта, И. Ньютона, Г. В. Лейбница и др. основоположников «высшей» математики под П. понимали некоторую «величину», которая может «изменяться»,… …
124Предметная область — область объектов, универсум рассуждения, универсум рассмотрения, или просто универсум, класс (множество) объектов, рассматриваемых в пределах данного контекста. Под контекстом здесь может пониматься отдельное рассуждение или выражающая… …
125Принципы математики — «ПРИНЦИПЫ МАТЕМАТИКИ» («PRINCIPIA MATHEMATICA») трехтомный труд о логике и основаниях математики, написанный А.Н. Уайтхедом и Б. Расселом и опубликованный в 1910, 1912 и 1913 (около 2000 с). Целью этой работы было показать, что, используя …
126разрешения проблема — РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма, решающего массовую проблему, состоящую из однотипных вопросов о конструктивных объектах (словах над фиксированным конечным алфавитом), ответы на которые даются с помощью некоторого алгоритма;… …
127Модус — (от лат. modus мера, способ, образ, вид) термин, используемый в логике, юриспруденции (см., например, Модус вивенди) и философии. В традиционной (силлогистической) логике М. называют разновидности силлогизмов (умозаключений), определяемые …
128Предикат (свойство отд. предмета) — Предикат (от позднелат. praedicatum сказанное), то же, что свойство; в узком смысле свойство отдельного предмета, например «быть человеком», в широком смысле свойство пары, тройки, вообще n ки предметов, например «быть родственником». П. в… …
