Нравится LibRing?
Расскажи друзьям:
А. А. Люксембург

Автоматизированное построение математических теорий

Обложка книги Автоматизированное построение математических теорий

Книгу можно купить в интернет-магазинах:

· OZON.ru 100р. [Проверить наличие]
· Books.ru 72р. [Проверить наличие]
Серия: Relata Refero
ISBN: 5-354-01005-5, 978-5-9910-0578-4
Издательство: Едиториал УРСС Эдиториал УРСС
Год издания: 2005
Страниц: 32
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей. Для студентов, аспирантов, математиков.
Посмотрите другие книги этой тематики: