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

Автоматизированное построение математических теорий
Автор
 
Год
 
Страниц
 
32
ISBN
 
5354010055
Издатель
 
Едиториал УРСС
Категория
 
Математическая кибернетика
Искать в интернет библиотекахКупить

Описание:

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

Похожие книги

Акупрессура для каждогоАкупрессура для каждого
Автор: Хано Эвальд
Год: 1992
Дизайн страницДизайн страниц
Автор: Джон МакВейд
Год: 2006
Visual FoxPro 9.0. Учебный курсVisual FoxPro 9.0. Учебный курс
Автор: Т. В. Мусина
Год: 2007