О книге

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

Для специалистов в области логики и философии, может быть полезна также студентам и аспирантам философских факультетов университетов. Это и многое другое вы найдете в книге Табличные методы в логике (О. А. Антонова)

Полное название книги	О. А. Антонова Табличные методы в логике
Тип	Книга
Автор	О. А. Антонова
Категории	Философия, Образование и наука, Книги
ISBN	5288033099
Возрастное ограничение	18
Издательство	Издательство Санкт-Петербургского университета
Год	2003
Название транслитом	tablichnye-metody-v-logike-o-a-antonova
Просмотров	7
Рейтинг izbe.ru	0,0