Приветствую Вас, Гость! Регистрация RSS
Суббота, 2024-12-28
Главная » 2018 » Март » 19 » Проблемы разрешимости и конструктивные модели
15:51
Проблемы разрешимости и конструктивные модели

Проблемы разрешимости и конструктивные модели — Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги).
Эта новая проблематика — выявление алгоритмической природы элементарных теорий и их моделей — возникла на стыке теории моделей и теории алгоритмов.

Название: Проблемы разрешимости и конструктивные модели
Автор: Ершов Ю. Л.
Издательство: Наука
Год: 1980
Страниц: 416
Формат: DJVU
Размер: 10,03 МБ
Качество: Отличное

Скачать Проблемы разрешимости и конструктивные модели

Скачать с turbobit.net
Скачать с file-upload.com
Скачать с www.up-4ever.com
Категория: Разное | Просмотров: 130 | Добавил: Gunpowder
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]