Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки






А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

комбинаторная логика

Комбинаторная логика (лат. combinare - соединять, сочетать) - одно из направлений в математической логике, занимающееся анализом понятий, к-рые в рамках классической математической логики принимаются без дальнейшего изучения. К их числу принадлежат понятия переменной, функции, правила подстановки и т. п. В классической математической логике пользуются правилами двух родов. Первые формулируются просто и используются без всяких ограничений. Таково, напр., правило modus роnеns. Оно формулируется так: если выведены предложения «Если А, то «В» и «Л»», то выводится предложение «В». Это правило доступно для одноактного автоматического выполнения. Др. (напр., правило подстановки) формулируются очень сложно и предполагают ряд ограничений и оговорок (без них они не могут использоваться чисто формально). Одной из задач К. л. является создание таких формальных систем, где не будет встречаться правил, подобных правилу подстановки.


Источники:

  1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.



ПОИСК:


Древний город Тиуанако изучили с воздуха

Гозекский круг в Германии - древняя обсерватория

В пирамиде Кукулькана нашли ещё одну пирамиду

На севере Египта обнаружили десятки мумий

Учёные рассказали о секрете, который хранила древнеегипетская мумия кошки

История косметики: от древнеегипетских средств до каталога Avon

Археологи обнаружили самое большое и древнее сооружение цивилизации майя




Реконструкция утраченной картины «Коронация Барбары Радзивилл» появилась в Несвижском замке

Завершающий штрих: последние картины известных художников

Картина «Читающий мужчина» и великий фальсификатор Эрик Хебборн

Марс работы скульптора-маньериста Джамболоньи возвращается в Дрезден

Коллекционер из Голландии объявил об обнаружении неизвестной картины Климта

Секретным компонентом красок Рембрандта оказался минерал плумбонакрит

Открыта новая картина выдающейся художницы XVII века Микаэлины Вотье (1604 – 1689)


© FILOSOF.HISTORIC.RU 2001–2023
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'