Автоматизированное построение математических теорий, А. А. Люксембург

О книге

• 2005 Год первого издания книги

Краткое содержание

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

• Купить
  Купить на Yakaboo
• Купить
  Купить на BALKA BOOK
• Купить
  Купить на КнигоЛенд