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

Код в каталоге: № 44792

Автор:
Издательство: Издательство Санкт-Петербургского Университета
Год выпуска:
Состояние: Очень хорошее
Место издания: Санкт-Петербург
Количество страниц: 256
Переплет: Мягкий
Формат: Обычный
ISBN: 5-288-03309-9
Описание книги

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

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

Купить книгу по философии «Табличные методы в логике» Антонова О.А. 2003 года
в книжном интернет-магазине с доставкой по оптимальной цене.
Если данной книги 5-288-03309-9 нет в наличии, то вы можете оставить на нее заявку.
При появлении этого букинистического издания в продаже вы получите об этом уведомление по sms и email.

Хотите продать книги?
Хотите продать
книги?

звоните нам

+7 (812) 312-15-70

Хотите продать книги?
Подписка на обновления