(от лат. combinare - соединять, сочетать) - одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках классической математической логики принимаются без дальнейшего изучения (напр., понятия "переменная", "функция", "правила подстановки" и т. д.). В классической математической логике пользуются правилами двух родов. Первые формулируются просто и используются без всяких ограничений. Таково, напр., правиломодус поненс. Оно формулируется так: если даны предложения "Если A, то B" и "A", то из них может быть выведено предложение "B". Это правило доступно для одноактного автоматического выполнения. Другие правила (напр., правило подстановки) формулируются сложно и предполагают ряд ограничений и оговорок. Одной из задач Л. к. является создание таких формальных систем, где не будет встречаться правил, подобных правилу подстановки.
Найти все значения выражения Логика Комбинаторная:
Если Вы искали другое значение слова/фразы Логика Комбинаторная, воспользуйтесь поиском. Значения термина могут серьезно отличаться в зависимости от тематики выбранного словаря. Если у Вас есть своё определение данного слова, вы можете его добавить в нашу коллекцию.
Вместе с понятием Логика Комбинаторная ищут определения этих слов:
Логика Эпистемическая — (от греч. episteme - знание) - раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как "полагает" ("убежден"), "сомневается", "отвергает", "знает", "доказуемо", "неразрешимо", "опровержимо" т. п....
Логические Константы, Или: Логические Постоянные — - термины, относящиеся к логической форме рассуждения (доказательства, вывода) и являющиеся средством передачи человеческих мыслей и выводов, заключений в любой области. К Л. к. относятся такие слова, как "не", "и", "или", "есть", "каждый",...
Логика Отношений — - раздел логики, изучающий свойства высказываний об отношениях между объектами различной природы. Элементарными высказываниями об отношениях являются высказывания вида akb, т. е. объект а находится в отношении k к объекту b, напр.: "а брат b", "а...
Логика Неклассическая — - совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней и попыткой ее усовершенствования, но также ее дополнением и дальнейшим развитием идей, лежащих в основе...
Логические Элементы Автоматики — - устройства, реализующие некоторые простые логические функции и функциональные преобразования в машинах, самостоятельно работающих по заданной программе. Наиболее распространенным логическим элементом, применяемым в схемах управления автоматических...
Логика Времени, Или Временная Логика — - раздел современной модальной логики, изучающий логические связи временных утверждений, т. е. утверждений, в которых временной параметр включается в логическую форму. Л. в. начала складываться в 50-е годы XX в. прежде всего благодаря работам англ....
Логические Элементы Автоматики — - устройства, реализующие некоторые простые логические функции и функциональные преобразования в машинах, самостоятельно работающих по заданной программе. Наиболее распространенным логическим элементом, применяемым в схемах управления автоматических...
Логика Квантовой Механики — - логическая теория, цель которой - описание логических связей высказываний об объектах, исследуемых квантовой механикой. Переворот, произведенный в физическом мышлении квантовой механикой, был настолько радикальным, что возникла идея особой "логики...
Код ссылки скопирован в буфер
Если у Вас есть сайт или блог, разместите, пожалуйста, нашу ссылку:
