Автоматизированное построение математических теорий
 |
|
Описание:
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первогопорядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей. Для студентов, аспирантов, математиков.Похожие книги
 | Я привлекаю деньги - 2 Автор: Наталия Правдина Год: 2007 |
 | Акупрессура для каждого Автор: Хано Эвальд Год: 1992 |
| Логическое программирование и базы данных Автор: Stefano Ceri Год: 1990 |
 | Исцеляющая сила пяти стихий (комплект из 53 карт) Автор: Пэт Спир Год: 2008 |
 | Дизайн страниц Автор: Джон МакВейд Год: 2006 |
 | Клюква, голубика, брусника Автор: Т. В. Курлович Год: 2007 |