Прибыль можно копировать! Дешевые домены в зоне RU Карта сайта Корзина В корзине: 0 товаров
На сумму: 0 руб.

Новинки

Все новинки

Лидеры продаж

А. А. Люксембург. Автоматизированное построение математических теорий
Ценa:94 руб.Купить

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

Издательство:Едиториал УРСС
Год издания:2005
Страниц:32
ISBN:5-354-01005-5

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

Все бестселлеры

Основания математики, математическая логика

Алгебра

Геометрия

Общая математика

Высшая математика

Математический и функциональный анализ

Вычислительная математика, численные методы

Математическая кибернетика

Математическое моделирование

Теория вероятностей и математическая статистика