Добро пожаловать, Гость! Вы можете войти или зарегистрироваться
Обратная связь
Войти через  
Visa MasterCard WebMoney Яндекс.Деньги PayPal
270 пунктов выдачи, доставка в 91 городе
8-800-707-3313
(по России бесплатно)
Мой регион
Автоматизированное построение математических теорий
Книга






А.А. Люксембург

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

     
(0 голосов )

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

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

New & best!