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

Новинки

А. В. Бабичев. Распознавание и спецификация структур данных
Ценa:393 руб.Купить

А. В. Бабичев. Распознавание и спецификация структур данных

Издательство:Ленанд
Год издания:2009
Страниц:192
ISBN:978-5-9710-0215-4

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

Все новинки

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

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

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

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

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

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

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

Алгебра

Геометрия

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

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

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

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

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

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

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