Premium domains portfolio DN Epic Store - Mighty Pack Of Catching Domain Names Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

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

А. А. Люксембург. Автоматизированное построение математических теорий Авторы:А. А. Люксембург.
Издательство:Едиториал УРСС
Год издания:2005
Серия:Relata Refero
Страниц:32
Размеры:60x90/16
Цена:94 руб.
Купить

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

Заказывают также