книги Наука, техника, медицина Естественные науки Точные науки Математика Учебники ВУЗ

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

Код 249327

Нет в продаже

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

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

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

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

Издательство: Едиториал УРСС
Дата выхода: апрель 2005
ISBN: 5-354-01005-5
Тираж: 500 экземпляров
Объём: 32 страниц
Масса: 50 г

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