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

Табличные методы в логике
Издательство Санкт-Петербургского университета
sku: 325343
243.00 грн.
Shipping from: Ukraine
   Description
Табличный метод - одна из наиболее простых и эффективных процедур поиска доказательств, широко применяется в различных областях математической логики, теории аргументации и искусственного интеллекта. В монографии воссоздана история развития табличного метода. Рассмотрены предпосылки его возникновения. Автором проанализированы и систематизированы основные логические исчисления, к которым применяется данный метод. Указаны философские и логические перспективы дальнейшего развития и усовершенствования метода таблиц. Для специалистов в области логики и философии, может быть полезна также студентам и аспирантам философских факультетов университетов.ISBN:5-288-03309-9
   Technical Details
author: О. А. Антонова
binding: 60x84/16
ISBN: 5-288-03309-9
language: Русский
page_extent: 256
publisher: Издательство Санкт-Петербургского университета
Type: book
year: 2003
   Price history chart & currency exchange rate

Customers also viewed