Книги
  • @
  • «»{}∼
Табличные методы в логике

Табличные методы в логике

2201289
151 руб.
Добавить в корзину
Рекомендуем также
Описание
Табличный метод - одна из наиболее простых и эффективных процедур поиска доказательств, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения. Автором проанализированы и систематизированы основные логические исчисления, к которым применяется данный метод. Указаны философские и логические перспективы дальнейшего развития и усовершенствования метода таблиц.

Для специалистов в области логики и философии, может быть полезна также студентам и аспирантам философских факультетов университетов.