;Математическая логика и теория алгоритмов КНИГИ,ЕСТЕСТВЕННЫЕ НАУКИ,НАУКА и УЧЕБА Название: Математическая логика и теория алгоритмов Автор: Ответственный редактор Сергей Львович Соболев Издательство: НаукаГод издания: 1982 Страниц: 177 Формат: DJVU Размер: 3,54 МБ Качество: Отличное, 600 дпи, цветные обложкиВ сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.СОДЕРЖАНИЕПредисловиеС. С. Гончаров. Предельно эквивалентные конструктивизацииВ. А. Горбунов, В. И. Туманов. Строение решеток квазимногообразий Л. Л. Максимова. Интерполяционная теорема Линдона в модальных логиках А. Г. Мясников, В. Н. Ремесленников. Классификация степенных нильпотентных групп по элементарным свойствамМ. Г. Перетятькин. Конечно аксиоматизируемыетотальнотрансцендентныетеории В. Л. Селиванов. Об индексных множествах в иерархии Клини — Мостовского Н. Н. Непейвода, Д. И. Свириденко. К теории синтеза программ 85
