Математическая кибернетика

Список источников >Учебная литература >Студентам и аспирантам >Естественные науки. Математика >Математика >Математическая кибернетика >

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

Автор: Люксембург А. А.
Год: 2005
Издание: Едиториал УРСС
Страниц: 32
ISBN: 5354010055
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей. Для студентов, аспирантов, математиков.
Добавлено: 2014-01-30 04:26:35

Видео о книгах:

Это интересно...

Наши контакты

Рейтинг@Mail.ru

© 2009-2016, Список Литературы