метод логического вывода
121Правило резолюций — В математической логике и автоматическом доказательстве теорем, правило резолюций  это правило вывода, восходящее к методу доказательства теорем через поиск противоречий; используется в логике высказываний и логике предикатов первого порядка …
122ЗАКОН ЛОГИЧЕСКИЙ — ЗАКОН ЛОГИЧЕСКИЙ общее название законов, образующих основу логической дедукции. Понятие о законах логики восходит к древнегреческому понятию о logos e как предпосылке объективной (“природной”) правильности рассуждений. Собственно логическое… …
123РАССЕЛ — (Russell) Бертран (1872 1970), лорд, внук премьер министра Великобритании Джона Рассела британский философ, логик, математик, социолог, общественный деятель. Крестный сын Милля. Окончил с отличием Кембриджский колледж Святой Троицы. Лауреат… …
124МАТЕМАТИКА — наука, или группа наук, о познаваемых разумом многообразиях и структурах, специально – о математических множествах и величинах; напр., элементарная математика – наука о числовых величинах (арифметика) и величинах пространственных (геометрия) и о… …
125РАССЕЛ Бертран (1872-1970) — британский философ, логик, математик, социолог, общественный деятель. Крестный сын Милля. Окончил с отличием Кембриджский колледж Святой Троицы. Лауреат ордена За заслуги Соединенного королевства (1949). Нобелевская премия по литературе (1950).… …
126Архитектура компьютера — Для улучшения этой статьи желательно?: Добавить иллюстрации. Викифицировать статью. Архитектура вычислительной машины (Архитектура …
127НЕПРОТИВОРЕЧИВОСТЬ — отсутствие в системе идей логического противоречия, т.е. некоторого утверждения и его отрицания. Н. постулируется логическим противоречия законом и входит в ядро тех требований, которые предъявляются к рациональному мышлению (см. РАЦИОНАЛЬНОСТЬ ) …
128Логический позитивизм — Позитивизм …
