Электронные книги

Жанры
Реклама
Последние комментарии
От партнёров
Облако тегов

Естественные наукиМатематическая логика и теория алгоритмов

Математическая логика и теория алгоритмовНазвание: Математическая логика и теория алгоритмов
Автор: Ответственный редактор Сергей Львович Соболев
Издательство: Наука
Год издания: 1982
Страниц: 177
Формат: DJVU
Размер: 3,54 МБ
Качество: Отличное, 600 дпи, цветные обложки
В сборник входят работы, представляющие новые результаты исследований по проблемам теории нумераций, теории моделей, теории доказательств, а также по приложениям математической логики в теоретическом программировании. Книга будет полезна научным работникам, аспирантам и студентам, специализирующимся в указанных областях математики.

СОДЕРЖАНИЕ
Предисловие
С. С. Гончаров. Предельно эквивалентные конструктивизации
В. А. Горбунов, В. И. Туманов. Строение решеток квазимногообразий Л. Л. Максимова. Интерполяционная теорема Линдона в модальных логиках А. Г. Мясников, В. Н. Ремесленников. Классификация степенных нильпотентных групп по элементарным свойствам
М. Г. Перетятькин. Конечно аксиоматизируемые тотально трансцендентные
теории
В. Л. Селиванов. Об индексных множествах в иерархии Клини — Мостовского Н. Н. Непейвода, Д. И. Свириденко. К теории синтеза программ

Нажмите для скачивания Mat-log1982.rar!Mat-log1982.rar
Размер: 3.55 Mb(cкачиваний: 2)



Похожие книги

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


  • Valid XHTML 1.0 Transitional