Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Читай Город".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: MvGzQC98w3Z1gMq1kx5ACoy5.
Название: Математическая логика и теория алгоритмов
Автор: Ответственный редактор Сергей Львович Соболев
Издательство: Наука
Год издания: 1982
Страниц: 177
Формат: DJVU
Размер: 3,54 МБ
Качество: Отличное, 600 дпи, цветные обложки
В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.
СОДЕРЖАНИЕ
Предисловие
С. С. Гончаров. Предельно эквивалентные конструктивизации
В. А. Горбунов, В. И. Туманов. Строение решеток квазимногообразий Л. Л. Максимова. Интерполяционная теорема Линдона в модальных логиках А. Г. Мясников, В. Н. Ремесленников. Классификация степенных нильпотентных групп по элементарным свойствам
М. Г. Перетятькин. Конечно аксиоматизируемые тотально трансцендентные
теории
В. Л. Селиванов. Об индексных множествах в иерархии Клини — Мостовского Н. Н. Непейвода, Д. И. Свириденко. К теории синтеза программ
Купить бумажную книгу или электронную версию книги и скачать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Читай Город".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО «Новый Книжный Центр», ИНН: 7710422909, erid: MvGzQC98w3Z1gMq1kx5ACoy5.
Дата создания страницы: