Автор(ы) | Люксембург А.А. |
---|---|
Издатель | Едиториал УРСС |
Год | 2005 |
ISBN | 5-354-01005-5 |
EAN | |
Обложка | Обложка |
Формат | 60х90/16 |
Вес (г) | 51 |
Страниц | 29 |
Просмотров | 52 |
Стандарт |
Изучается возможность автоматизированного построения математических теорий. Рассматривается дедуктивная система, основанная на языке логики предикатов первого порядка. Объектами системы являются математические выражения или формулы, которые описывают математические объекты или их свойства. В дедуктивной системе выводятся математические определения и теоремы. Для доказательства теорем используются методы автоматического доказательства. Разработан алгоритм, выводящий часть формул системы. Для решения задачи используется аппарат математической логики, искусственного интеллекта, теории дедуктивных систем и теории семантических сетей.
Для студентов, аспирантов, математиков.
Возможность скачать/купить Автоматизированное построение математических теорий..epub у Едиториал УРСС
Хотите эту книгу/словарь/учебник в переплёте или в формате fb2 epub mobi doc docx djvu txt pdf? Нажимайте ниже ссылки или кнопки [В магазин] или [Читать].