Купить бумажную книгу и читать
По кнопке выше можно купить бумажные варианты этой книги и похожих книг на сайте интернет-магазина "Лабиринт".
Using the button above you can buy paper versions of this book and similar books on the website of the "Labyrinth" online store.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Название: Математическая логика и теория алгоритмов
Автор: Ответственный редактор Сергей Львович Соболев
Издательство: Наука
Год издания: 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.
Реклама. ООО "ЛАБИРИНТ.РУ", ИНН: 7728644571, erid: LatgCADz8.
Дата создания страницы: