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

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

ISBN: 5-354-01005-5; 978-5-9910-0578-4;
Серия:
Издательство: Едиториал УРСС Эдиториал УРСС
Страниц: 32

Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей. Для студентов, аспирантов, математиков.