Логика

Список источников >Нехудожественная литература >Общественные и гуманитарные науки >Философия >Логика >

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

Автор: Антонова О. А.
Год: 2003
Издание: Издательство СПбГУ
Страниц: 256
ISBN: 5288033099
Табличный метод - одна из наиболее простых и эффективных процедур поиска доказательств, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения. Автором проанализированы и систематизированы основные логические исчисления, к которым применяется данный метод. Указаны философские и логические перспективы дальнейшего развития и усовершенствования метода таблиц. Для специалистов в области логики и философии, может быть полезна также студентам и аспирантам философских факультетов университетов.
Добавлено: 2017-05-26 13:29:02

Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы