книги Наука, техника, медицина Гуманитарные науки Философия Логика

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

Код 187503

Нет в продаже

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

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

Оставить комментарий

Оцените книгу:

Издательство: Издательство Санкт-Петербургского государственного университета
Серия:
Дата выхода: январь 2003
ISBN: 5-288-03309-9
Объём: 2 страниц
Обложка: твёрдая

Книга находится в категориях

Философия

Вместе с этой книгой покупают