Книжный интернет-фонд "Книга-Дива.ру". Все ваши книги в одном месте - здесь!

Автоматизированное построение математических теорий.
Автор(ы)Люксембург А.А.
ИздательЕдиториал УРСС
Год2005
ISBN5-354-01005-5
EAN
ОбложкаОбложка
Формат60х90/16
Вес (г)51
Страниц29
Просмотров42
Стандарт
Описание

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

Возможность скачать/купить Автоматизированное построение математических теорий..fb2 у Едиториал УРСС

Поделиться с друзьями!

Хотите эту книгу/словарь/учебник в переплёте или в формате fb2 epub mobi doc docx djvu txt pdf? Нажимайте ниже ссылки или кнопки [В магазин] или [Читать].