Главная » 2018»Март»19 » Проблемы разрешимости и конструктивные модели
15:50
Проблемы разрешимости и конструктивные модели
Проблемы разрешимости и конструктивные модели — Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги). Эта новая проблематика — выявление алгоритмической природы элементарных теорий и их моделей — возникла на стыке теории моделей и теории алгоритмов.
Название: Проблемы разрешимости и конструктивные модели Автор: Ершов Ю. Л. Издательство: Наука Год: 1980 Страниц: 416 Формат: DJVU Размер: 10,03 МБ Качество: Отличное
Скачать Проблемы разрешимости и конструктивные модели
Добавлять комментарии могут только зарегистрированные пользователи. [ Регистрация | Вход ]
ПОИСК
Статистика
Онлайн всего: 7
Гостей: 7
Пользователей: 0
Уважаемый пользователь, все файлы на этом сайте предоставлены исключительно для ознакомления, после просмотра файла Вы обязуетесь удалить его со своего компьютера и приобрести лицензионную версию. Владельцы и создатели данного сайта не претендуют на авторские права того или иного файла, и по требованию автора, файл может быть удален с сайта.
