Табличные методы в логике. О. А. Антонова. ISBN: 5-288-03309-9

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

Табличный метод - одна из наиболее простых и эффективных процедур поиска доказательств, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения. Автором проанализированы и систематизированы основные логические исчисления, к которым применяется данный метод. Указаны философские и логические перспективы дальнейшего развития и усовершенствования метода таблиц. Для специалистов в области логики и философии, может быть полезна также студентам и аспирантам философских факультетов университетов.
Автор О. А. Антонова
Издательство Издательство СПбГУ
Язык русский
Год выпуска 2003
ISBN 5-288-03309-9
Переплёт Мягкая обложка
Количество страниц 256
Код товара 9785288033094
145
Магазин »
Нет в наличии
с 2 июля 2018
История изменения цены: