Администраторов: 1
Модераторов: 1
Дизайнеров:
Редакторов: 3
Журналистов: 124
Обычных: 820
Забаненых: 0
Из них:
Мужчин: 527
Женщин: 422

Счетчики:

Сегодня нас посетили:

Счётчики посещений

Скачать бесплатно книги и журналы!

Главная » Файлы » Наука и образование

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

	19.03.2018, 15:50
Название: Проблемы разрешимости и конструктивные модели Автор: Ершов Ю. Л. Издательство: Наука Год: 1980 Страниц: 416 Формат: DJVU Размер: 10,03 МБ Качество: Отличное Проблемы разрешимости и конструктивные модели — Современное развитие математики и электронно-вычислительной техники приводит к тому, что понятие алгоритма становится одним из важнейших понятий современной математики. Теория алгоритмов, наряду со своим внешним успехом и яркими внутренними достижениями, оказывает плодотворное влияние и на смежные разделы математики. Так, например, в алгебре и теории чисел кроме традиционных появились и новые естественно поставленные алгоритмические проблемы, связанные с успешным использованием в этих теориях языка логики первого порядка. Настоящая книга имеет целью ознакомить читателей с важнейшими из таких проблем (указанными в названии книги). Эта новая проблематика — выявление алгоритмической природы элементарных теорий и их моделей — возникла на стыке теории моделей и теории алгоритмов. Скачать Проблемы разрешимости и конструктивные модели Скачать с turbobit.net Скачать с file-upload.com Скачать с www.up-4ever.com
1 2 3 4 5 Категория: Наука и образование \| Добавил: pmojka \| Теги: конструктивные, модели, проблемы, разрешимости, 1980
\| Loads: 0 \| Рейтинг: 0.0/0

Скачать бесплатно книги и журналы!

Популярные книги и журналы: