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